inform((_:search,area,'south');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'm looking for a nice , expensive restaurant on the south side of town .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'5');(_:result,type,'Restaurant'))
system
I have 5 restaurants that meet that criteria . Are you looking for a certain type of food ?
inform((_:search,day,'wednesday');(_:search,duration,'7:15');(_:search,people,'8');(_:search,type,'Restaurant'))
user
Can you find out if any of then can take a reservation at 7:15 pm on Wednesday for 8 people ?
select((_:result,food,'Chinese');(_:result,food,'Indian');(_:result,food,'Italian');(_:result,food,'Mexican');(_:result,type,'Restaurant')) inform((_:result,count,'4');(_:result,type,'Restaurant'))
system
I see that out of the five restaurants , four are able to accommodate your reservation . Would you prefer Chinese , Italian , Indian or Mexican cuisine ?
inform((_:search,food,'mexican');(_:search,type,'Restaurant'))
user
Mexican sounds good .
inform((_:booking,duration,'7:15:PM');(_:booking,ref,'X4TB06R2');(_:booking,type,'Booking'))
system
I have successfully booked it .   Your table will be reserved for 15 minutes starting at 7:15:PM . Your reference number is X4TB06R2 .
thank()
user
Perfect ! Thank you !
system
Great . Have a great mexican meal !
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:search food ?
_:result count 5
_:result type Restaurant
_:search day wednesday
_:search duration 7:15
_:search people 8
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:search day wednesday
_:search duration 7:15
_:search people 8
_:result food Chinese
_:result food Indian
_:result food Italian
_:result food Mexican
_:result count 4
_:result type Restaurant
_:search food mexican
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:search day wednesday
_:search duration 7:15
_:search people 8
_:result food Chinese
_:result food Indian
_:result food Italian
_:result food Mexican
_:result count 4
_:result type Restaurant
_:search food mexican
_:search type Restaurant
_:booking duration 7:15:PM
_:booking ref X4TB06R2
_:booking type Booking