inform((_:search,day,'monday');(_:search,type,'Train'))
user
I am looking for a train to leave on Monday .
request((_:search,destination,?);(_:search,type,'Train')) thank()
system
Sure . Where are you looking to go ?
inform((_:search,arrive_by,'20:00');(_:search,destination,'bishops stortford');(_:search,type,'Train'))
user
I need to arrive at bishops stortford by 20:00 .
inform((_:result,count,'7');(_:result,type,'Train')) reqmore()
system
We have 7 such entries . Do you have a preference further ?
request((_:result,id,?);(_:result,leave_at,?);(_:result,ticket,?);(_:result,type,'Train'))
user
I just need the train ID , departure time , and price of one please
inform((_:result,arrive_by,'06:07');(_:result,departure,'Cambridge');(_:result,destination,'bishops stortford');(_:result,id,'TR4283');(_:result,leave_at,'05:29');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR4283 leaves Cambridge at 05:29 and arrives in bishops stortford by 06:07 . Is this okay ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
Can I get the price of the ticket please ?
inform((_:result,ticket,'10.10 pounds');(_:result,type,'Train')) reqmore()
system
Certainly . It 's 10.10 pounds . May I help with anything else ?
thank()
user
No thank you . That is all .
system
OK , have a great day .   Bye .
_:search day monday
_:search type Train
_:search day monday
_:search arrive_by 20:00
_:search destination bishops stortford
_:search type Train
_:search day monday
_:search arrive_by 20:00
_:search destination bishops stortford
_:search type Train
_:result count 7
_:result type Train
_:system inquired _:user
_:result id ?
_:result leave_at ?
_:result ticket ?
_:search day monday
_:search arrive_by 20:00
_:search destination bishops stortford
_:search type Train
_:result count 7
_:system inquired _:user
_:result ticket ?
_:result arrive_by 06:07
_:result departure Cambridge
_:result destination bishops stortford
_:result id TR4283
_:result leave_at 05:29
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day monday
_:search arrive_by 20:00
_:search destination bishops stortford
_:search type Train
_:result count 7
_:result arrive_by 06:07
_:result departure Cambridge
_:result destination bishops stortford
_:result id TR4283
_:result leave_at 05:29
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 10.10 pounds
_:result type Train
_:system inquired _:user