inform((_:search,area,'centre');(_:search,food,'eritrean');(_:search,type,'Restaurant'))
user
I need a place to dine in the centre of town , serving eritrean food .
request((_:search,area,?);(_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,food,'eritrean');(_:search,type,'Restaurant'))
system
I can not find an eritrean restaurant in that area , would you like me to look up another area or cuisine type ?
request((_:result,area,?);(_:result,type,'Restaurant'))
user
Can you check another area ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,area,'in town');(_:search,type,'Restaurant'))
system
There are none in town . Is there another type of food you would like ?
inform((_:search,area,'centre');(_:search,food,'british');(_:search,pricerange,'moderate');(_:search,type,'Restaurant')) request((_:result,ticket,?);(_:result,type,'Train'))
user
Sure , how about British ?   Moderate prices in the centre is necessary .
inform((_:result,address,'DeVere University Arms Regent Street City Centre');(_:result,name,'Restaurant one seven');(_:result,type,'Restaurant'))
system
Restaurant one seven is located on DeVere University Arms Regent Street City Centre .
inform((_:search,day,'tuesday');(_:search,duration,'13:30');(_:search,people,'6');(_:search,type,'Restaurant'))
user
I need a table for 6 on Tuesday . At 13:30 .
reqmore() inform((_:booking,ref,'WZ2PQDLR');(_:booking,type,'Booking'))
system
I have booked it Reference number is : WZ2PQDLR . Can I help you with anything else ?
thank()
user
Thank you very much for your time .   Have a nice day !
system
Thank you for contacting us today . Have a nice day .
_:search area centre
_:search food eritrean
_:search type Restaurant
_:search area ?
_:search food ?
_:search type Restaurant
_:system canthelp _:search/7307178d
_:search/7307178d food eritrean
_:search/7307178d type Restaurant
_:result area ?
_:result type Restaurant
_:system canthelp _:search/7307178d
_:search/7307178d food eritrean
_:search/7307178d type Restaurant
_:result area ?
_:result type Restaurant
_:system canthelp _:search/4b20c01f
_:search/4b20c01f area in town
_:search/4b20c01f type Restaurant
_:search area centre
_:search food british
_:search pricerange moderate
_:search type Restaurant
_:result ticket ?
_:result type Train
_:system canthelp _:search/7307178d
_:search/7307178d food eritrean
_:search/7307178d type Restaurant
_:result area ?
_:system canthelp _:search/4b20c01f
_:search/4b20c01f area in town
_:search/4b20c01f type Restaurant
_:search area centre
_:search food british
_:search pricerange moderate
_:result ticket ?
_:result address DeVere University Arms Regent Street City Centre
_:result name Restaurant one seven
_:result type Restaurant
_:search day tuesday
_:search duration 13:30
_:search people 6
_:search type Restaurant
_:system canthelp _:search/7307178d
_:search/7307178d food eritrean
_:search/7307178d type Restaurant
_:result area ?
_:system canthelp _:search/4b20c01f
_:search/4b20c01f area in town
_:search/4b20c01f type Restaurant
_:search area centre
_:search food british
_:search pricerange moderate
_:result ticket ?
_:result address DeVere University Arms Regent Street City Centre
_:result name Restaurant one seven
_:result type Restaurant
_:search day tuesday
_:search duration 13:30
_:search people 6
_:search type Restaurant
_:system inquired _:user
_:booking ref WZ2PQDLR
_:booking type Booking