inform((_:search,area,'centre');(_:search,food,'modern european');(_:search,type,'Restaurant'))
user
I am looking for a restaurant in the centre that serves modern European food .
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,count,'4');(_:result,type,'Restaurant'))
system
There are 4 matching restaurants . What price range would you like ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I would like one in the expensive price range please .
inform((_:result,address,'40270 King Street');(_:result,name,"Darry 's Cookhouse and wine shop");(_:result,type,'Restaurant'))
system
Darry 's Cookhouse and wine shop would suit your interests . It 's at 40270 King Street
inform((_:search,day,'tuesday');(_:search,duration,'16:30');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Do they have booking available for 7 people at 16:30 on tuesday ?
canthelp((_:booking,type,'Booking')) reqmore()
system
There does not appear to be availability at that time .   Would you like me to try another restaurant ?
inform((_:search,type,'Restaurant'))
user
Is there another restaurant in the area in that price range that is available at that time ?
reqmore() inform((_:booking,name,'Bedouin');(_:booking,ref,'Q7R6ZVRE');(_:booking,type,'Booking'))
system
OK , I got you a table at the Bedouin . The table will be reserved for 15 minutes . Your reference number is : Q7R6ZVRE . Can I help you with anything else ?
thank()
user
No thanks . Thank you and goodbye .
system
Okay you 're welcome . Thank you for calling .
_:search area centre
_:search food modern european
_:search type Restaurant
_:search area centre
_:search food modern european
_:result count 4
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search food modern european
_:result count 4
_:search pricerange expensive
_:result address 40270 King Street
_:result name Darry 's Cookhouse and wine shop
_:result type Restaurant
_:search day tuesday
_:search duration 16:30
_:search people 7
_:search type Restaurant
_:search area centre
_:search food modern european
_:result count 4
_:search pricerange expensive
_:result address 40270 King Street
_:result name Darry 's Cookhouse and wine shop
_:result type Restaurant
_:search day tuesday
_:search duration 16:30
_:search people 7
_:system canthelp _:booking/582a0acc
_:booking/582a0acc type Booking
_:system inquired _:user
_:search type Restaurant
_:search area centre
_:search food modern european
_:result count 4
_:search pricerange expensive
_:result address 40270 King Street
_:result name Darry 's Cookhouse and wine shop
_:result type Restaurant
_:search day tuesday
_:search duration 16:30
_:search people 7
_:system canthelp _:booking/582a0acc
_:booking/582a0acc type Booking
_:search type Restaurant
_:system inquired _:user
_:booking name Bedouin
_:booking ref Q7R6ZVRE
_:booking type Booking