inform((_:search,day,'friday');(_:search,leave_at,'13:45');(_:search,type,'Train'))
user
Hi , I 'm looking for a train that leaves after 13:45 on Friday .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
No problem . Where is your departure area and destination ?
inform((_:search,departure,'cambridge');(_:search,destination,'stansted airport');(_:search,type,'Train'))
user
I need to go to stansted airport and will be departing from cambridge
inform((_:result,arrive_by,'15:08');(_:result,destination,'Stansted Airport');(_:result,id,'TR1316');(_:result,leave_at,'14:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The closest to 13:45 is 14:40 , which is the TR1316 . It arrives at Stansted Airport at 15:08 . Do you still want to book it ?
inform((_:search,people,'7');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , can you book it for 7 people and give me the reference number ?
inform((_:booking,category,'Train');(_:booking,ref,'FQB8ZKSP');(_:booking,ticket,'70.7 GBP');(_:booking,type,'Booking'))
system
Booked ! Reference number is FQB8ZKSP . You will pay 70.7 GBP at the station .
thank()
user
OK I got it . Thanks for your help .
system
Okay please call us again .
_:search day friday
_:search leave_at 13:45
_:search type Train
_:search day friday
_:search leave_at 13:45
_:search departure cambridge
_:search destination stansted airport
_:search type Train
_:search day friday
_:search leave_at 13:45
_:search departure cambridge
_:search destination stansted airport
_:result arrive_by 15:08
_:result destination Stansted Airport
_:result id TR1316
_:result leave_at 14:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:result ref ?
_:search day friday
_:search leave_at 13:45
_:search departure cambridge
_:search destination stansted airport
_:result arrive_by 15:08
_:result destination Stansted Airport
_:result id TR1316
_:result leave_at 14:40
_:result type Train
_:system offered _:booking
_:search people 7
_:search type Train
_:result ref ?
_:booking category Train
_:booking ref FQB8ZKSP
_:booking ticket 70.7 GBP
_:booking type Booking