inform((_:search,area,'centre');(_:search,has_parking,'yes');(_:search,type,'Hotel'))
user
Can you find me a place with free parking to stay in the centre ?
select((_:result,category,'guesthouse');(_:result,category,'hotel');(_:result,type,'Hotel'))
system
I can help with that , are you looking for a guesthouse or a hotel ?
inform((_:search,category,'guesthouse');(_:search,stars,'three');(_:search,type,'Hotel'))
user
A guesthouse with three star rating could be great .
canthelp((_:search,category,'guesthouses');(_:search,stars,'3');(_:search,type,'Hotel')) inform((_:result,category,'hotel');(_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'Gonville Hotel');(_:result,stars,'3');(_:result,type,'Hotel'))
system
There are no guesthouses with 3 star but there is a 3 star hotel that offers free parking and free wifi . It is called Gonville Hotel .
inform((_:search,category,'hotel');(_:search,type,'Hotel'))
user
Please book me that hotel , it fits my preferences .
request((_:booking,people,?);(_:booking,stay,?);(_:booking,type,'Booking')) thank()
system
Excellent . For how many people and for how long ?
request((_:result,address,?);(_:result,phone,?);(_:result,pricerange,?);(_:result,type,'Hotel'))
user
What is the price range , address and phone number of the hotel ?
inform((_:result,address,'Gonville Place');(_:result,category,'hotel');(_:result,phone,'01223366611');(_:result,pricerange,'expensive');(_:result,type,'Hotel'))
system
The hotel is expensive . The address is Gonville Place , and the phone number is 01223366611 .
inform((_:search,food,'modern european');(_:search,type,'Restaurant'))
user
I 'm also looking for a really nice restaurant that serves modern european food . Can you help me with that ?
thank() offer((_:booking,type,'Booking')) inform((_:result,count,'1');(_:result,name,'Darrys Cookhouse & Wine Shop');(_:result,type,'Restaurant'))
system
Sure ! There is one restaurant meeting that criteria .   It is the Darrys Cookhouse & Wine Shop . Would you like me to make a reservation ?
request((_:result,pricerange,?);(_:result,type,'Hotel'))
user
What is the price range of this restaurant and is it located near the hotel ?
inform((_:result,amount,'both');(_:result,area,'centre');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
They 're both in the centre of town , and the restaurant has a price range of expensive .
inform((_:search,day,'sunday');(_:search,duration,'19:30');(_:search,name,'Darrys Cookhouse');(_:search,people,'5');(_:search,type,'Restaurant'))
user
I would like a table for 5 on Sunday at 19:30 at Darrys Cookhouse , please .
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
Sorry , a table is n't available at that time . Would you like to book another day or time ?
inform((_:search,day,'same day');(_:search,duration,'18:30');(_:search,type,'Restaurant'))
user
Yes , can I have a table for 18:30 on the same day ?
reqmore() inform((_:booking,day,'Sunday');(_:booking,duration,'18:30');(_:booking,people,'5');(_:booking,ref,'4PXENUHG');(_:booking,type,'Booking'))
system
Ok I have booked your table for 5 at 18:30 on Sunday . Your reference number is 4PXENUHG . Is there anything else I can help you with ?
inform((_:search,arrive_by,'18:30');(_:search,destination,'the restaurant');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
Yes , I need a taxi to commute between the two places . I need to arrive to the restaurant by 18:30 . Can you get me a contact number and car type ?
inform((_:result,car,'yellow ford');(_:result,phone,'07565490512');(_:result,type,'Taxi')) reqmore()
system
Okay , it been booked . The car type is a yellow ford and your contact number is 07565490512 . Can I help you with anything else ?
thank()
user
Nope that should be it , thank you very much
system
You 're welcome . Have a beautiful stay in our fair city .
_:search area centre
_:search has_parking yes
_:search type Hotel
_:search area centre
_:search has_parking yes
_:result category guesthouse
_:result category hotel
_:result type Hotel
_:search category guesthouse
_:search stars three
_:search type Hotel
_:search area centre
_:search has_parking yes
_:search stars three
_:system canthelp _:search/51a94dd3
_:search/51a94dd3 category guesthouses
_:search/51a94dd3 stars 3
_:search/51a94dd3 type Hotel
_:result category hotel
_:result has_internet none
_:result has_parking none
_:result name Gonville Hotel
_:result stars 3
_:result type Hotel
_:search category hotel
_:search type Hotel
_:search area centre
_:search has_parking yes
_:search stars three
_:system canthelp _:search/51a94dd3
_:search/51a94dd3 category guesthouses
_:search/51a94dd3 stars 3
_:search/51a94dd3 type Hotel
_:result category hotel
_:result has_internet none
_:result has_parking none
_:result name Gonville Hotel
_:result stars 3
_:result type Hotel
_:search category hotel
_:search type Hotel
_:booking people ?
_:booking stay ?
_:booking type Booking
_:result address ?
_:result phone ?
_:result pricerange ?
_:search area centre
_:search has_parking yes
_:search stars three
_:system canthelp _:search/51a94dd3
_:search/51a94dd3 category guesthouses
_:search/51a94dd3 stars 3
_:search/51a94dd3 type Hotel
_:result has_internet none
_:result has_parking none
_:result name Gonville Hotel
_:result stars 3
_:search category hotel
_:booking people ?
_:booking stay ?
_:booking type Booking
_:result address Gonville Place
_:result category hotel
_:result phone 01223366611
_:result pricerange expensive
_:result type Hotel
_:search food modern european
_:search type Restaurant
_:search area centre
_:search has_parking yes
_:search stars three
_:system canthelp _:search/51a94dd3
_:search/51a94dd3 category guesthouses
_:search/51a94dd3 stars 3
_:search/51a94dd3 type Hotel
_:result has_internet none
_:result has_parking none
_:result stars 3
_:search category hotel
_:booking people ?
_:booking stay ?
_:booking type Booking
_:result address Gonville Place
_:result category hotel
_:result phone 01223366611
_:result pricerange expensive
_:search food modern european
_:search type Restaurant
_:system offered _:booking
_:result count 1
_:result name Darrys Cookhouse & Wine Shop
_:result type Restaurant
_:result pricerange ?
_:result type Hotel
_:search area centre
_:search has_parking yes
_:search stars three
_:system canthelp _:search/51a94dd3
_:search/51a94dd3 category guesthouses
_:search/51a94dd3 stars 3
_:search/51a94dd3 type Hotel
_:result has_internet none
_:result has_parking none
_:result stars 3
_:search category hotel
_:booking people ?
_:booking stay ?
_:booking type Booking
_:result address Gonville Place
_:result category hotel
_:result phone 01223366611
_:search food modern european
_:system offered _:booking
_:result count 1
_:result name Darrys Cookhouse & Wine Shop
_:result amount both
_:result area centre
_:result pricerange expensive
_:result type Restaurant
_:search day sunday
_:search duration 19:30
_:search name Darrys Cookhouse
_:search people 5
_:search type Restaurant
_:search area centre
_:search has_parking yes
_:search stars three
_:system canthelp _:search/51a94dd3
_:search/51a94dd3 category guesthouses
_:search/51a94dd3 stars 3
_:search/51a94dd3 type Hotel
_:result has_internet none
_:result has_parking none
_:result stars 3
_:search category hotel
_:booking people ?
_:booking stay ?
_:result address Gonville Place
_:result category hotel
_:result phone 01223366611
_:search food modern european
_:system offered _:booking
_:result count 1
_:result name Darrys Cookhouse & Wine Shop
_:result amount both
_:result area centre
_:result pricerange expensive
_:result type Restaurant
_:search name Darrys Cookhouse
_:search people 5
_:system canthelp _:booking/f78eafe5
_:booking/f78eafe5 type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search day same day
_:search duration 18:30
_:search type Restaurant
_:search area centre
_:search has_parking yes
_:search stars three
_:system canthelp _:search/51a94dd3
_:search/51a94dd3 category guesthouses
_:search/51a94dd3 stars 3
_:search/51a94dd3 type Hotel
_:result has_internet none
_:result has_parking none
_:result stars 3
_:search category hotel
_:booking stay ?
_:result address Gonville Place
_:result category hotel
_:result phone 01223366611
_:search food modern european
_:system offered _:booking
_:result count 1
_:result name Darrys Cookhouse & Wine Shop
_:result amount both
_:result area centre
_:result pricerange expensive
_:result type Restaurant
_:search name Darrys Cookhouse
_:search people 5
_:system canthelp _:booking/f78eafe5
_:booking/f78eafe5 type Booking
_:search day same day
_:search duration 18:30
_:system inquired _:user
_:booking day Sunday
_:booking duration 18:30
_:booking people 5
_:booking ref 4PXENUHG
_:booking type Booking
_:search arrive_by 18:30
_:search destination the restaurant
_:search type Taxi
_:result car ?
_:result type Taxi
_:search area centre
_:search has_parking yes
_:search stars three
_:system canthelp _:search/51a94dd3
_:search/51a94dd3 category guesthouses
_:search/51a94dd3 stars 3
_:search/51a94dd3 type Hotel
_:result has_internet none
_:result has_parking none
_:result stars 3
_:search category hotel
_:booking stay ?
_:result address Gonville Place
_:result category hotel
_:search food modern european
_:system offered _:booking
_:result count 1
_:result name Darrys Cookhouse & Wine Shop
_:result amount both
_:result area centre
_:result pricerange expensive
_:search name Darrys Cookhouse
_:search people 5
_:system canthelp _:booking/f78eafe5
_:booking/f78eafe5 type Booking
_:search day same day
_:search duration 18:30
_:booking day Sunday
_:booking duration 18:30
_:booking people 5
_:booking ref 4PXENUHG
_:booking type Booking
_:search arrive_by 18:30
_:search destination the restaurant
_:search type Taxi
_:result car yellow ford
_:result phone 07565490512
_:result type Taxi
_:system inquired _:user