inform((_:search,food,'korean');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'm looking for a Korean restaurant that 's expensive .
inform((_:result,name,'Little Seoul');(_:result,type,'Restaurant'))
system
Little Seoul is exactly what you 're looking for !
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
Is it in the centre of town ?
offer((_:booking,type,'Booking'))
system
Indeed it is . Would you like for me reserve you a table ?
inform((_:search,day,'wednesday');(_:search,duration,'12:00');(_:search,people,'8');(_:search,type,'Restaurant'))
user
Yes , please ! I need a table for 8 on Wednesday at 12:00 .
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
Hmm .   I 'm not able to book at that time .   Would you like to try another time or day ?
inform((_:search,day,'wednesday');(_:search,duration,'11:00');(_:search,type,'Restaurant'))
user
How about 11:00 on Wednesday instead ?
reqmore() inform((_:booking,day,'Wednesday');(_:booking,duration,'11:00');(_:booking,people,'8');(_:booking,ref,'PMZ9SEZP');(_:booking,type,'Booking'))
system
I was able to make your reservation for 8 at 11:00 on Wednesday . Your reference number is PMZ9SEZP . Do you need anything else ?
thank()
user
No . That will be everything today . Thank you .
system
Have a great day .
_:search food korean
_:search pricerange expensive
_:search type Restaurant
_:search food korean
_:search pricerange expensive
_:result name Little Seoul
_:result type Restaurant
_:search area centre
_:search type Restaurant
_:search food korean
_:search pricerange expensive
_:result name Little Seoul
_:result type Restaurant
_:search area centre
_:system offered _:booking
_:booking type Booking
_:search day wednesday
_:search duration 12:00
_:search people 8
_:search type Restaurant
_:search food korean
_:search pricerange expensive
_:result name Little Seoul
_:result type Restaurant
_:search area centre
_:system offered _:booking
_:search people 8
_:system canthelp _:booking/06a378b1
_:booking/06a378b1 type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search day wednesday
_:search duration 11:00
_:search type Restaurant
_:search food korean
_:search pricerange expensive
_:result name Little Seoul
_:result type Restaurant
_:search area centre
_:system offered _:booking
_:search people 8
_:system canthelp _:booking/06a378b1
_:booking/06a378b1 type Booking
_:search day wednesday
_:search duration 11:00
_:search type Restaurant
_:system inquired _:user
_:booking day Wednesday
_:booking duration 11:00
_:booking people 8
_:booking ref PMZ9SEZP
_:booking type Booking