inform((_:search,type,'Restaurant'))
user
Hi ! Can you help me find a particular restaurant ?
request((_:search,name,?);(_:search,type,'Restaurant')) inform((_:result,count,'110');(_:result,type,'Restaurant'))
system
Of course , there are 110 restaurants in town . Would you like me to search by restaurant name ?
inform((_:search,name,'varsity restaurant');(_:search,type,'Restaurant'))
user
Yes , I am looking for the Varsity Restaurant .
offer((_:booking,type,'Booking')) inform((_:result,area,'center');(_:result,food,'international');(_:result,name,'Varsity Restaurant');(_:result,type,'Restaurant'))
system
The Varsity Restaurant serves international food in the center of town . Do you want me to book it for you ?
inform((_:search,day,'saturday');(_:search,duration,'15:15');(_:search,people,'4');(_:search,type,'Restaurant'))
user
Yes , can I get a table for 4 on saturday at 15:15 ?
inform((_:booking,day,'Saturday');(_:booking,duration,'15:15');(_:booking,people,'4');(_:booking,type,'Booking'))
system
Yes , I will book a table for 4 on Saturday at 15:15 .
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Excellent . I 'll need the reference number .
system
unfortunately they are filled up for that time would you like me to reserve another time or would you like to choose another restaurant .
_:search type Restaurant
_:result count 110
_:result type Restaurant
_:search name varsity restaurant
_:search type Restaurant
_:result count 110
_:search name varsity restaurant
_:system offered _:booking
_:booking type Booking
_:result area center
_:result food international
_:result name Varsity Restaurant
_:result type Restaurant
_:search day saturday
_:search duration 15:15
_:search people 4
_:search type Restaurant
_:result count 110
_:search name varsity restaurant
_:system offered _:booking
_:result area center
_:result food international
_:result name Varsity Restaurant
_:result type Restaurant
_:search day saturday
_:search duration 15:15
_:search people 4
_:search type Restaurant
_:booking day Saturday
_:booking duration 15:15
_:booking people 4
_:booking type Booking
_:result ref ?