inform((_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
Hello , I 'm trying to find a train to take me to London Kings Cross from Cambridge , are there any on that route ?
inform((_:result,amount,'many');(_:result,departure,'Cambridge');(_:result,destination,'London Kings Cross');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
We have many trains departing Cambridge for London Kings Cross , is there a particular day you are wanting to travel ?
inform((_:search,day,'saturday');(_:search,type,'Train'))
user
I want to leave on Saturday .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Thanks ! Do you have a particular time you want to leave or arrive ?
inform((_:search,arrive_by,'13:15');(_:search,type,'Train'))
user
I would like to arrive in London at or just before 13:15 , please .
inform((_:result,arrive_by,'11:51');(_:result,id,'TR5170');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The closest to that time is TR5170 which arrives at 11:51 . Can I get you tickets for that ?
request((_:result,leave_at,?);(_:result,type,'Train'))
user
What is the departure time ?
inform((_:result,departure,'Cambridge');(_:result,leave_at,'11:00');(_:result,type,'Train'))
system
That one departs Cambridge at 11:00 .
request((_:result,duration,?);(_:result,type,'Train'))
user
What is the travel time ?
inform((_:result,duration,'51 minutes');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
51 minutes , Would you like me to book it for you ?
inform((_:search,type,'Attraction'))
user
No thank you .   Could you find me an attraction to go visit ?
request((_:search,category,?);(_:search,type,'Attraction')) inform((_:result,amount,'so much to do');(_:result,type,'Attraction'))
system
I 'd be happy to ! There is so much to do - did you have a particular type of attraction in mind ?
inform((_:search,area,'east');(_:search,type,'Attraction'))
user
No , but I would like something in the east .
inform((_:result,name,'Cambridge Museum of Technology');(_:result,type,'Attraction'))
system
What about the Cambridge Museum of Technology ?
request((_:result,postcode,?);(_:result,type,'Attraction'))
user
That sounds neat . Could you tell me their postcode ?
inform((_:result,postcode,'cb58ld');(_:result,type,'Attraction'))
system
The postcode is cb58ld
thank()
user
Thank you for your time .
system
thank you and enjoy your stay .
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:search departure cambridge
_:search destination london kings cross
_:result amount many
_:result departure Cambridge
_:result destination London Kings Cross
_:result type Train
_:search day saturday
_:search type Train
_:search departure cambridge
_:search destination london kings cross
_:result amount many
_:result departure Cambridge
_:result destination London Kings Cross
_:result type Train
_:search day saturday
_:search leave_at ?
_:search arrive_by 13:15
_:search type Train
_:search departure cambridge
_:search destination london kings cross
_:result amount many
_:result departure Cambridge
_:result destination London Kings Cross
_:search day saturday
_:search leave_at ?
_:search arrive_by 13:15
_:search type Train
_:result arrive_by 11:51
_:result id TR5170
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at ?
_:search departure cambridge
_:search destination london kings cross
_:result amount many
_:result destination London Kings Cross
_:search day saturday
_:search leave_at ?
_:search arrive_by 13:15
_:search type Train
_:result arrive_by 11:51
_:result id TR5170
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result departure Cambridge
_:result leave_at 11:00
_:result type Train
_:result duration ?
_:search departure cambridge
_:search destination london kings cross
_:result amount many
_:result destination London Kings Cross
_:search day saturday
_:search leave_at ?
_:search arrive_by 13:15
_:result arrive_by 11:51
_:result id TR5170
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result departure Cambridge
_:result leave_at 11:00
_:result duration 51 minutes
_:result type Train
_:search type Attraction
_:search departure cambridge
_:search destination london kings cross
_:result destination London Kings Cross
_:search day saturday
_:search leave_at ?
_:search arrive_by 13:15
_:result arrive_by 11:51
_:result id TR5170
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result departure Cambridge
_:result leave_at 11:00
_:result duration 51 minutes
_:search category ?
_:result amount so much to do
_:result type Attraction
_:search area east
_:search type Attraction
_:search departure cambridge
_:search destination london kings cross
_:result destination London Kings Cross
_:search day saturday
_:search leave_at ?
_:search arrive_by 13:15
_:result arrive_by 11:51
_:result id TR5170
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result departure Cambridge
_:result leave_at 11:00
_:result duration 51 minutes
_:search category ?
_:result amount so much to do
_:search area east
_:search type Attraction
_:result name Cambridge Museum of Technology
_:result type Attraction
_:result postcode ?
_:search departure cambridge
_:search destination london kings cross
_:result destination London Kings Cross
_:search day saturday
_:search leave_at ?
_:search arrive_by 13:15
_:result arrive_by 11:51
_:result id TR5170
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result departure Cambridge
_:result leave_at 11:00
_:result duration 51 minutes
_:search category ?
_:result amount so much to do
_:search area east
_:search type Attraction
_:result name Cambridge Museum of Technology
_:result postcode cb58ld
_:result type Attraction