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,'russian');(_:search,type,'Restaurant'))
user
i want a russian restaurant
canthelp((_:search,food,'russian');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving russian food
reqalts() inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
how about a korean restaurant
select((_:result,food,'korean');(_:result,food,'russian'))
system
Sorry would you like russian or korean food?
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
korean
inform((_:result,food,'korean');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul serves korean food
request((_:result,address,?);(_:result,type,'Restaurant'))
user
whats the address
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,pricerange,?);(_:result,type,'Restaurant'))
user
whats the price range
inform((_:result,name,'little seoul');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
little seoul is in the expensive price range
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search food russian
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/0b831940
_:search/0b831940 food russian
_:search/0b831940 type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/0b831940
_:search/0b831940 food russian
_:search/0b831940 type Restaurant
_:user inquired _:system
_:result food korean
_:result food russian
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/0b831940
_:search/0b831940 food russian
_:search/0b831940 type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result food korean
_:result name little seoul
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:system canthelp _:search/0b831940
_:search/0b831940 food russian
_:search/0b831940 type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result food korean
_:result address 108 regent street city centre
_:result name little seoul
_:result type Restaurant
_:result pricerange ?
_:system greeted _:user
_:system canthelp _:search/0b831940
_:search/0b831940 food russian
_:search/0b831940 type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result food korean
_:result address 108 regent street city centre
_:result name little seoul
_:result pricerange expensive
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system