inform((_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need a train leaving from cambridge and should leave on tuesday .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
There are several trains that may suit your needs . Do you have a particular destination in mind ?
inform((_:search,arrive_by,'11:00');(_:search,destination,'kings lynn');(_:search,type,'Train'))
user
I would like one going to Kings Lynn and should arrive by 11:00
inform((_:result,arrive_by,'10:58');(_:result,destination,'Kings Lynn');(_:result,id,'TR7548');(_:result,leave_at,'10:11');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
My last train of the day for Kings Lynn is TR7548 which departs at 10:11 and arrives by 10:58 . Would that work for you ?
thank()
user
Yes , that 's fine , thank you ! That 's all I need .
bye()
system
Thank you for using our service today .
bye() thank()
user
it has been my pleasure .
bye()
system
Thank you for using our service . Have a great night . Goodbye .
inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
I 'm sorry , I am also looking for an attraction in the town centre . Can you locate anything architectural ?
system
The Holy Trinity Church on Market Street is a great attraction that meets your needs . Does that sound good ?
_:search day tuesday
_:search departure cambridge
_:search type Train
_:search day tuesday
_:search departure cambridge
_:result amount several
_:result type Train
_:search arrive_by 11:00
_:search destination kings lynn
_:search type Train
_:search day tuesday
_:search departure cambridge
_:result amount several
_:search arrive_by 11:00
_:result arrive_by 10:58
_:result destination Kings Lynn
_:result id TR7548
_:result leave_at 10:11
_:result type Train
_:search destination ?
_:search type Train
_:search day tuesday
_:search departure cambridge
_:result amount several
_:search arrive_by 11:00
_:result arrive_by 10:58
_:result destination Kings Lynn
_:result id TR7548
_:result leave_at 10:11
_:result type Train
_:search destination ?
_:search type Train
_:system dismissed _:user
_:user dismissed _:system
_:search day tuesday
_:search departure cambridge
_:result amount several
_:search arrive_by 11:00
_:result arrive_by 10:58
_:result destination Kings Lynn
_:result id TR7548
_:result leave_at 10:11
_:result type Train
_:search destination ?
_:user dismissed _:system
_:system dismissed _:user
_:search area centre
_:search type Attraction