inform((_:search,day,'saturday');(_:search,type,'Train'))
user
Hello , do any trains run on Saturday ?
inform((_:result,amount,'many');(_:result,day,'Saturday');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Yes , we have many trains that operate on Saturday . Would you like to book one ?
inform((_:search,arrive_by,'19:30');(_:search,departure,'leicester');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm looking for the train which arrives in Cambridge from Leicester . It should arrive by 19:30
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Is there a time you would like to leave by ?
inform((_:search,leave_at,'dontcare');(_:search,type,'Train'))
user
No I do n't have a leave time preference . Just not too early if I do n't have too .
select((_:result,leave_at,'9:09');(_:result,type,'Train'))
system
How about 9:09 will that work for you ?
user
That might be too early .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
What is the earliest you would be like to leave by ?
request((_:result,duration,?);(_:result,type,'Train'))
user
I 'll take the one that leaves at 9:09 .   It 's fine .   What is the travel time on that train ?
system
The travel time on train TR8070 is 105 minutes .   Would you like me to book this for you ?
_:search day saturday
_:search type Train
_:search day saturday
_:result amount many
_:result day Saturday
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 19:30
_:search departure leicester
_:search destination cambridge
_:search type Train
_:search day saturday
_:result amount many
_:result day Saturday
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 19:30
_:search departure leicester
_:search destination cambridge
_:search leave_at dontcare
_:search type Train
_:search day saturday
_:result amount many
_:result day Saturday
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 19:30
_:search departure leicester
_:search destination cambridge
_:search leave_at dontcare
_:search type Train
_:result leave_at 9:09
_:result type Train
_:search day saturday
_:result amount many
_:result day Saturday
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 19:30
_:search departure leicester
_:search destination cambridge
_:result leave_at 9:09
_:result type Train
_:search leave_at ?
_:search type Train
_:result duration ?