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,'thai');(_:search,type,'Restaurant'))
user
thai food
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
any
inform((_:result,food,'thai');(_:result,name,'bangkok city');(_:result,type,'Restaurant'))
system
bangkok city serves thai food
inform((_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
moderately priced
canthelp((_:search,food,'thai');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving moderate thai food
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
british type
confirm((_:search,food,'british');(_:search,type,'Restaurant'))
system
You are looking for a british restaurant right?
affirm()
user
yes
inform((_:result,food,'british');(_:result,name,'cotto');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
cotto serves british food in the moderate price range
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'cotto');(_:result,type,'Restaurant'))
system
cotto is a great restaurant
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'cotto');(_:result,phone,'01223 302010');(_:result,type,'Restaurant'))
system
The phone number of cotto is 01223 302010 .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search food thai
_:search type Restaurant
_:system greeted _:user
_:search food thai
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search food thai
_:search area *
_:result food thai
_:result name bangkok city
_:result type Restaurant
_:search pricerange moderate
_:search type Restaurant
_:system greeted _:user
_:search area *
_:result food thai
_:result name bangkok city
_:result type Restaurant
_:search pricerange moderate
_:system canthelp _:search/270b6f7d
_:search/270b6f7d food thai
_:search/270b6f7d pricerange moderate
_:search/270b6f7d type Restaurant
_:search food british
_:search type Restaurant
_:system greeted _:user
_:search area *
_:result food thai
_:result name bangkok city
_:result type Restaurant
_:search pricerange moderate
_:system canthelp _:search/270b6f7d
_:search/270b6f7d food thai
_:search/270b6f7d pricerange moderate
_:search/270b6f7d type Restaurant
_:search food british
_:search type Restaurant
_:system greeted _:user
_:search area *
_:search pricerange moderate
_:system canthelp _:search/270b6f7d
_:search/270b6f7d food thai
_:search/270b6f7d pricerange moderate
_:search/270b6f7d type Restaurant
_:search food british
_:search type Restaurant
_:result food british
_:result name cotto
_:result pricerange moderate
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search area *
_:search pricerange moderate
_:system canthelp _:search/270b6f7d
_:search/270b6f7d food thai
_:search/270b6f7d pricerange moderate
_:search/270b6f7d type Restaurant
_:search food british
_:search type Restaurant
_:result food british
_:result pricerange moderate
_:result phone ?
_:result name cotto
_:result type Restaurant
_:system greeted _:user
_:search area *
_:search pricerange moderate
_:system canthelp _:search/270b6f7d
_:search/270b6f7d food thai
_:search/270b6f7d pricerange moderate
_:search/270b6f7d type Restaurant
_:search food british
_:search type Restaurant
_:result food british
_:result pricerange moderate
_:result name cotto
_:result phone 01223 302010
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system