inform((_:search,day,'tuesday');(_:search,type,'Train'))
user
Yes , I need a train for Tuesday .
request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What time of day would you like to travel , and to where ?
inform((_:search,arrive_by,'09:15');(_:search,day,'tuesday');(_:search,departure,'norwich');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm departing from Norwich on Tuesday and need to arrive in Cambridge by 09:15 .
inform((_:result,arrive_by,'08:35');(_:result,departure,'Norwich');(_:result,destination,'Cambridge');(_:result,id,'TR0339');(_:result,leave_at,'07:16');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR0339 leaves Norwich at 07:16 and arrives in Cambridge at 08:35 . Would you like me to book this train ?
request((_:result,duration,?);(_:result,type,'Train'))
user
Yes how long is the travel time ?
inform((_:result,duration,'79 minutes total');(_:result,type,'Train'))
system
Travel time will be 79 minutes total .
thank()
user
Great ! This information is all I need . Thank you for your help .
system
You are welcome . Have a nice day .
_:search day tuesday
_:search type Train
_:search leave_at ?
_:search arrive_by 09:15
_:search day tuesday
_:search departure norwich
_:search destination cambridge
_:search type Train
_:search leave_at ?
_:search arrive_by 09:15
_:search day tuesday
_:search departure norwich
_:search destination cambridge
_:search type Train
_:result arrive_by 08:35
_:result departure Norwich
_:result destination Cambridge
_:result id TR0339
_:result leave_at 07:16
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:search leave_at ?
_:search arrive_by 09:15
_:search day tuesday
_:search departure norwich
_:search destination cambridge
_:search type Train
_:result arrive_by 08:35
_:result departure Norwich
_:result destination Cambridge
_:result id TR0339
_:result leave_at 07:16
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 79 minutes total
_:result type Train