inform((_:search,day,'tuesday');(_:search,departure,'ely');(_:search,type,'Train'))
user
I need to find a train leaving Tuesday going to Ely please .
inform((_:result,amount,'several');(_:result,day,'that day');(_:result,destination,'Ely');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are several trains to Ely on that day . Is there certain time that you need to leave by ?
inform((_:search,arrive_by,'14:45');(_:search,type,'Train'))
user
I would like to arrive by 14:45 .
inform((_:result,arrive_by,'14:07');(_:result,id,'TR3420');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR3420 will arrive at 14:07 , would that work ?
request((_:result,duration,?);(_:result,leave_at,?);(_:result,type,'Train'))
user
Yes , can I get the departure time and travel time on that one ?
inform((_:result,duration,'17 minutes');(_:result,leave_at,'13:50');(_:result,type,'Train'))
system
Yes the train leaves at 13:50 and the ride lasts 17 minutes .
inform((_:search,category,'college');(_:search,type,'Attraction'))
user
Thanks . I 'm also looking for college to look around .
request((_:search,area,?);(_:search,type,'Attraction')) inform((_:result,amount,'many');(_:result,type,'Attraction'))
system
There are many to choose from , what area would you like to see one in ?
inform((_:search,area,'dontcare');(_:search,type,'Attraction')) request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Any area is fine . Can you give me the phone number and postcode of your favorite one ?
inform((_:result,area,'centre');(_:result,name,"Christ 's College");(_:result,phone,'01223334900');(_:result,postcode,'cb23bu');(_:result,type,'Attraction'))
system
Christ 's College is in the city centre and is highly acclaimed . Their phone number is 01223334900 and they 're in postcode cb23bu .
thank()
user
Awesome !   I guess that 's all I need .   Thank you .
system
You 're welcome . Have a nice day . Goodbye .
_:search day tuesday
_:search departure ely
_:search type Train
_:search day tuesday
_:search departure ely
_:result amount several
_:result day that day
_:result destination Ely
_:result type Train
_:search leave_at ?
_:search arrive_by 14:45
_:search type Train
_:search day tuesday
_:search departure ely
_:result amount several
_:result day that day
_:result destination Ely
_:search leave_at ?
_:search arrive_by 14:45
_:search type Train
_:result arrive_by 14:07
_:result id TR3420
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result leave_at ?
_:search day tuesday
_:search departure ely
_:result amount several
_:result day that day
_:result destination Ely
_:search leave_at ?
_:search arrive_by 14:45
_:result arrive_by 14:07
_:result id TR3420
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 17 minutes
_:result leave_at 13:50
_:result type Train
_:search category college
_:search type Attraction
_:search day tuesday
_:search departure ely
_:result day that day
_:result destination Ely
_:search leave_at ?
_:search arrive_by 14:45
_:result arrive_by 14:07
_:result id TR3420
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 17 minutes
_:result leave_at 13:50
_:search category college
_:result amount many
_:result type Attraction
_:search area dontcare
_:search type Attraction
_:result phone ?
_:result postcode ?
_:search day tuesday
_:search departure ely
_:result day that day
_:result destination Ely
_:search leave_at ?
_:search arrive_by 14:45
_:result arrive_by 14:07
_:result id TR3420
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 17 minutes
_:result leave_at 13:50
_:search category college
_:result amount many
_:search area dontcare
_:search type Attraction
_:result area centre
_:result name Christ 's College
_:result phone 01223334900
_:result postcode cb23bu
_:result type Attraction