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?
inform((_:search,area,'south');(_:search,type,'Restaurant'))
user
the south part
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?
user
sil
confirm((_:search,area,'west');(_:search,type,'Restaurant'))
system
Did you say you are looking for a restaurant in the west of town?
negate() inform((_:search,area,'south');(_:search,type,'Restaurant'))
user
no the south part
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
um an expensive
canthelp((_:search,area,'west');(_:search,food,'french');(_:search,type,'Restaurant'))
system
I'm sorry but there is no french restaurant in the west of town
user
restaurant
canthelp((_:search,area,'west');(_:search,food,'french');(_:search,type,'Restaurant'))
system
I'm sorry but there is no french restaurant in the west of town
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
expensive
confirm((_:search,area,'west');(_:search,type,'Restaurant'))
system
Did you say you are looking for a restaurant in the west of town?
user
sil
confirm((_:search,food,'french');(_:search,type,'Restaurant'))
system
You are looking for a french restaurant right?
user
sil
canthelp((_:search,area,'west');(_:search,food,'french');(_:search,type,'Restaurant'))
system
I'm sorry but there is no french restaurant in the west of town
negate()
user
no
canthelp((_:search,area,'west');(_:search,food,'french');(_:search,type,'Restaurant'))
system
I'm sorry but there is no french restaurant in the west of town
thanks() bye()
user
okay thank you good bye
_:system greeted _:user
_:system greeted _:user
_:search area south
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:search type Restaurant
_:system greeted _:user
_:search area south
_:search type Restaurant
_:system greeted _:user
_:search area south
_:search food ?
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search area south
_:search food ?
_:search pricerange expensive
_:search type Restaurant
_:system canthelp _:search/affaa031
_:search/affaa031 area west
_:search/affaa031 food french
_:search/affaa031 type Restaurant
_:system greeted _:user
_:search area south
_:search food ?
_:system canthelp _:search/affaa031
_:search/affaa031 area west
_:search/affaa031 food french
_:search/affaa031 type Restaurant
_:system canthelp _:search/484a8a37
_:search/484a8a37 area west
_:search/484a8a37 food french
_:search/484a8a37 type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search area south
_:search food ?
_:system canthelp _:search/affaa031
_:search/affaa031 area west
_:search/affaa031 food french
_:search/affaa031 type Restaurant
_:system canthelp _:search/484a8a37
_:search/484a8a37 area west
_:search/484a8a37 food french
_:search/484a8a37 type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search area south
_:search food ?
_:system canthelp _:search/affaa031
_:search/affaa031 area west
_:search/affaa031 food french
_:search/affaa031 type Restaurant
_:system canthelp _:search/484a8a37
_:search/484a8a37 area west
_:search/484a8a37 food french
_:search/484a8a37 type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search area south
_:search food ?
_:system canthelp _:search/affaa031
_:search/affaa031 area west
_:search/affaa031 food french
_:search/affaa031 type Restaurant
_:system canthelp _:search/484a8a37
_:search/484a8a37 area west
_:search/484a8a37 food french
_:search/484a8a37 type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:system canthelp _:search/6e8cfe65
_:search/6e8cfe65 area west
_:search/6e8cfe65 food french
_:search/6e8cfe65 type Restaurant
_:system greeted _:user
_:search area south
_:search food ?
_:system canthelp _:search/affaa031
_:search/affaa031 area west
_:search/affaa031 food french
_:search/affaa031 type Restaurant
_:system canthelp _:search/484a8a37
_:search/484a8a37 area west
_:search/484a8a37 food french
_:search/484a8a37 type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:system canthelp _:search/6e8cfe65
_:search/6e8cfe65 area west
_:search/6e8cfe65 food french
_:search/6e8cfe65 type Restaurant
_:system canthelp _:search/7d80d73b
_:search/7d80d73b area west
_:search/7d80d73b food french
_:search/7d80d73b type Restaurant
_:user thanked _:system
_:user dismissed _:system