inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I need an expensive restaurant .
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,count,'57');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are 57 expensive restaurants in the city . Is there a particular area you would prefer to dine in ?
inform((_:search,area,'centre');(_:search,food,'chinese');(_:search,type,'Restaurant'))
user
I would like Chinese food in the centre please .
inform((_:booking,name,'Tang Chinese');(_:booking,type,'Booking');(_:result,count,'4');(_:result,type,'Restaurant'))
system
There are 4 .   Can I make a reservation at one of them ?   Possibly Tang Chinese ?
inform((_:search,day,'sunday');(_:search,duration,'19:45');(_:search,people,'7');(_:search,type,'Restaurant'))
user
I need a table for 7 at 19:45 on sunday
reqmore() inform((_:booking,day,'Sunday');(_:booking,name,'hk fusion');(_:booking,ref,'5UP22RA');(_:booking,type,'Booking'))
system
I was able to book you at hk fusion on Sunday . Reference number 5UP22RA . Is there anything else I can help you with ?
thank()
user
No that will be all . Thanks .
system
Okay . Enjoy your dinner .
_:search pricerange expensive
_:search type Restaurant
_:search pricerange expensive
_:result count 57
_:result pricerange expensive
_:result type Restaurant
_:search area centre
_:search food chinese
_:search type Restaurant
_:search pricerange expensive
_:result pricerange expensive
_:search area centre
_:search food chinese
_:booking name Tang Chinese
_:booking type Booking
_:result count 4
_:result type Restaurant
_:search day sunday
_:search duration 19:45
_:search people 7
_:search type Restaurant
_:search pricerange expensive
_:result pricerange expensive
_:search area centre
_:search food chinese
_:result count 4
_:result type Restaurant
_:search day sunday
_:search duration 19:45
_:search people 7
_:search type Restaurant
_:system inquired _:user
_:booking day Sunday
_:booking name hk fusion
_:booking ref 5UP22RA
_:booking type Booking