inform((_:search,name,'city stop restaurant');(_:search,type,'Restaurant'))
user
I 'm looking for a particular restaurant . Its name is called city stop restaurant .
reqmore() inform((_:result,area,'north');(_:result,food,'European');(_:result,name,'City Stop');(_:result,type,'Restaurant'))
system
City Stop is located in the north of the city , and serves European food . May I help with anything else ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
What is the postcode and their phone number ?
offer((_:booking,type,'Booking')) inform((_:result,name,'City stop');(_:result,phone,'01223363270');(_:result,postcode,'cb41uy');(_:result,type,'Restaurant'))
system
City stop 's post code is cb41uy and they can be reached at 01223363270 . Would you like a reservation ?
thank()
user
Nope , that 's all I needed today . Thanks for you help !
system
You are welcome and enjoy your   Stay
_:search name city stop restaurant
_:search type Restaurant
_:search name city stop restaurant
_:search type Restaurant
_:system inquired _:user
_:result area north
_:result food European
_:result name City Stop
_:result type Restaurant
_:result phone ?
_:result postcode ?
_:search name city stop restaurant
_:search type Restaurant
_:system inquired _:user
_:result area north
_:result food European
_:system offered _:booking
_:booking type Booking
_:result name City stop
_:result phone 01223363270
_:result postcode cb41uy
_:result type Restaurant