inform((_:search,departure,'london kings cross');(_:search,leave_at,'14:15');(_:search,type,'Train'))
user
am looking for a train , it should leave after 14:15 and should depart from london kings cross
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Is your destination Cambridge or another location ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
Yes , my destination is cambridge .
inform((_:result,day,'Friday');(_:result,id,'TR8842');(_:result,leave_at,'15:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,day,?);(_:search,type,'Train'))
system
What day would you like that train ?   The TR8842 train departs Friday at 15:17 would you like me to book ?
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
I need the arrival time
inform((_:result,arrive_by,'16:08');(_:result,type,'Train'))
system
The arrival time is 16:08 .
bye()
user
Thanks , that 's all . Good bye .
system
welcome again some other time
_:search departure london kings cross
_:search leave_at 14:15
_:search type Train
_:search leave_at 14:15
_:search departure ?
_:search destination cambridge
_:search type Train
_:search leave_at 14:15
_:search departure ?
_:search destination cambridge
_:result day Friday
_:result id TR8842
_:result leave_at 15:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day ?
_:search type Train
_:result arrive_by ?
_:search leave_at 14:15
_:search departure ?
_:search destination cambridge
_:result day Friday
_:result id TR8842
_:result leave_at 15:17
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day ?
_:search type Train
_:result arrive_by 16:08
_:result type Train
_:user dismissed _:system