inform((_:search,arrive_by,'9:30');(_:search,destination,'leicester');(_:search,type,'Train'))
user
Hello ! I 'd like a train to Leicester , please . I want to arrive by 9:30 .
request((_:search,day,?);(_:search,type,'Train'))
system
What day would you be leaving ?
inform((_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need to leave cambridge on tuesday .
inform((_:result,arrive_by,'09:06');(_:result,departure,'Cambridge');(_:result,destination,'Leicester');(_:result,duration,'105 minutes');(_:result,id,'TR2863');(_:result,leave_at,'07:21');(_:result,ticket,'37.80 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR2863 leaves Cambridge at 07:21 and arrives in Leicester at 09:06 , costs 37.80 pounds and has a travel length of 105 minutes . Shall I book it for you ?
thank()
user
No , I just needed the information , thank you .
thank()
system
Ok have a safe trip .
thank()
user
Thank you for your assistance .
system
Your very welcome . Have a good day !
_:search arrive_by 9:30
_:search destination leicester
_:search type Train
_:search arrive_by 9:30
_:search destination leicester
_:search day tuesday
_:search departure cambridge
_:search type Train
_:search arrive_by 9:30
_:search destination leicester
_:search day tuesday
_:search departure cambridge
_:search type Train
_:result arrive_by 09:06
_:result departure Cambridge
_:result destination Leicester
_:result duration 105 minutes
_:result id TR2863
_:result leave_at 07:21
_:result ticket 37.80 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 9:30
_:search destination leicester
_:search day tuesday
_:search departure cambridge
_:search type Train
_:result arrive_by 09:06
_:result departure Cambridge
_:result destination Leicester
_:result duration 105 minutes
_:result id TR2863
_:result leave_at 07:21
_:result ticket 37.80 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking