inform((_:search,name,'city stop restaurant');(_:search,type,'Restaurant'))
user
I am looking for a particular restaurant called city stop restaurant .
offer((_:booking,type,'Booking')) inform((_:result,area,'north');(_:result,food,'european');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
It is an expensive european restaurant in the north part of town . Would you like to make a booking ?
inform((_:search,day,'thursday');(_:search,duration,'17:30');(_:search,people,'4');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes , I would . Please reserve a table for 4 at 17:30 on Thursday . I would like the reference number as well , please .
inform((_:booking,day,'Thursday');(_:booking,duration,'17:30');(_:booking,people,'4');(_:booking,ref,'VLG5U01Z');(_:booking,type,'Booking'))
system
Alright , I 've booked a table for 4 at 17:30 on Thursday . Your reference number is VLG5U01Z .
thank()
user
Thanks , that 's all I need . Have a nice day .
system
You too , enjoy your meal !
_:search name city stop restaurant
_:search type Restaurant
_:search name city stop restaurant
_:system offered _:booking
_:booking type Booking
_:result area north
_:result food european
_:result pricerange expensive
_:result type Restaurant
_:search day thursday
_:search duration 17:30
_:search people 4
_:search type Restaurant
_:result ref ?
_:search name city stop restaurant
_:system offered _:booking
_:result area north
_:result food european
_:result pricerange expensive
_:result type Restaurant
_:search day thursday
_:search duration 17:30
_:search people 4
_:search type Restaurant
_:result ref ?
_:booking day Thursday
_:booking duration 17:30
_:booking people 4
_:booking ref VLG5U01Z
_:booking type Booking