inform((_:search,departure,'leicester');(_:search,leave_at,'9:30');(_:search,type,'Train'))
user
I need a train from leicester sometime after 9:30 .
request((_:search,day,?);(_:search,type,'Train')) thank()
system
I can assist you with that .   What day would you like to leave ?
inform((_:search,day,'monday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need to be in Cambridge on Monday please .
inform((_:result,id,'TR0032');(_:result,leave_at,'10:09');(_:result,type,'Train')) thank() offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Very well . The earliest train is TR0032 , which leaves at 10:09 . Is that alright ?
request((_:result,arrive_by,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Could you give me the arrival time and price on that please ?
inform((_:result,id,'TR0032');(_:result,leave_at,'11:54');(_:result,ticket,'37.80 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR0032 arrives at 11:54 and costs 37.80 pounds .   May I book that for you ?
user
Yes , that would be terrific .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'I6NJ8FUB');(_:booking,type,'Booking'))
system
Great , I have booked your ticket , your reference number is : I6NJ8FUB . may I help you with anything else ?
thank()
user
Okay thank you for everything .
system
You are welcome .   Have a nice day .   Good bye .
_:search departure leicester
_:search leave_at 9:30
_:search type Train
_:search departure leicester
_:search leave_at 9:30
_:search day monday
_:search destination cambridge
_:search type Train
_:search departure leicester
_:search leave_at 9:30
_:search day monday
_:search destination cambridge
_:search type Train
_:result id TR0032
_:result leave_at 10:09
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by ?
_:result ticket ?
_:search departure leicester
_:search leave_at 9:30
_:search day monday
_:search destination cambridge
_:search type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by ?
_:result id TR0032
_:result leave_at 11:54
_:result ticket 37.80 pounds
_:result type Train
_:search departure leicester
_:search leave_at 9:30
_:search day monday
_:search destination cambridge
_:search type Train
_:system offered _:booking
_:result arrive_by ?
_:result id TR0032
_:result leave_at 11:54
_:result ticket 37.80 pounds
_:result type Train
_:system inquired _:user
_:booking category Train
_:booking ref I6NJ8FUB
_:booking type Booking