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,area,*);(_:search,food,'malaysian');(_:search,type,'Restaurant'))
user
i want malaysian food in any area
confirm((_:search,area,*);(_:search,type,'Restaurant'))
system
Ok , a restaurant in any part of town is that right?
affirm()
user
yes
canthelp((_:search,food,'malaysian');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving malaysian food
reqalts() inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
how about korean
confirm((_:search,food,'malaysian');(_:search,type,'Restaurant'))
system
You are looking for a malaysian restaurant right?
negate()
user
no
canthelp((_:search,food,'malaysian');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving malaysian food
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
korean
confirm((_:search,food,'korean');(_:search,type,'Restaurant'))
system
You are looking for a korean restaurant right?
affirm()
user
yes
inform((_:result,food,'korean');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul serves korean food
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,pricerange,?);(_:result,type,'Restaurant'))
user
what is the price range
canthelp((_:search,food,'korean');(_:search,type,'Restaurant'))
system
I am sorry but there is no other korean restaurant that matches your request
request((_:result,pricerange,?);(_:result,type,'Restaurant'))
user
what is the price range
inform((_:result,name,'little seoul');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
little seoul is in the expensive price range
bye()
user
good bye
_:system greeted _:user
_:search area *
_:search food malaysian
_:search type Restaurant
_:system greeted _:user
_:search area *
_:search food malaysian
_:search type Restaurant
_:system greeted _:user
_:search area *
_:system canthelp _:search/53a6c6f2
_:search/53a6c6f2 food malaysian
_:search/53a6c6f2 type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:search area *
_:system canthelp _:search/53a6c6f2
_:search/53a6c6f2 food malaysian
_:search/53a6c6f2 type Restaurant
_:user inquired _:system
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:search area *
_:system canthelp _:search/53a6c6f2
_:search/53a6c6f2 food malaysian
_:search/53a6c6f2 type Restaurant
_:user inquired _:system
_:system canthelp _:search/aacc813d
_:search/aacc813d food malaysian
_:search/aacc813d type Restaurant
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:search area *
_:system canthelp _:search/53a6c6f2
_:search/53a6c6f2 food malaysian
_:search/53a6c6f2 type Restaurant
_:user inquired _:system
_:system canthelp _:search/aacc813d
_:search/aacc813d food malaysian
_:search/aacc813d type Restaurant
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:search area *
_:system canthelp _:search/53a6c6f2
_:search/53a6c6f2 food malaysian
_:search/53a6c6f2 type Restaurant
_:user inquired _:system
_:system canthelp _:search/aacc813d
_:search/aacc813d food malaysian
_:search/aacc813d type Restaurant
_:search food korean
_:search type Restaurant
_:result food korean
_:result name little seoul
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search area *
_:system canthelp _:search/53a6c6f2
_:search/53a6c6f2 food malaysian
_:search/53a6c6f2 type Restaurant
_:user inquired _:system
_:system canthelp _:search/aacc813d
_:search/aacc813d food malaysian
_:search/aacc813d type Restaurant
_: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
_:search area *
_:system canthelp _:search/53a6c6f2
_:search/53a6c6f2 food malaysian
_:search/53a6c6f2 type Restaurant
_:user inquired _:system
_:system canthelp _:search/aacc813d
_:search/aacc813d food malaysian
_:search/aacc813d type Restaurant
_: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 canthelp _:search/4c7ca5eb
_:search/4c7ca5eb food korean
_:search/4c7ca5eb type Restaurant
_:system greeted _:user
_:search area *
_:system canthelp _:search/53a6c6f2
_:search/53a6c6f2 food malaysian
_:search/53a6c6f2 type Restaurant
_:user inquired _:system
_:system canthelp _:search/aacc813d
_:search/aacc813d food malaysian
_:search/aacc813d type Restaurant
_:search food korean
_:search type Restaurant
_:result food korean
_:result address 108 regent street city centre
_:system canthelp _:search/4c7ca5eb
_:search/4c7ca5eb food korean
_:search/4c7ca5eb type Restaurant
_:result name little seoul
_:result pricerange expensive
_:result type Restaurant
_:user dismissed _:system