inform((_:search,area,'west');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I am looking for a restaurant that is expensive and in the west
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'9');(_:result,type,'Restaurant'))
system
There are 9 matching restaurants . What food would you like ?
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
I would really like to try some British food please .
reqmore() inform((_:result,count,'2');(_:result,type,'Restaurant'))
system
I have 2 matching restaurants .   Would you like more details on them ?
inform((_:search,day,'saturday');(_:search,type,'Restaurant'))
user
No , if you could just book me into one for saturday , that would be great .
request((_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
Ok , how many people and what is the time preference ?
inform((_:search,day,'saturday');(_:search,duration,'13:30');(_:search,people,'four');(_:search,type,'Restaurant'))
user
I need if for four , 13:30 , Saturday .
reqmore() inform((_:booking,name,'Travellers Rest');(_:booking,ref,'A5LK844G');(_:booking,type,'Booking'))
system
Sure , you 're booked at Travellers Rest with reference number A5LK844G . May I help with anything else ?
user
Okay great no that will be it .
system
Okay . Glad I could be of help . Please call again .
_:search area west
_:search pricerange expensive
_:search type Restaurant
_:search area west
_:search pricerange expensive
_:result count 9
_:result type Restaurant
_:search food british
_:search type Restaurant
_:search area west
_:search pricerange expensive
_:search food british
_:system inquired _:user
_:result count 2
_:result type Restaurant
_:search day saturday
_:search type Restaurant
_:search area west
_:search pricerange expensive
_:search food british
_:system inquired _:user
_:result count 2
_:result type Restaurant
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day saturday
_:search duration 13:30
_:search people four
_:search type Restaurant
_:search area west
_:search pricerange expensive
_:search food british
_:result count 2
_:result type Restaurant
_:booking duration ?
_:booking people ?
_:search day saturday
_:search duration 13:30
_:search people four
_:search type Restaurant
_:system inquired _:user
_:booking name Travellers Rest
_:booking ref A5LK844G
_:booking type Booking