inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need a train to Cambridge .
request((_:search,departure,?);(_:search,type,'Train'))
system
Ok .   Where will you be departing from ?
inform((_:search,day,'friday');(_:search,departure,'ely');(_:search,type,'Train'))
user
I want to leave from Ely on Friday .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Okay , do you have a desired time for departure or arrival ?
inform((_:search,leave_at,'09:45');(_:search,type,'Train'))
user
I need to leave after 09:45 .
inform((_:result,day,'Friday');(_:result,departure,'Ely');(_:result,id,'TR0212');(_:result,leave_at,'11:35');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR0212 departs Ely Friday at 11:35 , would you like to book a ticket for this train ?
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
What time does it arrive ?
inform((_:result,arrive_by,'11;52');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
It arrives at 11;52 . would you like me to book it for you ?
thank()
user
No , I just needed the information .   I am all set , thanks .   Have a nice day .
system
Great ! Thank you for using the Cambridge TownInfo centre . Have a wonderful day !
_:search destination cambridge
_:search type Train
_:search destination cambridge
_:search day friday
_:search departure ely
_:search type Train
_:search destination cambridge
_:search day friday
_:search departure ely
_:search arrive_by ?
_:search leave_at 09:45
_:search type Train
_:search destination cambridge
_:search day friday
_:search departure ely
_:search arrive_by ?
_:search leave_at 09:45
_:search type Train
_:result day Friday
_:result departure Ely
_:result id TR0212
_:result leave_at 11:35
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by ?
_:search destination cambridge
_:search day friday
_:search departure ely
_:search arrive_by ?
_:search leave_at 09:45
_:search type Train
_:result day Friday
_:result departure Ely
_:result id TR0212
_:result leave_at 11:35
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 11;52
_:result type Train