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,'danish');(_:search,type,'Restaurant'))
user
danish food
canthelp((_:search,food,'danish');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving danish food
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
chinese
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
user
food
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
dont care
request((_:search,pricerange,?);(_:search,type,'Restaurant'))
system
Would you like something in the cheap , moderate , or expensive price range?
inform((_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
moderately
inform((_:result,food,'chinese');(_:result,name,'shanghai family restaurant');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
shanghai family restaurant serves chinese food in the moderate price range
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'shanghai family restaurant');(_:result,type,'Restaurant'))
system
shanghai family restaurant is a great restaurant
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'shanghai family restaurant');(_:result,phone,'01223 301761');(_:result,type,'Restaurant'))
system
The phone number of shanghai family restaurant is 01223 301761 .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search food danish
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/99c14924
_:search/99c14924 food danish
_:search/99c14924 type Restaurant
_:search food chinese
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/99c14924
_:search/99c14924 food danish
_:search/99c14924 type Restaurant
_:search food chinese
_:search area ?
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/99c14924
_:search/99c14924 food danish
_:search/99c14924 type Restaurant
_:search food chinese
_:search area *
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/99c14924
_:search/99c14924 food danish
_:search/99c14924 type Restaurant
_:search food chinese
_:search area *
_:search pricerange moderate
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/99c14924
_:search/99c14924 food danish
_:search/99c14924 type Restaurant
_:search food chinese
_:search area *
_:search pricerange moderate
_:search type Restaurant
_:result food chinese
_:result name shanghai family restaurant
_:result pricerange moderate
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:system canthelp _:search/99c14924
_:search/99c14924 food danish
_:search/99c14924 type Restaurant
_:search food chinese
_:search area *
_:search pricerange moderate
_:search type Restaurant
_:result food chinese
_:result pricerange moderate
_:result phone ?
_:result name shanghai family restaurant
_:result type Restaurant
_:system greeted _:user
_:system canthelp _:search/99c14924
_:search/99c14924 food danish
_:search/99c14924 type Restaurant
_:search food chinese
_:search area *
_:search pricerange moderate
_:search type Restaurant
_:result food chinese
_:result pricerange moderate
_:result name shanghai family restaurant
_:result phone 01223 301761
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system