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?
affirm() inform((_:search,food,'korean');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
uh yes im looking for an expensive restaurant that serves korean food
inform((_:result,food,'korean');(_:result,name,'little seoul');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
little seoul is a great restaurant serving korean food and it is in the expensive price range
request((_:result,address,?);(_:result,type,'Restaurant'))
user
okay and can i get 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,area,?);(_:result,type,'Restaurant'))
user
okay and what area is that
inform((_:result,area,'centre');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul is a nice place in the centre of town
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
okay and whats their phone number please
inform((_:result,name,'little seoul');(_:result,phone,'01223 308681');(_:result,type,'Restaurant'))
system
The phone number of little seoul is 01223 308681 .
bye()
user
okay thank you and good bye
_:system greeted _:user
_:search food korean
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search food korean
_:search pricerange expensive
_:search type Restaurant
_:result food korean
_:result name little seoul
_:result pricerange expensive
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search food korean
_:search pricerange expensive
_:search type Restaurant
_:result food korean
_:result pricerange expensive
_:result address 108 regent street city centre
_:result name little seoul
_:result type Restaurant
_:result area ?
_:system greeted _:user
_:search food korean
_:search pricerange expensive
_: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
_:result phone ?
_:system greeted _:user
_:search food korean
_:search pricerange expensive
_:search type Restaurant
_:result food korean
_:result pricerange expensive
_:result address 108 regent street city centre
_:result area centre
_:result name little seoul
_:result phone 01223 308681
_:result type Restaurant
_:user dismissed _:system