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?
user
sil
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
user
sil
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
user
sil
confirm((_:search,area,'west');(_:search,type,'Restaurant'))
system
Did you say you are looking for a restaurant in the west of town?
inform((_:search,area,'north');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
cheap restaurant north part of town
confirm((_:search,area,'west');(_:search,type,'Restaurant'))
system
Did you say you are looking for a restaurant in the west of town?
inform((_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
cheap
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
user
sil
inform((_:result,area,'west');(_:result,name,'la margherita');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
la margherita is a nice place in the west of town and the prices are cheap
user
sil
inform((_:result,area,'west');(_:result,name,'thanh binh');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
thanh binh is a nice place in the west of town and the prices are cheap
user
sil
inform((_:result,name,'thanh binh');(_:result,phone,'01223 362456');(_:result,type,'Restaurant'))
system
The phone number of thanh binh is 01223 362456 .
thanks()
user
thank you
inform((_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh is a great restaurant
thanks()
user
thank you
inform((_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh is a great restaurant
bye()
user
bye
canthelp((_:search,area,'west');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
system
Sorry but there is no other restaurant in the cheap price range and the west of town
thanks() bye()
user
thank you bye thank you bye
_:system greeted _:user
_:system greeted _:user
_:search area ?
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:search type Restaurant
_:system greeted _:user
_:search area north
_:search pricerange cheap
_:search type Restaurant
_:system greeted _:user
_:search area north
_:search pricerange cheap
_:search type Restaurant
_:system greeted _:user
_:search area north
_:search pricerange cheap
_:search food ?
_:search type Restaurant
_:system greeted _:user
_:search area north
_:search pricerange cheap
_:search food ?
_:search type Restaurant
_:result area west
_:result name la margherita
_:result pricerange cheap
_:result type Restaurant
_:system greeted _:user
_:search area north
_:search pricerange cheap
_:search food ?
_:search type Restaurant
_:result area west
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:system greeted _:user
_:search area north
_:search pricerange cheap
_:search food ?
_:search type Restaurant
_:result area west
_:result pricerange cheap
_:result name thanh binh
_:result phone 01223 362456
_:result type Restaurant
_:user thanked _:system
_:system greeted _:user
_:search area north
_:search pricerange cheap
_:search food ?
_:search type Restaurant
_:result area west
_:result pricerange cheap
_:result phone 01223 362456
_:result name thanh binh
_:result type Restaurant
_:user thanked _:system
_:system greeted _:user
_:search area north
_:search pricerange cheap
_:search food ?
_:search type Restaurant
_:result area west
_:result pricerange cheap
_:result phone 01223 362456
_:user thanked _:system
_:result name thanh binh
_:result type Restaurant
_:user dismissed _:system
_:system greeted _:user
_:search area north
_:search pricerange cheap
_:search food ?
_:search type Restaurant
_:result area west
_:result pricerange cheap
_:result phone 01223 362456
_:result name thanh binh
_:result type Restaurant
_:system canthelp _:search/ea736259
_:search/ea736259 area west
_:search/ea736259 pricerange cheap
_:search/ea736259 type Restaurant
_:user thanked _:system
_:user dismissed _:system