inform((_:search,day,'saturday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
i Am looking for a train . The train should leave on Saturday and should depart from Cambridge .
request((_:search,destination,?);(_:search,type,'Train'))
system
Where are you traveling to ?
inform((_:search,destination,'kings lynn');(_:search,type,'Train'))
user
I am going to kings lynn
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Do you need to arrive or depart by a specific time ?
inform((_:search,arrive_by,'09:45');(_:search,type,'Train'))
user
it should arrive by 09:45 .
inform((_:result,arrive_by,'8:58');(_:result,id,'TR4689');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR4689 is your best bet . It will arrive at 8:58 . Would you like me to book some tickets for you ?
request((_:result,leave_at,?);(_:result,type,'Train'))
user
What time does it depart ?
inform((_:result,leave_at,'8:11');(_:result,type,'Train'))
system
It departs at 8:11 .
thank()
user
Thanks , that 's all I needed today . Goodbye !
system
You 're very welcome . Have a great day .
_:search day saturday
_:search departure cambridge
_:search type Train
_:search day saturday
_:search departure cambridge
_:search destination kings lynn
_:search type Train
_:search day saturday
_:search departure cambridge
_:search destination kings lynn
_:search leave_at ?
_:search arrive_by 09:45
_:search type Train
_:search day saturday
_:search departure cambridge
_:search destination kings lynn
_:search leave_at ?
_:search arrive_by 09:45
_:search type Train
_:result arrive_by 8:58
_:result id TR4689
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at ?
_:search day saturday
_:search departure cambridge
_:search destination kings lynn
_:search leave_at ?
_:search arrive_by 09:45
_:search type Train
_:result arrive_by 8:58
_:result id TR4689
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at 8:11
_:result type Train