inform((_:search,arrive_by,'17:15');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Which trains arrive in Cambridge by 17:15 ?
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,departure,?);(_:search,type,'Train'))
system
There are many at that time , can I get a departure site ?
inform((_:search,departure,'norwich');(_:search,type,'Train'))
user
Yes I need it to depart from   norwich .
inform((_:result,arrive_by,'16:35');(_:result,destination,'cambridge');(_:result,type,'Train'))
system
I have a train that arrives in cambridge at 16:35 .   Will that work for you ?
request((_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Yes , what is the ID and price , please ?
inform((_:result,id,'TR9266');(_:result,type,'Train')) reqmore()
system
The train ID is TR9266 . Is there anything else ?
request((_:result,leave_at,?);(_:result,ticket,?);(_:result,type,'Train'))
user
And what is the price and departure time ?
inform((_:result,leave_at,'15:16');(_:result,ticket,'17.60 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The price is 17.60 pounds . The departure time is 15:16 . Would you like to book it ?
user
Yes please book it for me .
system
How many tickets do you need to book ?
_:search arrive_by 17:15
_:search destination cambridge
_:search type Train
_:search arrive_by 17:15
_:search destination cambridge
_:result amount many
_:result type Train
_:search departure norwich
_:search type Train
_:search arrive_by 17:15
_:search destination cambridge
_:result amount many
_:search departure norwich
_:search type Train
_:result arrive_by 16:35
_:result destination cambridge
_:result type Train
_:result id ?
_:result ticket ?
_:search arrive_by 17:15
_:search destination cambridge
_:result amount many
_:search departure norwich
_:search type Train
_:result arrive_by 16:35
_:result destination cambridge
_:result ticket ?
_:result id TR9266
_:result type Train
_:system inquired _:user
_:result leave_at ?
_:search arrive_by 17:15
_:search destination cambridge
_:result amount many
_:search departure norwich
_:search type Train
_:result arrive_by 16:35
_:result destination cambridge
_:result id TR9266
_:system inquired _:user
_:result leave_at 15:16
_:result ticket 17.60 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking