inform((_:search,departure,"king 's lynn");(_:search,leave_at,'13:45');(_:search,type,'Train'))
user
I need a train leaving King 's Lynn after 13:45 .
request((_:search,day,?);(_:search,type,'Train'))
system
What day will you be traveling ?
inform((_:search,day,'wednesday');(_:search,type,'Train'))
user
This will be for wednesday .
inform((_:result,duration,'47 minutes');(_:result,id,'TR9057');(_:result,ticket,'9.80 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is TR9057   Which   is at 9.80 pounds and takes 47 minutes . will you book that ?
thank()
user
No thank you . I do not need to book right now .
system
you are welcome , enjoy your stay .
_:search departure king 's lynn
_:search leave_at 13:45
_:search type Train
_:search departure king 's lynn
_:search leave_at 13:45
_:search day wednesday
_:search type Train
_:search departure king 's lynn
_:search leave_at 13:45
_:search day wednesday
_:search type Train
_:result duration 47 minutes
_:result id TR9057
_:result ticket 9.80 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking