inform((_:search,arrive_by,'12:30');(_:search,day,'wednesday');(_:search,type,'Train'))
user
I need a train that leaves on Wednesday with an arrival of 12:30 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where will you be travelling to and from ?
inform((_:search,departure,'cambridge');(_:search,destination,'london liverpool street');(_:search,type,'Train'))
user
I 'm traveling from Cambridge to the London Liverpool Street .
inform((_:result,arrive_by,'07:27');(_:result,id,'TR1047');(_:result,leave_at,'05:59');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR1047 leaves at 05:59 and arrives by 07:27 .   Is that alright ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
Yes , that sounds fine .   I need 7 tickets please .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'8BGCYRD5');(_:booking,ticket,'132.8 GBP');(_:booking,type,'Booking'))
system
Great . The reference number is 8BGCYRD5 and the total fee is 132.8 GBP . Can I help with anything else ?
thank()
user
Thanks , that 's all I need . Have a nice day .
system
You 're very welcome . Have a safe trip !
_:search arrive_by 12:30
_:search day wednesday
_:search type Train
_:search arrive_by 12:30
_:search day wednesday
_:search departure cambridge
_:search destination london liverpool street
_:search type Train
_:search arrive_by 12:30
_:search day wednesday
_:search departure cambridge
_:search destination london liverpool street
_:result arrive_by 07:27
_:result id TR1047
_:result leave_at 05:59
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:search arrive_by 12:30
_:search day wednesday
_:search departure cambridge
_:search destination london liverpool street
_:result arrive_by 07:27
_:result id TR1047
_:result leave_at 05:59
_:result type Train
_:system offered _:booking
_:search people 7
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref 8BGCYRD5
_:booking ticket 132.8 GBP
_:booking type Booking