inform((_:search,day,'saturday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm looking for a train that goes to Cambridge on Saturday
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Would you like to leave or arrive by a certain time ?
inform((_:search,leave_at,'21:30');(_:search,type,'Train'))
user
I would like to leave after 21:30 .
request((_:search,departure,?);(_:search,type,'Train'))
system
Where will you be departing from ?
inform((_:search,departure,'broxbourne');(_:search,type,'Train'))
user
I will be departing from broxbourne .
inform((_:result,count,'3');(_:result,leave_at,'21:32');(_:result,leave_at,'within an hour of each other');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
We have 3 options that meet your criteria . All depart within an hour of each other starting at 21:32 . Would you like me to book one of them for you ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
Yes , whichever train has seats available for 7 people .
inform((_:result,leave_at,'21:32');(_:result,ref,'UZFW2TAQ');(_:result,type,'Train')) reqmore() inform((_:booking,category,'Train');(_:booking,ticket,'100.24 GBP');(_:booking,type,'Booking'))
system
Your booking was successful , the total fee is 100.24 GBP payable at the station .   The train departs at 21:32 . Your reference # is UZFW2TAQ . Is there anything else ?
thank()
user
No that 's all thanks
system
Okay , have a good day then
_:search day saturday
_:search destination cambridge
_:search type Train
_:search day saturday
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 21:30
_:search type Train
_:search day saturday
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 21:30
_:search departure broxbourne
_:search type Train
_:search day saturday
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 21:30
_:search departure broxbourne
_:result count 3
_:result leave_at 21:32
_:result leave_at within an hour of each other
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:search day saturday
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 21:30
_:search departure broxbourne
_:result count 3
_:system offered _:booking
_:search people 7
_:search type Train
_:result leave_at 21:32
_:result ref UZFW2TAQ
_:result type Train
_:system inquired _:user
_:booking category Train
_:booking ticket 100.24 GBP
_:booking type Booking