hello()
system
Hello , welcome to the Cambridge restaurant system? You can ask for restaurants by area , price range or food type .
user
sil
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,'east');(_:search,type,'Restaurant'))
user
east
inform((_:result,name,'cocum');(_:result,type,'Restaurant'))
system
cocum is a great restaurant
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
expensive restaurant
inform((_:result,name,'cocum');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
The price range at cocum is expensive .
request((_:result,address,?);(_:result,type,'Restaurant'))
user
whats the address
inform((_:result,address,'71 castle street city centre');(_:result,name,'cocum');(_:result,type,'Restaurant'))
system
Sure , cocum is on 71 Castle Street City Centre
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'cocum');(_:result,phone,'01223 366668');(_:result,type,'Restaurant'))
system
The phone number of cocum is 01223 366668 .
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
whats the post code
inform((_:result,name,'cocum');(_:result,postcode,'c.b 3');(_:result,type,'Restaurant'))
system
The post code of cocum is C.B 3, 0 A.H
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:system greeted _:user
_:search area east
_:search type Restaurant
_:system greeted _:user
_:search area east
_:result name cocum
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search area east
_:search pricerange expensive
_:search type Restaurant
_:result name cocum
_:result pricerange expensive
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search area east
_:search pricerange expensive
_:search type Restaurant
_:result pricerange expensive
_:result address 71 castle street city centre
_:result name cocum
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search area east
_:search pricerange expensive
_:search type Restaurant
_:result pricerange expensive
_:result address 71 castle street city centre
_:result name cocum
_:result phone 01223 366668
_:result type Restaurant
_:result postcode ?
_:system greeted _:user
_:search area east
_:search pricerange expensive
_:search type Restaurant
_:result pricerange expensive
_:result address 71 castle street city centre
_:result phone 01223 366668
_:result name cocum
_:result postcode c.b 3
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system