inform((_:search,name,'charlie chan');(_:search,type,'Restaurant'))
user
I am looking for a restaurant called Charlie Chan
offer((_:booking,type,'Booking')) inform((_:result,address,'Regent Street City Center');(_:result,name,'Charlie Chan');(_:result,type,'Restaurant'))
system
I found Charlie Chan on Regent Street City Center . Can I book that for you ?
inform((_:search,day,'thursday');(_:search,duration,'12:45');(_:search,people,'1');(_:search,type,'Restaurant'))
user
yes please , for 1 person at 12:45 on Thursday , thank you
inform((_:booking,ref,'NL81FN41');(_:booking,type,'Booking'))
system
You 're all set ! The reference number is NL81FN41
inform((_:search,day,'thursday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Thanks ! I also need a train to Cambridge on Thursday . Can you help me with that ?
request((_:search,arrive_by,?);(_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Can you tell me your departure station and a time you 'd like to either leave or arrive ?
inform((_:search,arrive_by,'9:45');(_:search,departure,'kings lynn');(_:search,type,'Train'))
user
I am looking to leave Kings Lynn station and arrive by 9:45
inform((_:result,arrive_by,'9:45');(_:result,count,'4');(_:result,type,'Train')) offer((_:booking,arrive_by,'8:58');(_:booking,category,'Train');(_:booking,id,'TR8705');(_:booking,leave_at,'8:11');(_:booking,type,'Booking'))
system
I have 4 trains that arrive before 9:45 . Would you like me to book TR8705 which leaves at 8:11 and arrives at 8:58
request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
What 's the price and travel time for that train ?
inform((_:result,arrive_by,'8:58');(_:result,duration,'47 minutes');(_:result,leave_at,'8:11');(_:result,ticket,'9.80 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The price is 9.80 pounds and will leave at 8:11 and arrive at 8:58 , which is 47 minutes travel time . Would you like to book a seat ?
user
Yes , that sounds good .
request((_:search,people,?);(_:search,type,'Train'))
system
Is this also just for one person ?
thank()
user
Actually hold off on booking for now .   Thank you for your help .
thank() reqmore()
system
You are welcome . Is there anything else I can do for you ?
thank()
user
No , that will be all . Thank you for all your assistance .
system
You 're welcome ! Let me know if I can help with anything else .
_:search name charlie chan
_:search type Restaurant
_:search name charlie chan
_:system offered _:booking
_:booking type Booking
_:result address Regent Street City Center
_:result name Charlie Chan
_:result type Restaurant
_:search day thursday
_:search duration 12:45
_:search people 1
_:search type Restaurant
_:search name charlie chan
_:system offered _:booking
_:result address Regent Street City Center
_:result name Charlie Chan
_:result type Restaurant
_:search duration 12:45
_:search people 1
_:booking ref NL81FN41
_:booking type Booking
_:search day thursday
_:search destination cambridge
_:search type Train
_:search name charlie chan
_:system offered _:booking
_:result address Regent Street City Center
_:result name Charlie Chan
_:result type Restaurant
_:search duration 12:45
_:search people 1
_:booking ref NL81FN41
_:booking type Booking
_:search day thursday
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 9:45
_:search departure kings lynn
_:search type Train
_:search name charlie chan
_:system offered _:booking
_:result address Regent Street City Center
_:result name Charlie Chan
_:search duration 12:45
_:search people 1
_:booking ref NL81FN41
_:booking type Booking
_:search day thursday
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 9:45
_:search departure kings lynn
_:search type Train
_:result arrive_by 9:45
_:result count 4
_:result type Train
_:booking arrive_by 8:58
_:booking category Train
_:booking id TR8705
_:booking leave_at 8:11
_:result duration ?
_:result ticket ?
_:search name charlie chan
_:system offered _:booking
_:result address Regent Street City Center
_:result name Charlie Chan
_:search duration 12:45
_:search people 1
_:booking ref NL81FN41
_:booking type Booking
_:search day thursday
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 9:45
_:search departure kings lynn
_:search type Train
_:result count 4
_:booking arrive_by 8:58
_:booking category Train
_:booking id TR8705
_:booking leave_at 8:11
_:result arrive_by 8:58
_:result duration 47 minutes
_:result leave_at 8:11
_:result ticket 9.80 pounds
_:result type Train
_:search name charlie chan
_:system offered _:booking
_:result address Regent Street City Center
_:result name Charlie Chan
_:search duration 12:45
_:booking ref NL81FN41
_:booking type Booking
_:search day thursday
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 9:45
_:search departure kings lynn
_:result count 4
_:booking arrive_by 8:58
_:booking category Train
_:booking id TR8705
_:booking leave_at 8:11
_:result arrive_by 8:58
_:result duration 47 minutes
_:result leave_at 8:11
_:result ticket 9.80 pounds
_:result type Train
_:search people ?
_:search type Train
_:search name charlie chan
_:system offered _:booking
_:result address Regent Street City Center
_:result name Charlie Chan
_:search duration 12:45
_:booking ref NL81FN41
_:booking type Booking
_:search day thursday
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 9:45
_:search departure kings lynn
_:result count 4
_:booking arrive_by 8:58
_:booking category Train
_:booking id TR8705
_:booking leave_at 8:11
_:result arrive_by 8:58
_:result duration 47 minutes
_:result leave_at 8:11
_:result ticket 9.80 pounds
_:result type Train
_:search people ?
_:search type Train
_:system inquired _:user