inform((_:search,area,'west');(_:search,food,'thai');(_:search,type,'Restaurant'))
user
Can you help me find a good thai restaurant in the west ?
offer((_:booking,type,'Booking')) inform((_:result,name,'Sala Thong');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There is Sala Thong that 's expensive would you like me to book a table for you ?
user
Yes , that would be great .
request((_:booking,day,?);(_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
Can you please tell me how many people and what day and time you would like me to book it ?
inform((_:search,day,'thursday');(_:search,duration,'12:45');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Thursday at 12:45 for 7 people .
inform((_:booking,day,'Thursday');(_:booking,ref,'07CI497H');(_:booking,type,'Booking'))
system
I was able to book that for you for Thursday . Your reference number is 07CI497H .
thank()
user
thank you for your service
reqmore()
system
You are quite welcome . Do you need any further assistance ?
bye()
user
No , the reservation is all . Goodbye .
system
Thank you for using our services .
_:search area west
_:search food thai
_:search type Restaurant
_:search area west
_:search food thai
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result name Sala Thong
_:result pricerange expensive
_:result type Restaurant
_:search area west
_:search food thai
_:system offered _:booking
_:result name Sala Thong
_:result pricerange expensive
_:result type Restaurant
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day thursday
_:search duration 12:45
_:search people 7
_:search type Restaurant
_:search area west
_:search food thai
_:system offered _:booking
_:result name Sala Thong
_:result pricerange expensive
_:result type Restaurant
_:booking duration ?
_:booking people ?
_:search day thursday
_:search duration 12:45
_:search people 7
_:search type Restaurant
_:booking day Thursday
_:booking ref 07CI497H
_:booking type Booking
_:search area west
_:search food thai
_:system offered _:booking
_:result name Sala Thong
_:result pricerange expensive
_:result type Restaurant
_:booking duration ?
_:booking people ?
_:search day thursday
_:search duration 12:45
_:search people 7
_:search type Restaurant
_:booking day Thursday
_:booking ref 07CI497H
_:booking type Booking
_:system inquired _:user
_:user dismissed _:system