inform((_:search,arrive_by,'12:45');(_:search,day,'saturday');(_:search,type,'Train'))
user
I am in need of a train that can arrive by 12:45 an leave on Saturday .
inform((_:result,count,'150');(_:result,type,'Train')) request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
There are 150 trains that match your requirements . What is your destination , and from where are you traveling ?
inform((_:search,destination,'norwich');(_:search,type,'Train'))
user
I want to get to Norwich please .
inform((_:result,arrive_by,'10:55');(_:result,destination,'Norwich');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train that arrives at Norwich at 10:55 . Would you like to book that ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
Does it depart from Cambridge ?
inform((_:result,arrive_by,'10:55');(_:result,arrive_by,'11:55');(_:result,day,'Saturday');(_:result,departure,'Cambridge');(_:result,destination,'Norwich');(_:result,leave_at,'9:36');(_:result,type,'Train'))
system
Yes , the train goes from Cambridge to Norwich on Saturday . It departs at 9:36 and arrives at 10:55 . There is also a train that arrives at 11:55 on the same route .
request((_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Let me get the train ID and price for the one arriving at 11:55 .
inform((_:result,id,'TR9588');(_:result,ticket,'14.08 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The train ID is TR9588 and the cost is 14.08 pounds . Can I book that for you ?
thank()
user
No , but I have all the information I need . Thanks .
system
You are quite welcome !
_:search arrive_by 12:45
_:search day saturday
_:search type Train
_:search arrive_by 12:45
_:search day saturday
_:result count 150
_:result type Train
_:search departure ?
_:search destination norwich
_:search type Train
_:search arrive_by 12:45
_:search day saturday
_:result count 150
_:search destination norwich
_:result arrive_by 10:55
_:result destination Norwich
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure cambridge
_:search type Train
_:search arrive_by 12:45
_:search day saturday
_:result count 150
_:search destination norwich
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure cambridge
_:search type Train
_:result arrive_by 10:55
_:result arrive_by 11:55
_:result day Saturday
_:result departure Cambridge
_:result destination Norwich
_:result leave_at 9:36
_:result type Train
_:result id ?
_:result ticket ?
_:search arrive_by 12:45
_:search day saturday
_:result count 150
_:search destination norwich
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure cambridge
_:search type Train
_:result arrive_by 10:55
_:result arrive_by 11:55
_:result day Saturday
_:result departure Cambridge
_:result destination Norwich
_:result leave_at 9:36
_:result id TR9588
_:result ticket 14.08 pounds
_:result type Train