inform((_:search,arrive_by,'17:15');(_:search,destination,'peterborough');(_:search,type,'Train'))
user
I need a train to Peterborough that will be there no later than 17:15 .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
I have several choices , do you have a time for your departure ?
inform((_:search,destination,'peterborough');(_:search,type,'Train'))
user
I am looking for a train arriving in Peterborough .
request((_:search,departure,?);(_:search,type,'Train'))
system
And where will you be leaving from ?
inform((_:search,day,'sunday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I 'll be leaving Cambridge on Sunday .
inform((_:result,arrive_by,'16:56');(_:result,destination,'Peterborough');(_:result,id,'TR1086');(_:result,leave_at,'16:06');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have train TR1086 that leaves at 16:06 and will have you in Peterborough at 16:56 . Would this work for you ?
user
Yes , that will be fine can you get me a ticket ?
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets will you need ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
I need 7 tickets .
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR1086');(_:booking,people,'7');(_:booking,ref,'IJ6ZQ2GF');(_:booking,ticket,'92.4 GBP');(_:booking,type,'Booking'))
system
I 've booked you 7 tickets on the TR1086 . Your reference is IJ6ZQ2GF and the total fee of 92.4 GBP is payable at the station . Can I help you with anything else ?
inform((_:search,type,'Hotel'))
user
I am also looking for a place to stay .
system
sure , in what area of town ?
_:search arrive_by 17:15
_:search destination peterborough
_:search type Train
_:search arrive_by 17:15
_:result amount several
_:result type Train
_:search leave_at ?
_:search destination peterborough
_:search type Train
_:search arrive_by 17:15
_:result amount several
_:result type Train
_:search leave_at ?
_:search destination peterborough
_:search day sunday
_:search departure cambridge
_:search type Train
_:search arrive_by 17:15
_:result amount several
_:search leave_at ?
_:search destination peterborough
_:search day sunday
_:search departure cambridge
_:search type Train
_:result arrive_by 16:56
_:result destination Peterborough
_:result id TR1086
_:result leave_at 16:06
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 17:15
_:result amount several
_:search leave_at ?
_:search destination peterborough
_:search day sunday
_:search departure cambridge
_:result arrive_by 16:56
_:result destination Peterborough
_:result id TR1086
_:result leave_at 16:06
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:search arrive_by 17:15
_:result amount several
_:search leave_at ?
_:search destination peterborough
_:search day sunday
_:search departure cambridge
_:result arrive_by 16:56
_:result destination Peterborough
_:result id TR1086
_:result leave_at 16:06
_:result type Train
_:system offered _:booking
_:search people 7
_:system inquired _:user
_:booking category Train
_:booking id TR1086
_:booking people 7
_:booking ref IJ6ZQ2GF
_:booking ticket 92.4 GBP
_:booking type Booking
_:search type Hotel