inform((_:search,destination,'leicester');(_:search,type,'Train'))
user
Wow , sounds like you might be able to help me then . Can you find me a train going into Leicester ?
inform((_:result,amount,'many');(_:result,destination,'Leicester');(_:result,type,'Train')) request((_:search,departure,?);(_:search,type,'Train'))
system
Certainly , there are many trains going to Leicester . Where is your departure location ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I will need to leave from Cambridge .
request((_:search,day,?);(_:search,type,'Train'))
system
When would you like to travel ?
inform((_:search,day,'thursday');(_:search,type,'Train'))
user
I would like to travel on a Thursday .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Okay , and is there a particular departure or arrival time you prefer ?
inform((_:search,arrive_by,'17:45');(_:search,type,'Train'))
user
I just need to arrive by 17:45
inform((_:result,arrive_by,'17:06');(_:result,departure,'Cambridge');(_:result,destination,'Leicester');(_:result,id,'TR9839');(_:result,leave_at,'15:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have train TR9839 that leaves Cambridge at 15:21 and arrives in Leicester at 17:06 . Would that suit your needs ? If so , I can book you a ticket .
request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
What is the total travel time and price on that ?
inform((_:result,duration,'105 minutes');(_:result,ticket,'37.80 pounds');(_:result,type,'Train'))
system
Price is 37.80 pounds and travel time is 105 minutes .
thank()
user
That sounds perfect . Thanks for all your help .
offer((_:booking,category,'Train');(_:booking,type,'Booking')) thank()
system
You 're very welcome . Would you like me to book a ticket for you on that train ?
thank()
user
That 's not needed . Thank you !
system
Okay . Have a great day !
_:search destination leicester
_:search type Train
_:search destination leicester
_:result amount many
_:result destination Leicester
_:result type Train
_:search departure cambridge
_:search type Train
_:search destination leicester
_:result amount many
_:result destination Leicester
_:result type Train
_:search departure cambridge
_:search day thursday
_:search type Train
_:search destination leicester
_:result amount many
_:result destination Leicester
_:result type Train
_:search departure cambridge
_:search day thursday
_:search leave_at ?
_:search arrive_by 17:45
_:search type Train
_:search destination leicester
_:result amount many
_:search departure cambridge
_:search day thursday
_:search leave_at ?
_:search arrive_by 17:45
_:search type Train
_:result arrive_by 17:06
_:result departure Cambridge
_:result destination Leicester
_:result id TR9839
_:result leave_at 15:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result ticket ?
_:search destination leicester
_:result amount many
_:search departure cambridge
_:search day thursday
_:search leave_at ?
_:search arrive_by 17:45
_:search type Train
_:result arrive_by 17:06
_:result departure Cambridge
_:result destination Leicester
_:result id TR9839
_:result leave_at 15:21
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 105 minutes
_:result ticket 37.80 pounds
_:result type Train
_:search destination leicester
_:result amount many
_:search departure cambridge
_:search day thursday
_:search leave_at ?
_:search arrive_by 17:45
_:search type Train
_:result arrive_by 17:06
_:result departure Cambridge
_:result destination Leicester
_:result id TR9839
_:result leave_at 15:21
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 105 minutes
_:result ticket 37.80 pounds
_:result type Train