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?
request((_:result,signature,?);(_:result,type,'Restaurant')) inform((_:search,food,'christmas');(_:search,type,'Restaurant'))
user
i need a special restaurant serving christmas food
canthelp((_:search,food,'christmas');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving christmas food
reqalts() inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
what about british food
canthelp((_:search,food,'christmas');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving christmas food
inform((_:search,food,'british');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
i need an expensive restaurant serving british food
confirm((_:search,food,'christmas');(_:search,type,'Restaurant'))
system
You are looking for a christmas restaurant right?
negate()
user
no
canthelp((_:search,food,'christmas');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving christmas food
inform((_:search,food,'british');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
i need an expensive restaurant serving british food
inform((_:result,food,'british');(_:result,name,'the cambridge chop house');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
the cambridge chop house serves british food in the expensive price range
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
can i get the phone number
inform((_:result,name,'the cambridge chop house');(_:result,phone,'01223 359506');(_:result,type,'Restaurant'))
system
The phone number of the cambridge chop house is 01223 359506 .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:result signature ?
_:result type Restaurant
_:search food christmas
_:search type Restaurant
_:system greeted _:user
_:result signature ?
_:result type Restaurant
_:system canthelp _:search/9616af02
_:search/9616af02 food christmas
_:search/9616af02 type Restaurant
_:user inquired _:system
_:search food british
_:search type Restaurant
_:system greeted _:user
_:result signature ?
_:result type Restaurant
_:system canthelp _:search/9616af02
_:search/9616af02 food christmas
_:search/9616af02 type Restaurant
_:user inquired _:system
_:system canthelp _:search/ea65a271
_:search/ea65a271 food christmas
_:search/ea65a271 type Restaurant
_:search food british
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:result signature ?
_:result type Restaurant
_:system canthelp _:search/9616af02
_:search/9616af02 food christmas
_:search/9616af02 type Restaurant
_:user inquired _:system
_:system canthelp _:search/ea65a271
_:search/ea65a271 food christmas
_:search/ea65a271 type Restaurant
_:search food british
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:result signature ?
_:result type Restaurant
_:system canthelp _:search/9616af02
_:search/9616af02 food christmas
_:search/9616af02 type Restaurant
_:user inquired _:system
_:system canthelp _:search/ea65a271
_:search/ea65a271 food christmas
_:search/ea65a271 type Restaurant
_:system canthelp _:search/c6b912b7
_:search/c6b912b7 food christmas
_:search/c6b912b7 type Restaurant
_:search food british
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:result signature ?
_:system canthelp _:search/9616af02
_:search/9616af02 food christmas
_:search/9616af02 type Restaurant
_:user inquired _:system
_:system canthelp _:search/ea65a271
_:search/ea65a271 food christmas
_:search/ea65a271 type Restaurant
_:system canthelp _:search/c6b912b7
_:search/c6b912b7 food christmas
_:search/c6b912b7 type Restaurant
_:search food british
_:search pricerange expensive
_:search type Restaurant
_:result food british
_:result name the cambridge chop house
_:result pricerange expensive
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:result signature ?
_:system canthelp _:search/9616af02
_:search/9616af02 food christmas
_:search/9616af02 type Restaurant
_:user inquired _:system
_:system canthelp _:search/ea65a271
_:search/ea65a271 food christmas
_:search/ea65a271 type Restaurant
_:system canthelp _:search/c6b912b7
_:search/c6b912b7 food christmas
_:search/c6b912b7 type Restaurant
_:search food british
_:search pricerange expensive
_:search type Restaurant
_:result food british
_:result pricerange expensive
_:result name the cambridge chop house
_:result phone 01223 359506
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system