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,'tuscan');(_:search,type,'Restaurant'))
user
im looking for tuscan food
canthelp((_:search,food,'tuscan');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving tuscan food
reqalts() inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
how about korean food
canthelp((_:search,food,'tuscan');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving tuscan food
reqalts() inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
how about korean food
confirm((_:search,food,'tuscan');(_:search,type,'Restaurant'))
system
You are looking for a tuscan restaurant right?
negate()
user
no
canthelp((_:search,food,'tuscan');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving tuscan food
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
korean food
inform((_:result,food,'korean');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul serves korean food
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
what is little seouls phone number
inform((_:result,name,'little seoul');(_:result,phone,'01223 308681');(_:result,type,'Restaurant'))
system
The phone number of little seoul is 01223 308681 .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search food tuscan
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/b49cfc37
_:search/b49cfc37 food tuscan
_:search/b49cfc37 type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/b49cfc37
_:search/b49cfc37 food tuscan
_:search/b49cfc37 type Restaurant
_:system canthelp _:search/7a280d13
_:search/7a280d13 food tuscan
_:search/7a280d13 type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/b49cfc37
_:search/b49cfc37 food tuscan
_:search/b49cfc37 type Restaurant
_:system canthelp _:search/7a280d13
_:search/7a280d13 food tuscan
_:search/7a280d13 type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/b49cfc37
_:search/b49cfc37 food tuscan
_:search/b49cfc37 type Restaurant
_:system canthelp _:search/7a280d13
_:search/7a280d13 food tuscan
_:search/7a280d13 type Restaurant
_:user inquired _:system
_:system canthelp _:search/d0678ac6
_:search/d0678ac6 food tuscan
_:search/d0678ac6 type Restaurant
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/b49cfc37
_:search/b49cfc37 food tuscan
_:search/b49cfc37 type Restaurant
_:system canthelp _:search/7a280d13
_:search/7a280d13 food tuscan
_:search/7a280d13 type Restaurant
_:user inquired _:system
_:system canthelp _:search/d0678ac6
_:search/d0678ac6 food tuscan
_:search/d0678ac6 type Restaurant
_:search food korean
_:search type Restaurant
_:result food korean
_:result name little seoul
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:system canthelp _:search/b49cfc37
_:search/b49cfc37 food tuscan
_:search/b49cfc37 type Restaurant
_:system canthelp _:search/7a280d13
_:search/7a280d13 food tuscan
_:search/7a280d13 type Restaurant
_:user inquired _:system
_:system canthelp _:search/d0678ac6
_:search/d0678ac6 food tuscan
_:search/d0678ac6 type Restaurant
_:search food korean
_:search type Restaurant
_:result food korean
_:result name little seoul
_:result phone 01223 308681
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system