inform((_:search,day,'friday');(_:search,leave_at,'11:30');(_:search,type,'Train'))
user
Hello , I need to catch a train on Friday .   Can you help me find one leaving after 11:30 ?
request((_:search,arrive_by,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What are your departure and arrival locations ?
inform((_:search,departure,'cambridge');(_:search,destination,'broxbourne');(_:search,type,'Train'))
user
I 'll be going from cambridge to broxbourne .
inform((_:result,arrive_by,'13:01');(_:result,leave_at,'12:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train that leaves at 12:01 and arrives by 13:01 . Would you like me to book that train ?
inform((_:search,people,'2');(_:search,type,'Train'))
user
Yes , I will need 2 tickets please .
inform((_:result,arrive_by,'13:01');(_:result,id,'TR4266');(_:result,leave_at,'12:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train i d TR4266 leaves at 12:01 and arrives at 13:01 .   Would you like me to book that one ?
inform((_:search,people,'2');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , for 2 people please . Can I also get the reference # ? Thanks !
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'TQICKHXG');(_:booking,ticket,'35.79 GBP');(_:booking,type,'Booking'))
system
Your booking was successful . You will owe 35.79 GBP at the station and your reference number is : TQICKHXG . Can I assist you with anything else ?
thank()
user
No , there is nothing else I need today . thank you . Goodbye .
system
Thanks for using our system !
_:search day friday
_:search leave_at 11:30
_:search type Train
_:search day friday
_:search arrive_by ?
_:search leave_at ?
_:search departure cambridge
_:search destination broxbourne
_:search type Train
_:search day friday
_:search arrive_by ?
_:search leave_at ?
_:search departure cambridge
_:search destination broxbourne
_:result arrive_by 13:01
_:result leave_at 12:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 2
_:search type Train
_:search day friday
_:search arrive_by ?
_:search leave_at ?
_:search departure cambridge
_:search destination broxbourne
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 13:01
_:result id TR4266
_:result leave_at 12:01
_:result type Train
_:search people 2
_:search type Train
_:result ref ?
_:search day friday
_:search arrive_by ?
_:search leave_at ?
_:search departure cambridge
_:search destination broxbourne
_:system offered _:booking
_:result arrive_by 13:01
_:result id TR4266
_:result leave_at 12:01
_:result type Train
_:search people 2
_:search type Train
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref TQICKHXG
_:booking ticket 35.79 GBP
_:booking type Booking