inform((_:search,area,'centre');(_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
Hi , I 'm starving and would like to find a moderately priced restaurant in the centre please
inform((_:result,count,'21');(_:result,type,'Restaurant'))
system
Great , I have 21 options for you !
user
That 's a lot of options , can you narrow them down for me by type ?
request((_:search,food,?);(_:search,type,'Restaurant'))
system
Do you have a type of food in mind or do you want a recommendation ?
inform((_:search,food,'dontcare');(_:search,type,'Restaurant'))
user
I do not have a type in mind so I would love to get your recommendation !
offer((_:booking,type,'Booking')) inform((_:result,food,'british');(_:result,name,'cotto');(_:result,type,'Restaurant'))
system
cotto is my all time favourite . it serves british food . can i reserve for you ?
inform((_:search,area,'same area');(_:search,category,'guesthouse');(_:search,duration,'17:00');(_:search,name,'cotto');(_:search,people,'1');(_:search,stars,'4');(_:search,stay,'two');(_:search,type,'Hotel');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
Yes , reserve for 1 at 17:00 . What is the address and phone number of cotto?Also , can you find a guesthouse in the same area that has 4 stars for two nights ?
inform((_:booking,ref,'7NDO5D43');(_:booking,type,'Booking');(_:result,address,'183 East Road City Centre');(_:result,phone,'01223302010');(_:result,type,'Restaurant'))
system
Okay , your reservation number is 7NDO5D43 .   The address is 183 East Road City Centre , phone number is 01223302010 .    You 'd like me to look at a hotel as well ?
inform((_:search,area,'centre');(_:search,category,'guesthouse');(_:search,stars,'4');(_:search,type,'Hotel'))
user
Yes . I 'd like a 4 star guesthouse in the centre . I do n't have any other criteria .
inform((_:result,name,'Alexander Bed and Breakfast');(_:result,type,'Hotel')) offer((_:booking,type,'Booking'))
system
I found Alexander Bed and Breakfast matching your request .   Would you like to book a room there ?
inform((_:search,day,'thursday');(_:search,people,'5');(_:search,stay,'3');(_:search,type,'Hotel'))
user
Can you book that for me ? There are 5 people . We 'd like to arrive on Thursday and stay for 3 nights .
reqmore() inform((_:booking,day,'Thursday');(_:booking,people,'3');(_:booking,ref,'WTDG767U');(_:booking,stay,'5');(_:booking,type,'Booking'))
system
I 've got it booked !   3 people , 5 nights , starting Thursday .   Your reference number is WTDG767U .   Can I look any other attraction up for you ?
bye()
user
No , that will be all ! goodbye .
system
Thanks for using our service !
_:search area centre
_:search pricerange moderately
_:search type Restaurant
_:search area centre
_:search pricerange moderately
_:search type Restaurant
_:result count 21
_:result type Restaurant
_:search area centre
_:search pricerange moderately
_:result count 21
_:result type Restaurant
_:search food dontcare
_:search type Restaurant
_:search pricerange moderately
_:result count 21
_:search food dontcare
_:system offered _:booking
_:booking type Booking
_:result food british
_:result name cotto
_:result type Restaurant
_:search area same area
_:search category guesthouse
_:search duration 17:00
_:search name cotto
_:search people 1
_:search stars 4
_:search stay two
_:search type Hotel
_:search type Restaurant
_:result address ?
_:result phone ?
_:search pricerange moderately
_:result count 21
_:search food dontcare
_:system offered _:booking
_:result food british
_:result name cotto
_:search duration 17:00
_:search name cotto
_:search people 1
_:search stay two
_:booking ref 7NDO5D43
_:booking type Booking
_:result address 183 East Road City Centre
_:result phone 01223302010
_:result type Restaurant
_:search area centre
_:search category guesthouse
_:search stars 4
_:search type Hotel
_:search pricerange moderately
_:result count 21
_:search food dontcare
_:system offered _:booking
_:result food british
_:search duration 17:00
_:search name cotto
_:booking ref 7NDO5D43
_:booking type Booking
_:result address 183 East Road City Centre
_:result phone 01223302010
_:search area centre
_:search category guesthouse
_:search stars 4
_:result name Alexander Bed and Breakfast
_:result type Hotel
_:search day thursday
_:search people 5
_:search stay 3
_:search type Hotel
_:search pricerange moderately
_:result count 21
_:search food dontcare
_:system offered _:booking
_:result food british
_:search duration 17:00
_:search name cotto
_:result address 183 East Road City Centre
_:result phone 01223302010
_:search area centre
_:search category guesthouse
_:search stars 4
_:result name Alexander Bed and Breakfast
_:result type Hotel
_:search day thursday
_:search people 5
_:search stay 3
_:search type Hotel
_:system inquired _:user
_:booking day Thursday
_:booking people 3
_:booking ref WTDG767U
_:booking stay 5
_:booking type Booking
_:user dismissed _:system