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
sil
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
user
i want
inform((_:result,name,'j restaurant');(_:result,type,'Restaurant'))
system
j restaurant is a great restaurant
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
i want to find a restaurant in the center
inform((_:result,area,'centre');(_:result,name,'j restaurant');(_:result,type,'Restaurant'))
system
j restaurant is in the centre part of town .
confirm((_:result,food,'fusion');(_:result,type,'Restaurant'))
user
does it serve fusion food
inform((_:result,food,'asian oriental');(_:result,name,'j restaurant');(_:result,type,'Restaurant'))
system
j restaurant serves asian oriental food
inform((_:search,food,'fusion');(_:search,type,'Restaurant'))
user
i want fusion food
canthelp((_:search,area,'centre');(_:search,food,'fusion');(_:search,type,'Restaurant'))
system
Sorry there is no fusion restaurant in the centre of town
reqalts() inform((_:search,food,'european');(_:search,type,'Restaurant'))
user
how about european food
inform((_:result,area,'centre');(_:result,food,'european');(_:result,name,'michaelhouse cafe');(_:result,type,'Restaurant'))
system
michaelhouse cafe is a nice restaurant in the centre of town serving european food
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
what is the phone number
inform((_:result,name,'michaelhouse cafe');(_:result,phone,'01223 309147');(_:result,type,'Restaurant'))
system
The phone number of michaelhouse cafe is 01223 309147 .
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
what is the post code
inform((_:result,name,'michaelhouse cafe');(_:result,postcode,'c.b 2');(_:result,type,'Restaurant'))
system
The post code of michaelhouse cafe is C.B 2, 1 S.U
user
unintelligible
inform((_:result,area,'centre');(_:result,food,'european');(_:result,name,'michaelhouse cafe');(_:result,type,'Restaurant'))
system
michaelhouse cafe is a nice restaurant in the centre of town serving european food
user
noise
inform((_:result,area,'centre');(_:result,food,'european');(_:result,name,'michaelhouse cafe');(_:result,type,'Restaurant'))
system
michaelhouse cafe is a nice restaurant in the centre of town serving european food
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
what is the post code
inform((_:result,name,'michaelhouse cafe');(_:result,postcode,'c.b 2');(_:result,type,'Restaurant'))
system
The post code of michaelhouse cafe is C.B 2, 1 S.U
bye()
user
good bye
_:system greeted _:user
_:system greeted _:user
_:search area ?
_:search type Restaurant
_:system greeted _:user
_:result name j restaurant
_:result type Restaurant
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:search type Restaurant
_:result area centre
_:result name j restaurant
_:result food fusion
_:result type Restaurant
_:system greeted _:user
_:search area centre
_:result area centre
_:result food asian oriental
_:result name j restaurant
_:result type Restaurant
_:search food fusion
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:result area centre
_:result food asian oriental
_:result name j restaurant
_:result type Restaurant
_:system canthelp _:search/b28a0496
_:search/b28a0496 area centre
_:search/b28a0496 food fusion
_:search/b28a0496 type Restaurant
_:user inquired _:system
_:search food european
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:system canthelp _:search/b28a0496
_:search/b28a0496 area centre
_:search/b28a0496 food fusion
_:search/b28a0496 type Restaurant
_:user inquired _:system
_:search food european
_:search type Restaurant
_:result area centre
_:result food european
_:result name michaelhouse cafe
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search area centre
_:system canthelp _:search/b28a0496
_:search/b28a0496 area centre
_:search/b28a0496 food fusion
_:search/b28a0496 type Restaurant
_:user inquired _:system
_:search food european
_:search type Restaurant
_:result area centre
_:result food european
_:result name michaelhouse cafe
_:result phone 01223 309147
_:result type Restaurant
_:result postcode ?
_:system greeted _:user
_:search area centre
_:system canthelp _:search/b28a0496
_:search/b28a0496 area centre
_:search/b28a0496 food fusion
_:search/b28a0496 type Restaurant
_:user inquired _:system
_:search food european
_:search type Restaurant
_:result area centre
_:result food european
_:result phone 01223 309147
_:result name michaelhouse cafe
_:result postcode c.b 2
_:result type Restaurant
_:system greeted _:user
_:search area centre
_:system canthelp _:search/b28a0496
_:search/b28a0496 area centre
_:search/b28a0496 food fusion
_:search/b28a0496 type Restaurant
_:user inquired _:system
_:search food european
_:search type Restaurant
_:result phone 01223 309147
_:result postcode c.b 2
_:result area centre
_:result food european
_:result name michaelhouse cafe
_:result type Restaurant
_:system greeted _:user
_:search area centre
_:system canthelp _:search/b28a0496
_:search/b28a0496 area centre
_:search/b28a0496 food fusion
_:search/b28a0496 type Restaurant
_:user inquired _:system
_:search food european
_:search type Restaurant
_:result phone 01223 309147
_:result postcode c.b 2
_:result area centre
_:result food european
_:result name michaelhouse cafe
_:result type Restaurant
_:result postcode ?
_:system greeted _:user
_:search area centre
_:system canthelp _:search/b28a0496
_:search/b28a0496 area centre
_:search/b28a0496 food fusion
_:search/b28a0496 type Restaurant
_:user inquired _:system
_:search food european
_:search type Restaurant
_:result phone 01223 309147
_:result area centre
_:result food european
_:result name michaelhouse cafe
_:result postcode c.b 2
_:result type Restaurant
_:user dismissed _:system