inform((_:search,type,'Hotel'))
user
I need   a nice place to stay , do you have those ?
request((_:search,area,?);(_:search,type,'Hotel')) inform((_:result,amount,'many');(_:result,type,'Hotel'))
system
We have many nice places that would suit your needs .   Is there a particular area you are wanting to stay in ?
inform((_:search,area,'centre');(_:search,type,'Hotel'))
user
I would like to stay in the centre of town .
request((_:search,area,?);(_:search,type,'Hotel')) inform((_:result,count,'5');(_:result,type,'Hotel'))
system
Sure , I have five options for you . What price range ?
inform((_:search,pricerange,'moderate');(_:search,type,'Hotel'))
user
I would like the moderate price range .
inform((_:result,area,'centre');(_:result,name,'cityroomz');(_:result,pricerange,'moderate');(_:result,type,'Hotel')) offer((_:booking,type,'Booking')) inform((_:result,has_internet,'none');(_:result,stars,'0');(_:result,type,'Hotel'))
system
I have found the cityroomz located in the centre for a moderate price .   It has 0 stars and free internet .   Can I make the reservation for you ?
inform((_:search,day,'monday');(_:search,people,'6');(_:search,stay,'2');(_:search,type,'Hotel'))
user
Yes please make a booking for 6 people and 2 nights starting from monday .
reqmore() inform((_:booking,ref,'XPE70MGX');(_:booking,type,'Booking'))
system
Booking was successful . Reference number is : XPE70MGX . Is there anything more I can help with today ?
inform((_:search,name,'travellers rest');(_:search,type,'Restaurant'))
user
I would like more info on the Travellers Rest , it is a restaurant .
reqmore() inform((_:result,area,'west');(_:result,food,'british');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
It is a british restaurant in the west . It is expensive . Can I tell you anything further about it ?
inform((_:search,day,'monday');(_:search,duration,'14:30');(_:search,people,'6');(_:search,type,'Restaurant'))
user
Sure . I would like to book it for 6 people on Monday at 14:30 .
canthelp((_:booking,type,'Booking')) reqmore() inform((_:result,phone,'01223276182');(_:result,type,'Restaurant'))
system
My apologies , there is a known system issue that is not allowing booking specifically on restaurants , you would have to call them directly at 01223276182 , can I help with anything else ?
inform((_:search,type,'Taxi'))
user
I also need to find a taxi .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where would the taxi need to pick you up ?
inform((_:search,departure,'the hotel');(_:search,destination,'the restaurant');(_:search,type,'Taxi'))
user
Can they pick me up at the hotel and take me to the restaurant in time for my reservations ?
inform((_:result,car,'yellow toyota');(_:result,departure,'Cityroomz');(_:result,destination,'restaurant');(_:result,phone,'07700237290');(_:result,type,'Taxi')) reqmore()
system
A yellow toyota will pick you up at Cityroomz and get you to the restaurant for that reservation . The contact number is 07700237290 . Can I help with anything else ?
bye()
user
That 's it for me today . Thank you , bye
system
Thank you have a good day too ?
_:search type Hotel
_:result amount many
_:result type Hotel
_:search area centre
_:search type Hotel
_:result amount many
_:search area ?
_:result count 5
_:result type Hotel
_:search pricerange moderate
_:search type Hotel
_:result amount many
_:search area ?
_:result count 5
_:search pricerange moderate
_:result area centre
_:result name cityroomz
_:result pricerange moderate
_:system offered _:booking
_:booking type Booking
_:result has_internet none
_:result stars 0
_:result type Hotel
_:search day monday
_:search people 6
_:search stay 2
_:search type Hotel
_:result amount many
_:search area ?
_:result count 5
_:search pricerange moderate
_:result area centre
_:result name cityroomz
_:result pricerange moderate
_:system offered _:booking
_:result has_internet none
_:result stars 0
_:result type Hotel
_:search day monday
_:search people 6
_:search stay 2
_:system inquired _:user
_:booking ref XPE70MGX
_:booking type Booking
_:search name travellers rest
_:search type Restaurant
_:result amount many
_:search area ?
_:result count 5
_:search pricerange moderate
_:result name cityroomz
_:system offered _:booking
_:result has_internet none
_:result stars 0
_:search stay 2
_:booking ref XPE70MGX
_:booking type Booking
_:search name travellers rest
_:system inquired _:user
_:result area west
_:result food british
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 14:30
_:search people 6
_:search type Restaurant
_:result amount many
_:search area ?
_:result count 5
_:search pricerange moderate
_:result name cityroomz
_:system offered _:booking
_:result has_internet none
_:result stars 0
_:search stay 2
_:booking ref XPE70MGX
_:booking type Booking
_:search name travellers rest
_:result area west
_:result food british
_:result pricerange expensive
_:search day monday
_:search duration 14:30
_:search people 6
_:system canthelp _:booking/87b12f6c
_:booking/87b12f6c type Booking
_:system inquired _:user
_:result phone 01223276182
_:result type Restaurant
_:search type Taxi
_:result amount many
_:search area ?
_:result count 5
_:search pricerange moderate
_:result name cityroomz
_:system offered _:booking
_:result has_internet none
_:result stars 0
_:search stay 2
_:booking ref XPE70MGX
_:booking type Booking
_:search name travellers rest
_:result area west
_:result food british
_:result pricerange expensive
_:search day monday
_:search duration 14:30
_:search people 6
_:system canthelp _:booking/87b12f6c
_:booking/87b12f6c type Booking
_:system inquired _:user
_:result phone 01223276182
_:result type Restaurant
_:search departure the hotel
_:search destination the restaurant
_:search type Taxi
_:result amount many
_:search area ?
_:result count 5
_:search pricerange moderate
_:result name cityroomz
_:system offered _:booking
_:result has_internet none
_:result stars 0
_:search stay 2
_:booking ref XPE70MGX
_:booking type Booking
_:search name travellers rest
_:result area west
_:result food british
_:result pricerange expensive
_:search day monday
_:search duration 14:30
_:search people 6
_:system canthelp _:booking/87b12f6c
_:booking/87b12f6c type Booking
_:search departure the hotel
_:search destination the restaurant
_:search type Taxi
_:result car yellow toyota
_:result departure Cityroomz
_:result destination restaurant
_:result phone 07700237290
_:result type Taxi
_:system inquired _:user
_:user dismissed _:system