inform((_:search,leave_at,'11:45');(_:search,type,'Train'))
user
I am looking for a train leaving after 11:45
request((_:search,day,?);(_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
OK , what are your departure and arrival stations , and what day are you traveling ?
inform((_:search,day,'friday');(_:search,departure,'stansted airport');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'll be leaving Stansted Airport Friday to head toward Cambridge .
inform((_:result,arrive_by,'12:52');(_:result,leave_at,'12:24');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
Ok , I have the first available train leaving at 12:24 and arriving at 12:52 . Would that train work for you or would you like to leave later than that ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
That would work for me can I get a train for 7 people ?
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR1387');(_:booking,ref,'78BZSVSW');(_:booking,ticket,'70.7 GBP');(_:booking,type,'Booking'))
system
Yes , you 're booked on TR1387 with reference number 78BZSVSW . The total fee is 70.7 GBP payable at the station . Anything else I can help you with ?
thank()
user
That is all . Thank you so much !
system
Okay ! Glad I could be of help .
_:search leave_at 11:45
_:search type Train
_:search leave_at 11:45
_:search day friday
_:search departure stansted airport
_:search destination cambridge
_:search type Train
_:search day friday
_:search departure stansted airport
_:search destination cambridge
_:result arrive_by 12:52
_:result leave_at 12:24
_:result type Train
_:search leave_at ?
_:search people 7
_:search type Train
_:search day friday
_:search departure stansted airport
_:search destination cambridge
_:result arrive_by 12:52
_:result leave_at 12:24
_:result type Train
_:search leave_at ?
_:search people 7
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking id TR1387
_:booking ref 78BZSVSW
_:booking ticket 70.7 GBP
_:booking type Booking