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,area,'centre');(_:search,food,'russian');(_:search,type,'Restaurant'))
user
im looking for russian food in the center of town
canthelp((_:search,area,'centre');(_:search,food,'russian');(_:search,type,'Restaurant'))
system
Sorry there is no russian restaurant in the centre of town
reqalts() inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
how about british food
inform((_:result,area,'centre');(_:result,food,'british');(_:result,name,'cotto');(_:result,type,'Restaurant'))
system
cotto is a nice restaurant in the centre of town serving british food
request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
what is the address and phone number
inform((_:result,address,'183 east road city centre');(_:result,name,'cotto');(_:result,phone,'01223 302010');(_:result,type,'Restaurant'))
system
The phone number of cotto is 01223 302010 and it is on 183 East Road City Centre .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search area centre
_:search food russian
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:system canthelp _:search/2ac87753
_:search/2ac87753 area centre
_:search/2ac87753 food russian
_:search/2ac87753 type Restaurant
_:user inquired _:system
_:search food british
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:system canthelp _:search/2ac87753
_:search/2ac87753 area centre
_:search/2ac87753 food russian
_:search/2ac87753 type Restaurant
_:user inquired _:system
_:search food british
_:search type Restaurant
_:result area centre
_:result food british
_:result name cotto
_:result type Restaurant
_:result address ?
_:result phone ?
_:system greeted _:user
_:search area centre
_:system canthelp _:search/2ac87753
_:search/2ac87753 area centre
_:search/2ac87753 food russian
_:search/2ac87753 type Restaurant
_:user inquired _:system
_:search food british
_:search type Restaurant
_:result area centre
_:result food british
_:result address 183 east road city centre
_:result name cotto
_:result phone 01223 302010
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system