inform((_:search,destination,'london liverpool street');(_:search,leave_at,'10:00');(_:search,type,'Train'))
user
I 'd like a train to London Liverpool Street that leaves after 10:00 .
inform((_:result,type,'Train')) thank()
system
OK , let me see what I can find .
inform((_:search,day,'friday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I will be leaving from Cambridge on Friday .
offer((_:booking,category,'Train');(_:booking,id,'TR1750');(_:booking,leave_at,'11:59');(_:booking,type,'Booking'))
system
TR1750 leaves at 11:59 would that work for you ?
inform((_:search,people,'5');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes . Can you book it for 5 people and can I have the reference number please ?
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'8W9IC5MU');(_:booking,ticket,'83 GBP');(_:booking,type,'Booking'))
system
Of course . The reference number is 8W9IC5MU and the total is 83 GBP . Can I help with anything else ?
thank()
user
No , that will be all . Thank you .
system
Okay ! Thanks for using our service .
_:search destination london liverpool street
_:search leave_at 10:00
_:search type Train
_:search destination london liverpool street
_:search leave_at 10:00
_:result type Train
_:search day friday
_:search departure cambridge
_:search type Train
_:search destination london liverpool street
_:search leave_at 10:00
_:result type Train
_:search day friday
_:search departure cambridge
_:system offered _:booking
_:booking category Train
_:booking id TR1750
_:booking leave_at 11:59
_:booking type Booking
_:search people 5
_:search type Train
_:result ref ?
_:search destination london liverpool street
_:search leave_at 10:00
_:result type Train
_:search day friday
_:search departure cambridge
_:system offered _:booking
_:booking id TR1750
_:booking leave_at 11:59
_:search people 5
_:search type Train
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 8W9IC5MU
_:booking ticket 83 GBP
_:booking type Booking