inform((_:search,day,'monday');(_:search,leave_at,'10:45');(_:search,type,'Train'))
user
I need a train on Monday , leaving after 10:45 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where will you be departing from and what is your destination ?
inform((_:search,departure,'birmingham new street');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I want to go to Cambridge from Birmingham New Street .
inform((_:result,id,'TR1028');(_:result,leave_at,'11:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
We have the TR1028 leaving at 11:01 . Does that work ?
request((_:result,arrive_by,?);(_:result,duration,?);(_:result,type,'Train'))
user
When does it arrive ? And what is the total travel time , please ?
inform((_:result,duration,'2 hour and 43 minute trip');(_:result,leave_at,'1:44 in the afternoon');(_:result,type,'Train'))
system
It arrives at 1:44 in the afternoon and it is a 2 hour and 43 minute trip .
thank()
user
Great ! Thanks for your help . Goodbye !
system
You 're welcome . Happy to help . Have a good day .
_:search day monday
_:search leave_at 10:45
_:search type Train
_:search day monday
_:search leave_at 10:45
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:search day monday
_:search leave_at 10:45
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:result id TR1028
_:result leave_at 11:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by ?
_:result duration ?
_:search day monday
_:search leave_at 10:45
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:result id TR1028
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by ?
_:result duration 2 hour and 43 minute trip
_:result leave_at 1:44 in the afternoon
_:result type Train