inform((_:search,day,'thursday');(_:search,departure,'birmingham new street');(_:search,type,'Train'))
user
I need to catch a train on Thursday , departing from Birmingham New Street .
request((_:search,destination,?);(_:search,type,'Train'))
system
Okay and what is your destination please ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am travelling to Cambridge .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Please specify your choice of time for departure and arrival
inform((_:search,leave_at,'14:45');(_:search,type,'Train'))
user
I need to leave after 14:45 .
request((_:search,arrive_by,?);(_:search,type,'Train'))
system
What time do you need to arrive by ?
user
I do n't have an arrival preference .
inform((_:result,id,'TR2148');(_:result,leave_at,'15:40');(_:result,ticket,'75.10 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have the TR2148 that leaves at 15:40 for 75.10 pounds . Would you like to book it ?
inform((_:search,people,'6');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes I need 6 tickets and the reference number .
system
Sure thing , I will work on that now and be back with you in a moment .
_:search day thursday
_:search departure birmingham new street
_:search type Train
_:search day thursday
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:search day thursday
_:search departure birmingham new street
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 14:45
_:search type Train
_:search day thursday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at 14:45
_:search arrive_by ?
_:search type Train
_:search day thursday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at 14:45
_:search arrive_by ?
_:result id TR2148
_:result leave_at 15:40
_:result ticket 75.10 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 6
_:search type Train
_:result ref ?