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,'korean');(_:search,type,'Restaurant'))
user
korean food
select((_:result,area,'centre');(_:result,area,'west'))
system
Sorry would you like something in the west or in the centre
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
any area
select((_:result,area,'centre');(_:result,area,'west'))
system
Sorry would you like something in the west or in the centre
inform((_:search,area,*);(_:search,type,'Restaurant'))
user
i dont care
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
korean
canthelp((_:search,food,'greek');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving greek food
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
korean
canthelp((_:search,food,'greek');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving greek food
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
korean
canthelp((_:search,food,'greek');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving greek food
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
korean food
confirm((_:search,area,*);(_:search,type,'Restaurant'))
system
Ok , a restaurant in any part of town is that right?
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
korean food
confirm((_:search,food,'greek');(_:search,type,'Restaurant'))
system
You are looking for a greek restaurant right?
negate()
user
no
canthelp((_:search,food,'greek');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving greek food
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
korean food
canthelp((_:search,food,'greek');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving greek food
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
korean
canthelp((_:search,food,'greek');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving greek food
user
aw give me the damn code
confirm((_:search,area,*);(_:search,type,'Restaurant'))
system
Ok , a restaurant in any part of town is that right?
negate() bye()
user
no thank you good bye
_:system greeted _:user
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:search food korean
_:result area centre
_:result area west
_:search area *
_:search type Restaurant
_:system greeted _:user
_:search food korean
_:result area centre
_:result area west
_:search area *
_:search type Restaurant
_:system greeted _:user
_:result area centre
_:result area west
_:search area *
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:result area centre
_:result area west
_:search area *
_:system canthelp _:search/eaba7652
_:search/eaba7652 food greek
_:search/eaba7652 type Restaurant
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:result area centre
_:result area west
_:search area *
_:system canthelp _:search/eaba7652
_:search/eaba7652 food greek
_:search/eaba7652 type Restaurant
_:system canthelp _:search/787d8c85
_:search/787d8c85 food greek
_:search/787d8c85 type Restaurant
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:result area centre
_:result area west
_:search area *
_:system canthelp _:search/eaba7652
_:search/eaba7652 food greek
_:search/eaba7652 type Restaurant
_:system canthelp _:search/787d8c85
_:search/787d8c85 food greek
_:search/787d8c85 type Restaurant
_:system canthelp _:search/21b3ceb4
_:search/21b3ceb4 food greek
_:search/21b3ceb4 type Restaurant
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:result area centre
_:result area west
_:search area *
_:system canthelp _:search/eaba7652
_:search/eaba7652 food greek
_:search/eaba7652 type Restaurant
_:system canthelp _:search/787d8c85
_:search/787d8c85 food greek
_:search/787d8c85 type Restaurant
_:system canthelp _:search/21b3ceb4
_:search/21b3ceb4 food greek
_:search/21b3ceb4 type Restaurant
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:result area centre
_:result area west
_:search area *
_:system canthelp _:search/eaba7652
_:search/eaba7652 food greek
_:search/eaba7652 type Restaurant
_:system canthelp _:search/787d8c85
_:search/787d8c85 food greek
_:search/787d8c85 type Restaurant
_:system canthelp _:search/21b3ceb4
_:search/21b3ceb4 food greek
_:search/21b3ceb4 type Restaurant
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:result area centre
_:result area west
_:search area *
_:system canthelp _:search/eaba7652
_:search/eaba7652 food greek
_:search/eaba7652 type Restaurant
_:system canthelp _:search/787d8c85
_:search/787d8c85 food greek
_:search/787d8c85 type Restaurant
_:system canthelp _:search/21b3ceb4
_:search/21b3ceb4 food greek
_:search/21b3ceb4 type Restaurant
_:system canthelp _:search/db5c1a58
_:search/db5c1a58 food greek
_:search/db5c1a58 type Restaurant
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:result area centre
_:result area west
_:search area *
_:system canthelp _:search/eaba7652
_:search/eaba7652 food greek
_:search/eaba7652 type Restaurant
_:system canthelp _:search/787d8c85
_:search/787d8c85 food greek
_:search/787d8c85 type Restaurant
_:system canthelp _:search/21b3ceb4
_:search/21b3ceb4 food greek
_:search/21b3ceb4 type Restaurant
_:system canthelp _:search/db5c1a58
_:search/db5c1a58 food greek
_:search/db5c1a58 type Restaurant
_:system canthelp _:search/01068302
_:search/01068302 food greek
_:search/01068302 type Restaurant
_:search food korean
_:search type Restaurant
_:system greeted _:user
_:result area centre
_:result area west
_:search area *
_:system canthelp _:search/eaba7652
_:search/eaba7652 food greek
_:search/eaba7652 type Restaurant
_:system canthelp _:search/787d8c85
_:search/787d8c85 food greek
_:search/787d8c85 type Restaurant
_:system canthelp _:search/21b3ceb4
_:search/21b3ceb4 food greek
_:search/21b3ceb4 type Restaurant
_:system canthelp _:search/db5c1a58
_:search/db5c1a58 food greek
_:search/db5c1a58 type Restaurant
_:system canthelp _:search/01068302
_:search/01068302 food greek
_:search/01068302 type Restaurant
_:search food korean
_:search type Restaurant
_:system canthelp _:search/19a8d4b7
_:search/19a8d4b7 food greek
_:search/19a8d4b7 type Restaurant
_:system greeted _:user
_:result area centre
_:result area west
_:search area *
_:system canthelp _:search/eaba7652
_:search/eaba7652 food greek
_:search/eaba7652 type Restaurant
_:system canthelp _:search/787d8c85
_:search/787d8c85 food greek
_:search/787d8c85 type Restaurant
_:system canthelp _:search/21b3ceb4
_:search/21b3ceb4 food greek
_:search/21b3ceb4 type Restaurant
_:system canthelp _:search/db5c1a58
_:search/db5c1a58 food greek
_:search/db5c1a58 type Restaurant
_:system canthelp _:search/01068302
_:search/01068302 food greek
_:search/01068302 type Restaurant
_:search food korean
_:search type Restaurant
_:system canthelp _:search/19a8d4b7
_:search/19a8d4b7 food greek
_:search/19a8d4b7 type Restaurant
_:user dismissed _:system