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,'swedish');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
i want to find an expensive restaurant that serves swedish food
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
it doesnt matter
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'swedish');(_:search,type,'Restaurant'))
user
swedish
canthelp((_:search,food,'swedish');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving swedish food
reqalts() inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
how about korean
canthelp((_:search,food,'swedish');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving swedish food
reqalts() inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
how about korean food
inform((_:result,name,'the hotpot');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
the hotpot is in the expensive price range
confirm((_:result,food,'korean');(_:result,type,'Restaurant'))
user
do they serve korean food
confirm((_:search,area,*);(_:search,type,'Restaurant'))
system
Ok , a restaurant in any part of town is that right?
affirm()
user
right
confirm((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
system
Let me confirm , You are looking for a restaurant in the expensive price range right?
affirm()
user
right
inform((_:result,food,'korean');(_:result,name,'little seoul');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
little seoul serves korean food in the expensive price range
request((_:result,address,?);(_:result,area,?);(_:result,type,'Restaurant'))
user
may i have the address and area
inform((_:result,address,'108 regent street city centre');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
Sure , little seoul is on 108 Regent Street City Centre
request((_:result,area,?);(_:result,type,'Restaurant'))
user
what area
inform((_:result,area,'centre');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul is a nice place in the centre of town
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search food swedish
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search food swedish
_:search pricerange expensive
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:search area *
_:search food swedish
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:search area *
_:system canthelp _:search/d58265a3
_:search/d58265a3 food swedish
_:search/d58265a3 type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:search area *
_:system canthelp _:search/d58265a3
_:search/d58265a3 food swedish
_:search/d58265a3 type Restaurant
_:system canthelp _:search/a078940b
_:search/a078940b food swedish
_:search/a078940b type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:search area *
_:system canthelp _:search/d58265a3
_:search/d58265a3 food swedish
_:search/d58265a3 type Restaurant
_:system canthelp _:search/a078940b
_:search/a078940b food swedish
_:search/a078940b type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result name the hotpot
_:result pricerange expensive
_:result food korean
_:result type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:search area *
_:system canthelp _:search/d58265a3
_:search/d58265a3 food swedish
_:search/d58265a3 type Restaurant
_:system canthelp _:search/a078940b
_:search/a078940b food swedish
_:search/a078940b type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result name the hotpot
_:result pricerange expensive
_:result food korean
_:result type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:search area *
_:system canthelp _:search/d58265a3
_:search/d58265a3 food swedish
_:search/d58265a3 type Restaurant
_:system canthelp _:search/a078940b
_:search/a078940b food swedish
_:search/a078940b type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result name the hotpot
_:result pricerange expensive
_:result food korean
_:result type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:search area *
_:system canthelp _:search/d58265a3
_:search/d58265a3 food swedish
_:search/d58265a3 type Restaurant
_:system canthelp _:search/a078940b
_:search/a078940b food swedish
_:search/a078940b type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result food korean
_:result name little seoul
_:result pricerange expensive
_:result type Restaurant
_:result address ?
_:result area ?
_:system greeted _:user
_:search pricerange expensive
_:search area *
_:system canthelp _:search/d58265a3
_:search/d58265a3 food swedish
_:search/d58265a3 type Restaurant
_:system canthelp _:search/a078940b
_:search/a078940b food swedish
_:search/a078940b type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result food korean
_:result pricerange expensive
_:result area ?
_:result address 108 regent street city centre
_:result name little seoul
_:result type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:search area *
_:system canthelp _:search/d58265a3
_:search/d58265a3 food swedish
_:search/d58265a3 type Restaurant
_:system canthelp _:search/a078940b
_:search/a078940b food swedish
_:search/a078940b type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result food korean
_:result pricerange expensive
_:result address 108 regent street city centre
_:result area centre
_:result name little seoul
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system