hello()
system
Hello , welcome to the Cambridge restaurant system? You can ask for restaurants by area , price range or food type . How may I help you?
inform((_:search,food,'european');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
im looking for an expensive restaurant that serves european
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
any part of town
inform((_:result,food,'european');(_:result,name,'michaelhouse cafe');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
michaelhouse cafe serves european food in the expensive price range
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'michaelhouse cafe');(_:result,type,'Restaurant'))
system
michaelhouse cafe is a great restaurant
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
what is the phone number
inform((_:result,name,'michaelhouse cafe');(_:result,phone,'01223 309147');(_:result,type,'Restaurant'))
system
The phone number of michaelhouse cafe is 01223 309147 .
request((_:result,area,?);(_:result,type,'Restaurant'))
user
and the area
inform((_:result,area,'centre');(_:result,name,'michaelhouse cafe');(_:result,type,'Restaurant'))
system
michaelhouse cafe is a nice place in the centre of town
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search food european
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search food european
_:search pricerange expensive
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search food european
_:search pricerange expensive
_:search area *
_:search type Restaurant
_:result food european
_:result name michaelhouse cafe
_:result pricerange expensive
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search food european
_:search pricerange expensive
_:search area *
_:search type Restaurant
_:result food european
_:result pricerange expensive
_:result phone ?
_:result name michaelhouse cafe
_:result type Restaurant
_:system greeted _:user
_:search food european
_:search pricerange expensive
_:search area *
_:search type Restaurant
_:result food european
_:result pricerange expensive
_:result name michaelhouse cafe
_:result phone 01223 309147
_:result type Restaurant
_:result area ?
_:system greeted _:user
_:search food european
_:search pricerange expensive
_:search area *
_:search type Restaurant
_:result food european
_:result pricerange expensive
_:result phone 01223 309147
_:result area centre
_:result name michaelhouse cafe
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system