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
im looking for a restaurant
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
negate()
user
not
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,'north');(_:search,type,'Restaurant'))
user
north part of town
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
user
unintelligible
inform((_:result,area,'south');(_:result,name,'nandos');(_:result,type,'Restaurant'))
system
nandos is a nice place in the south of town
inform((_:search,area,'north');(_:search,type,'Restaurant'))
user
im looking for a restaurant in the north part
inform((_:result,area,'north');(_:result,name,'royal spice');(_:result,type,'Restaurant'))
system
royal spice is a nice place in the north of town
request((_:result,phone,?);(_:result,pricerange,?);(_:result,type,'Restaurant'))
user
can i have the phone number and the price range
inform((_:result,name,'royal spice');(_:result,phone,'01733 553355');(_:result,type,'Restaurant'))
system
The phone number of royal spice is 01733 553355 .
request((_:result,pricerange,?);(_:result,type,'Restaurant'))
user
can i have the price range
inform((_:result,name,'royal spice');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
royal spice is in the cheap price range
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:system greeted _:user
_:search area #
_:user denied _:search/a01cc0be
_:search/a01cc0be type Restaurant
_:system greeted _:user
_:user denied _:search/a01cc0be
_:search/a01cc0be type Restaurant
_:search area north
_:search type Restaurant
_:system greeted _:user
_:user denied _:search/a01cc0be
_:search/a01cc0be type Restaurant
_:search area north
_:search food ?
_:search type Restaurant
_:system greeted _:user
_:user denied _:search/a01cc0be
_:search/a01cc0be type Restaurant
_:search food ?
_:result area south
_:result name nandos
_:result type Restaurant
_:search area north
_:search type Restaurant
_:system greeted _:user
_:user denied _:search/a01cc0be
_:search/a01cc0be type Restaurant
_:search food ?
_:search area north
_:search type Restaurant
_:result area north
_:result name royal spice
_:result type Restaurant
_:result phone ?
_:result pricerange ?
_:system greeted _:user
_:user denied _:search/a01cc0be
_:search/a01cc0be type Restaurant
_:search food ?
_:search area north
_:search type Restaurant
_:result area north
_:result pricerange ?
_:result name royal spice
_:result phone 01733 553355
_:result type Restaurant
_:system greeted _:user
_:user denied _:search/a01cc0be
_:search/a01cc0be type Restaurant
_:search food ?
_:search area north
_:search type Restaurant
_:result area north
_:result phone 01733 553355
_:result name royal spice
_:result pricerange cheap
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system