inform((_:search,area,'north');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I m looking for a restaurant in the north part of town in the cheap price range
reqmore() inform((_:result,area,'south');(_:result,food,'Indian restaurant');(_:result,name,'Royal Spice');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
The Royal Spice is a cheap Indian restaurant in the south . Would you like more information ?
inform((_:search,food,'bistro');(_:search,type,'Restaurant'))
user
Does it serve bistro food ?
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) reqmore()
system
No , I 'm sorry . Would you prefer a cheap bistro in the north , or some other qualifications ?
inform((_:search,area,'dontcare');(_:search,food,'british');(_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
I would settle for British . I 'd prefer moderately priced , actually , and location does n't matter .
inform((_:result,food,'British');(_:result,name,'Cotto');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
I would recommend Cotto . They serve British food and are moderately priced . Would you like their contact information ?
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
What is the phone number ?
reqmore() inform((_:result,name,"Cotto 's");(_:result,phone,'01223302010');(_:result,type,'Restaurant'))
system
Cotto 's phone number is 01223302010 . Is there anything I can help you with ?
thank()
user
No , thank you , that is all I need .   Goodbye !
thank()
system
Good bye . Thank you for contacting the Cambridge restaurant system .
bye()
user
Goodbye .
system
Goodbye .
_:search area north
_:search pricerange cheap
_:search type Restaurant
_:search area north
_:search pricerange cheap
_:system inquired _:user
_:result area south
_:result food Indian restaurant
_:result name Royal Spice
_:result pricerange cheap
_:result type Restaurant
_:search food bistro
_:search type Restaurant
_:result area south
_:result food Indian restaurant
_:result name Royal Spice
_:result pricerange cheap
_:result type Restaurant
_:system inquired _:user
_:search area dontcare
_:search food british
_:search pricerange moderately
_:search type Restaurant
_:result area south
_:system inquired _:user
_:search area dontcare
_:search food british
_:search pricerange moderately
_:search type Restaurant
_:result food British
_:result name Cotto
_:result pricerange moderately priced
_:result type Restaurant
_:result phone ?
_:result area south
_:search area dontcare
_:search food british
_:search pricerange moderately
_:search type Restaurant
_:result food British
_:result pricerange moderately priced
_:system inquired _:user
_:result name Cotto 's
_:result phone 01223302010
_:result type Restaurant
_:result area south
_:search area dontcare
_:search food british
_:search pricerange moderately
_:search type Restaurant
_:result food British
_:result pricerange moderately priced
_:system inquired _:user
_:result name Cotto 's
_:result phone 01223302010
_:result type Restaurant
_:user dismissed _:system