inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I am looking for an expensive restaurant in the centre
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'33');(_:result,type,'Restaurant'))
system
There are 33 to choose from . Any type of cuisine you 'd prefer ?
inform((_:search,day,'thursday');(_:search,duration,'12:30');(_:search,people,'1');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
I do n't care what cuisine . I would like a table for 1 at 12:30 on Thursday . I will need a reference number also .
inform((_:booking,day,'Thursday');(_:booking,duration,'12:30');(_:booking,ref,'8NI5A15M');(_:booking,type,'Booking');(_:result,name,'Cambridge Chop House');(_:result,type,'Restaurant')) thank()
system
Sure . I booked you into the Cambridge Chop House on Thursday at 12:30 . Your reference number is 8NI5A15M .
thank()
user
Okay , wonderful . Thank you for your help .
reqmore()
system
Was there anything else I could assist you with today ?
thank()
user
No , you were extremely helpful . Thank you . Goodbye .
system
Thank you for booking with us today . Enjoy your reservation !
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:search food ?
_:result count 33
_:result type Restaurant
_:search day thursday
_:search duration 12:30
_:search people 1
_:search type Restaurant
_:result ref ?
_:search area centre
_:search pricerange expensive
_:search food ?
_:result count 33
_:search day thursday
_:search duration 12:30
_:search people 1
_:search type Restaurant
_:result ref ?
_:booking day Thursday
_:booking duration 12:30
_:booking ref 8NI5A15M
_:booking type Booking
_:result name Cambridge Chop House
_:result type Restaurant
_:search area centre
_:search pricerange expensive
_:search food ?
_:result count 33
_:search day thursday
_:search duration 12:30
_:search people 1
_:search type Restaurant
_:result ref ?
_:booking day Thursday
_:booking duration 12:30
_:booking ref 8NI5A15M
_:booking type Booking
_:result name Cambridge Chop House
_:result type Restaurant
_:system inquired _:user