inform((_:search,food,'indian');(_:search,type,'Restaurant'))
user
I am looking for a high end Indian restaurant , are there any in town ?
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,count,'14');(_:result,food,'Indian');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are 14 expensive Indian restaurants in Cambridge . Is there an area of town that you prefer ?
inform((_:search,area,'west');(_:search,type,'Restaurant'))
user
The restaurant should be in the west .
offer((_:booking,type,'Booking')) inform((_:result,name,'Tandoori Palace');(_:result,type,'Restaurant'))
system
The Tandoori Palace sounds like just what you are looking for .   Would you like a reservation ?
inform((_:search,day,'saturday');(_:search,duration,'19:15');(_:search,people,'1');(_:search,type,'Restaurant'))
user
Yes please for 1 person saturday at 19:15 please .
reqmore() inform((_:booking,ref,'NGOQ9J96');(_:booking,type,'Booking'))
system
All right , I 've made your reservation . The reference number is NGOQ9J96 . Is there anything else I can help you with ?
thank()
user
Nope , that 's all . Thank you for your help !
system
You are welcome , enjoy your dinner !
_:search food indian
_:search type Restaurant
_:search food indian
_:result count 14
_:result food Indian
_:result pricerange expensive
_:result type Restaurant
_:search area west
_:search type Restaurant
_:search food indian
_:result count 14
_:result food Indian
_:result pricerange expensive
_:search area west
_:system offered _:booking
_:booking type Booking
_:result name Tandoori Palace
_:result type Restaurant
_:search day saturday
_:search duration 19:15
_:search people 1
_:search type Restaurant
_:search food indian
_:result count 14
_:result food Indian
_:result pricerange expensive
_:search area west
_:system offered _:booking
_:result name Tandoori Palace
_:result type Restaurant
_:search day saturday
_:search duration 19:15
_:search people 1
_:search type Restaurant
_:system inquired _:user
_:booking ref NGOQ9J96
_:booking type Booking