inform((_:search,type,'Train'))
user
Can you help me book some train tickets ?
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train')) thank()
system
Sure ! Where are you departing from and what is your destination ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I am leaving from Cambridge .
request((_:search,day,?);(_:search,destination,?);(_:search,type,'Train'))
system
I 'll need to get some more information . Can you tell me your destination and when you will be travelling ?
inform((_:search,day,'thursday');(_:search,destination,'bishops stortford');(_:search,leave_at,'12:45');(_:search,type,'Train'))
user
I am going to bishops stortford at 12:45 on thursday .
inform((_:result,departure,'bishops stortford');(_:result,leave_at,'12:45');(_:result,type,'Train'))
system
You would like to leave bishops stortford at 12:45 ?
inform((_:search,day,'thursday');(_:search,people,'3');(_:search,type,'Train'))
user
Yes , on Thursday . Can you book me a train for 3 people please ?
system
Okay the TR 2929 leaves at 11:29 and arrives at 12:07 . Would you like me to book this ?
_:search type Train
_:search destination ?
_:search departure cambridge
_:search type Train
_:search departure cambridge
_:search day thursday
_:search destination bishops stortford
_:search leave_at 12:45
_:search type Train
_:search departure cambridge
_:search destination bishops stortford
_:search leave_at 12:45
_:result departure bishops stortford
_:result leave_at 12:45
_:result type Train
_:search day thursday
_:search people 3
_:search type Train