inform((_:search,day,'saturday');(_:search,departure,'Leiceter');(_:search,type,'Train'))
user
I 'd like to find a train from Leiceter on Saturday .
request((_:search,destination,?);(_:search,type,'Train'))
system
Where will you be heading ?
inform((_:search,destination,'cambridge');(_:search,leave_at,'12:00');(_:search,type,'Train'))
user
I am going to cambridge and need to leave after 12:00
inform((_:result,id,'TR7248');(_:result,leave_at,'12:09');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR7248 leaves at 12:09 , would you like a ticket on that train ?
request((_:result,arrive_by,?);(_:result,ticket,?);(_:result,type,'Train'))
user
I do n't need to book just yet . But can I get the arrival time and price per ticket .
inform((_:result,arrive_by,'13:54');(_:result,destination,'Cambridge');(_:result,ticket,'30.24 pounds');(_:result,type,'Train'))
system
Yes the train arrives in Cambridge at 13:54 and the total cost of the journey is 30.24 pounds .
user
Okay great . That is all I needed to know .
system
Glad to help .   Contact me again if you would like a booking .   Have a nice day .   Bye .
_:search day saturday
_:search departure Leiceter
_:search type Train
_:search day saturday
_:search departure Leiceter
_:search destination cambridge
_:search leave_at 12:00
_:search type Train
_:search day saturday
_:search departure Leiceter
_:search destination cambridge
_:search leave_at 12:00
_:search type Train
_:result id TR7248
_:result leave_at 12:09
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by ?
_:result ticket ?
_:search day saturday
_:search departure Leiceter
_:search destination cambridge
_:search leave_at 12:00
_:search type Train
_:result id TR7248
_:result leave_at 12:09
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 13:54
_:result destination Cambridge
_:result ticket 30.24 pounds
_:result type Train