inform((_:search,leave_at,'8');(_:search,type,'Train'))
user
Hello , I need a train to come in at 8 am .
request((_:search,destination,?);(_:search,type,'Train'))
system
Where would you like the train to take you ?
inform((_:search,arrive_by,'8:00');(_:search,day,'saturday');(_:search,departure,'cambridge');(_:search,destination,'kings lynn');(_:search,type,'Train'))
user
I need to leave from cambridge and get to Kings Lynn by 8:00 on Saturday .
inform((_:result,id,'TR2973');(_:result,type,'Train'))
system
The TR2973 leaves from cambridge on Saturday at 07:11 and arrives at kings lynn at 07:58 . If you want one that leaves more time there is one an hour earlier .
inform((_:search,people,'7');(_:search,type,'Train'))
user
That one will work , can you get me 7 tickets please ?
reqmore() inform((_:booking,category,'Train');(_:booking,people,'D2D4VN6F');(_:booking,ticket,'62.72 GBP');(_:booking,type,'Booking'))
system
Alright , I 've booked that and it was successful . Your Reference number is D2D4VN6F and the total fee is 62.72 GBP . Anything else ?
bye()
user
That 's all for today . Have a great one !
system
Thank you , you have a great day as well . Let me know if you need help with anything else .
_:search leave_at 8
_:search type Train
_:search leave_at 8
_:search arrive_by 8:00
_:search day saturday
_:search departure cambridge
_:search destination kings lynn
_:search type Train
_:search leave_at 8
_:search arrive_by 8:00
_:search day saturday
_:search departure cambridge
_:search destination kings lynn
_:result id TR2973
_:result type Train
_:search people 7
_:search type Train
_:search leave_at 8
_:search arrive_by 8:00
_:search day saturday
_:search departure cambridge
_:search destination kings lynn
_:result id TR2973
_:result type Train
_:search people 7
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking people D2D4VN6F
_:booking ticket 62.72 GBP
_:booking type Booking
_:user dismissed _:system