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
i want a restaurant in the unintelligible that serves belgium food
canthelp((_:search,food,'belgian');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving belgian food
reqalts() inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
how about korean food
select((_:result,food,'belgian');(_:result,food,'korean'))
system
Sorry would you like korean or belgian 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
confirm((_:result,area,'centre');(_:result,type,'Restaurant'))
user
is it in the center
inform((_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul is a great restaurant
request((_:result,address,?);(_:result,type,'Restaurant'))
user
what is 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,phone,?);(_:result,type,'Restaurant'))
user
what is the phone number
inform((_:result,name,'little seoul');(_:result,phone,'01223 308681');(_:result,type,'Restaurant'))
system
The phone number of little seoul is 01223 308681 .
user
noise
inform((_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul is a great restaurant
bye()
user
good bye
_:system greeted _:user
_:system greeted _:user
_:system canthelp _:search/9475ef0c
_:search/9475ef0c food belgian
_:search/9475ef0c type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/9475ef0c
_:search/9475ef0c food belgian
_:search/9475ef0c type Restaurant
_:user inquired _:system
_:result food belgian
_:result food korean
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/9475ef0c
_:search/9475ef0c food belgian
_:search/9475ef0c type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result food korean
_:result name little seoul
_:result area centre
_:result type Restaurant
_:system greeted _:user
_:system canthelp _:search/9475ef0c
_:search/9475ef0c food belgian
_:search/9475ef0c type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result food korean
_:result area centre
_:result name little seoul
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:system canthelp _:search/9475ef0c
_:search/9475ef0c food belgian
_:search/9475ef0c type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result food korean
_:result area centre
_:result address 108 regent street city centre
_:result name little seoul
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:system canthelp _:search/9475ef0c
_:search/9475ef0c food belgian
_:search/9475ef0c type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result food korean
_:result area centre
_:result address 108 regent street city centre
_:result name little seoul
_:result phone 01223 308681
_:result type Restaurant
_:system greeted _:user
_:system canthelp _:search/9475ef0c
_:search/9475ef0c food belgian
_:search/9475ef0c type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:result food korean
_:result area centre
_:result address 108 regent street city centre
_:result phone 01223 308681
_:result name little seoul
_:result type Restaurant
_:user dismissed _:system