inform((_:search,day,'saturday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
i am   looking for a train . The train should leave on Saturday and should depart from Cambridge .
thank() request((_:search,destination,?);(_:search,type,'Train'))
system
I can help with that ! Where will you be traveling to ?
inform((_:search,day,'tuesday');(_:search,destination,'stansted airport');(_:search,type,'Train'))
user
Make that Tuesday .   And I need to go to Stansted Airport .
inform((_:result,day,'tuesday');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Okay , I changed the day of travel to tuesday for you . Do you know what time you might want to leave after or arrive by ?
inform((_:search,arrive_by,'19:30');(_:search,type,'Train'))
user
I want to arrive by 19:30 please
inform((_:result,arrive_by,'19:08');(_:result,id,'TR9495');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR9495 arrives at 19:08 . Would you like to purchase tickets ?
thank()
user
No thanks , that 's actually all the info I needed from you today . Thank you !
system
Okay , great . Call us back if you need anything else . Goodbye .
_:search day saturday
_:search departure cambridge
_:search type Train
_:search departure cambridge
_:search day tuesday
_:search destination stansted airport
_:search type Train
_:search departure cambridge
_:search day tuesday
_:search destination stansted airport
_:result day tuesday
_:result type Train
_:search leave_at ?
_:search arrive_by 19:30
_:search type Train
_:search departure cambridge
_:search day tuesday
_:search destination stansted airport
_:result day tuesday
_:search leave_at ?
_:search arrive_by 19:30
_:search type Train
_:result arrive_by 19:08
_:result id TR9495
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking