inform((_:search,day,'thursday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
List all thursday train times heading to cambridge .
inform((_:result,count,'202');(_:result,type,'Train')) reqmore()
system
There are 202 entries , can you please be more specific ?
inform((_:search,day,'thursday');(_:search,departure,'leicester');(_:search,leave_at,'21:45');(_:search,type,'Train'))
user
Okay , I guess that would be quite a lot of typing . How about this : I need a train leaving from Leicester sometime after 21:45 on Thursday .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you like to leave ?
inform((_:search,leave_at,'21:45');(_:search,type,'Train'))
user
Anytime after 21:45 is good .
select((_:result,id,'TR8149');(_:result,leave_at,'22:09,is');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have train TR8149 leaving at 22:09,is that okay ?
request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
That is fine . Can you give me the price and travel time , please ?
system
It is 37.80 pounds and travel time is 105 minutes . Do you need anything else ?
_:search day thursday
_:search destination cambridge
_:search type Train
_:search destination cambridge
_:result count 202
_:result type Train
_:system inquired _:user
_:search day thursday
_:search departure leicester
_:search leave_at 21:45
_:search type Train
_:search destination cambridge
_:result count 202
_:result type Train
_:system inquired _:user
_:search day thursday
_:search departure leicester
_:search leave_at 21:45
_:search type Train
_:search destination cambridge
_:result count 202
_:system inquired _:user
_:search day thursday
_:search departure leicester
_:search leave_at 21:45
_:search type Train
_:result id TR8149
_:result leave_at 22:09,is
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result ticket ?