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,'indonesian');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
looking for an expensive restaurant that serves indonesian food
confirm((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
system
Let me confirm , You are looking for a restaurant in the expensive price range right?
affirm()
user
right
canthelp((_:search,food,'indonesian');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving indonesian food
reqalts() inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
is there a restaurant serving british food
canthelp((_:search,food,'indonesian');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving indonesian food
user
i dont care
confirm((_:search,food,'indonesian');(_:search,type,'Restaurant'))
system
You are looking for a indonesian restaurant right?
negate()
user
wrong
confirm((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
system
Let me confirm , You are looking for a restaurant in the expensive price range right?
inform((_:search,pricerange,*);(_:search,type,'Restaurant'))
user
i dont care
canthelp((_:search,food,'indonesian');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving indonesian food
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
im looking for british food
confirm((_:search,food,'british');(_:search,type,'Restaurant'))
system
You are looking for a british restaurant right?
affirm()
user
right
confirm((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
system
Let me confirm , You are looking for a restaurant in the expensive price range right?
affirm()
user
right
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
i dont care
inform((_:result,food,'british');(_:result,name,'travellers rest');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
travellers rest serves british food in the expensive price range
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
the phone number
inform((_:result,name,'travellers rest');(_:result,type,'Restaurant'))
system
travellers rest is a great restaurant
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
what is the phone number
inform((_:result,name,'travellers rest');(_:result,phone,'01223 276182');(_:result,type,'Restaurant'))
system
The phone number of travellers rest is 01223 276182 .
bye()
user
you good bye
_:system greeted _:user
_:search food indonesian
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search food indonesian
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:system canthelp _:search/0ab33f69
_:search/0ab33f69 food indonesian
_:search/0ab33f69 type Restaurant
_:user inquired _:system
_:search food british
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:system canthelp _:search/0ab33f69
_:search/0ab33f69 food indonesian
_:search/0ab33f69 type Restaurant
_:user inquired _:system
_:search food british
_:search type Restaurant
_:system canthelp _:search/6120b8b2
_:search/6120b8b2 food indonesian
_:search/6120b8b2 type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:system canthelp _:search/0ab33f69
_:search/0ab33f69 food indonesian
_:search/0ab33f69 type Restaurant
_:user inquired _:system
_:search food british
_:search type Restaurant
_:system canthelp _:search/6120b8b2
_:search/6120b8b2 food indonesian
_:search/6120b8b2 type Restaurant
_:system greeted _:user
_:system canthelp _:search/0ab33f69
_:search/0ab33f69 food indonesian
_:search/0ab33f69 type Restaurant
_:user inquired _:system
_:search food british
_:system canthelp _:search/6120b8b2
_:search/6120b8b2 food indonesian
_:search/6120b8b2 type Restaurant
_:search pricerange *
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/0ab33f69
_:search/0ab33f69 food indonesian
_:search/0ab33f69 type Restaurant
_:user inquired _:system
_:system canthelp _:search/6120b8b2
_:search/6120b8b2 food indonesian
_:search/6120b8b2 type Restaurant
_:search pricerange *
_:system canthelp _:search/066cbf86
_:search/066cbf86 food indonesian
_:search/066cbf86 type Restaurant
_:search food british
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/0ab33f69
_:search/0ab33f69 food indonesian
_:search/0ab33f69 type Restaurant
_:user inquired _:system
_:system canthelp _:search/6120b8b2
_:search/6120b8b2 food indonesian
_:search/6120b8b2 type Restaurant
_:search pricerange *
_:system canthelp _:search/066cbf86
_:search/066cbf86 food indonesian
_:search/066cbf86 type Restaurant
_:search food british
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/0ab33f69
_:search/0ab33f69 food indonesian
_:search/0ab33f69 type Restaurant
_:user inquired _:system
_:system canthelp _:search/6120b8b2
_:search/6120b8b2 food indonesian
_:search/6120b8b2 type Restaurant
_:search pricerange *
_:system canthelp _:search/066cbf86
_:search/066cbf86 food indonesian
_:search/066cbf86 type Restaurant
_:search food british
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/0ab33f69
_:search/0ab33f69 food indonesian
_:search/0ab33f69 type Restaurant
_:user inquired _:system
_:system canthelp _:search/6120b8b2
_:search/6120b8b2 food indonesian
_:search/6120b8b2 type Restaurant
_:search pricerange *
_:system canthelp _:search/066cbf86
_:search/066cbf86 food indonesian
_:search/066cbf86 type Restaurant
_:search food british
_:search area *
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/0ab33f69
_:search/0ab33f69 food indonesian
_:search/0ab33f69 type Restaurant
_:user inquired _:system
_:system canthelp _:search/6120b8b2
_:search/6120b8b2 food indonesian
_:search/6120b8b2 type Restaurant
_:search pricerange *
_:system canthelp _:search/066cbf86
_:search/066cbf86 food indonesian
_:search/066cbf86 type Restaurant
_:search food british
_:search area *
_:search type Restaurant
_:result food british
_:result name travellers rest
_:result pricerange expensive
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:system canthelp _:search/0ab33f69
_:search/0ab33f69 food indonesian
_:search/0ab33f69 type Restaurant
_:user inquired _:system
_:system canthelp _:search/6120b8b2
_:search/6120b8b2 food indonesian
_:search/6120b8b2 type Restaurant
_:search pricerange *
_:system canthelp _:search/066cbf86
_:search/066cbf86 food indonesian
_:search/066cbf86 type Restaurant
_:search food british
_:search area *
_:search type Restaurant
_:result food british
_:result pricerange expensive
_:result phone ?
_:result name travellers rest
_:result type Restaurant
_:system greeted _:user
_:system canthelp _:search/0ab33f69
_:search/0ab33f69 food indonesian
_:search/0ab33f69 type Restaurant
_:user inquired _:system
_:system canthelp _:search/6120b8b2
_:search/6120b8b2 food indonesian
_:search/6120b8b2 type Restaurant
_:search pricerange *
_:system canthelp _:search/066cbf86
_:search/066cbf86 food indonesian
_:search/066cbf86 type Restaurant
_:search food british
_:search area *
_:search type Restaurant
_:result food british
_:result pricerange expensive
_:result name travellers rest
_:result phone 01223 276182
_:result type Restaurant
_:user dismissed _:system