inform((_:search,day,'wednesday');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
i am looking for a train from london kings cross and leaves on wednesday
inform((_:result,count,'10');(_:result,leave_at,'5:17');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are 10 train departures that may match your needs . The earliest train departs at 5:17 . Does this work for you or would you like a different time in particular ?
inform((_:search,arrive_by,'13:30');(_:search,type,'Train'))
user
I am looking to book a train that arrives by 13:30 . Are there any that fit that description ?
inform((_:result,arrive_by,'12:08');(_:result,id,'TR2417');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Yes , TR2417 arrives at 12:08 .   Would you like me to book it ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
No , I just need to know how much it is .
inform((_:result,id,'TR2417');(_:result,ticket,'23.60 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR2417 is 23.60 pounds , would you like to book a seat ?
request((_:result,id,?);(_:result,type,'Train'))
user
Sounds great . Is TR2417 the train ID ?
inform((_:result,type,'Train'))
system
Yes it is .
request((_:result,leave_at,?);(_:result,type,'Train'))
user
I will also need the departure time please .
inform((_:result,id,'TR2417');(_:result,leave_at,'11:17');(_:result,type,'Train')) reqmore()
system
TR2417 departs at 11:17 . Do you need any further assistance ?
thank()
user
No , I think we have covered everything . Thank you so much for all of your help .
system
Thanks ! Have a nice day !
_:search day wednesday
_:search departure london kings cross
_:search type Train
_:search day wednesday
_:search departure london kings cross
_:result count 10
_:result leave_at 5:17
_:result type Train
_:search leave_at ?
_:search arrive_by 13:30
_:search type Train
_:search day wednesday
_:search departure london kings cross
_:result count 10
_:result leave_at 5:17
_:search leave_at ?
_:search arrive_by 13:30
_:search type Train
_:result arrive_by 12:08
_:result id TR2417
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search day wednesday
_:search departure london kings cross
_:result count 10
_:result leave_at 5:17
_:search leave_at ?
_:search arrive_by 13:30
_:search type Train
_:result arrive_by 12:08
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id TR2417
_:result ticket 23.60 pounds
_:result type Train
_:result id ?
_:search day wednesday
_:search departure london kings cross
_:result count 10
_:result leave_at 5:17
_:search leave_at ?
_:search arrive_by 13:30
_:search type Train
_:result arrive_by 12:08
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id TR2417
_:result ticket 23.60 pounds
_:result id ?
_:result type Train
_:result leave_at ?
_:search day wednesday
_:search departure london kings cross
_:result count 10
_:search leave_at ?
_:search arrive_by 13:30
_:search type Train
_:result arrive_by 12:08
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 23.60 pounds
_:result id TR2417
_:result leave_at 11:17
_:result type Train
_:system inquired _:user