inform((_:search,name,"great saint mary 's church");(_:search,type,'Attraction'))
user
I want to go to a particular attraction called great saint mary 's church .
inform((_:result,category,'centre');(_:result,name,"great saint mary 's church");(_:result,type,'Attraction'))
system
Sure ! great saint mary 's church is in the centre .   What information do you need ?
request((_:result,postcode,?);(_:result,type,'Attraction'))
user
What is the postcode ?
inform((_:result,postcode,'CB23PQ');(_:result,type,'Attraction'))
system
The postcode for that church is CB23PQ . Would you like their phone number ?
inform((_:search,day,'thursday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
No thank you .   I also need a train that should leave on thursday and should go to cambridge .
request((_:search,departure,?);(_:search,type,'Train'))
system
Where will you be departing from ?
inform((_:search,departure,'ely');(_:search,type,'Train'))
user
I will be departing from ely .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
great , do you know your departure or arrival time ?
inform((_:search,arrive_by,'15:15');(_:search,type,'Train'))
user
I need to arrive by 15:15
inform((_:result,arrive_by,'5:52');(_:result,id,'TR4068');(_:result,leave_at,'5:35');(_:result,type,'Train'))
system
I have train TR4068 leaving at 5:35 and arriving at 5:52 .
inform((_:search,arrive_by,'15:15');(_:search,type,'Train'))
user
I want to confirm that I will arrive by 15:15 ? You stated , leaving at 5:35 and arriving at 5:52 ?
inform((_:result,arrive_by,'13:52');(_:result,day,'thursday');(_:result,departure,'ely');(_:result,destination,'cambridge');(_:result,id,'TR4992');(_:result,leave_at,'13:35');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I think the TR4992 train will work better .   It leave ely at 13:35 and arrives at cambridge at 13:52 on thursday . Would that one work ?
request((_:result,id,?);(_:result,type,'Train'))
user
Yes , I 'm not booking my seat just yet . All I needed was the train ID , and you have given me that . Thank you .
thank() reqmore()
system
You are welcome , any other questions today ?
thank()
user
That 's all I need , thank you !
system
I hope you enjoy your time here !
_:search name great saint mary 's church
_:search type Attraction
_:search name great saint mary 's church
_:search type Attraction
_:result category centre
_:result name great saint mary 's church
_:result type Attraction
_:result postcode ?
_:search name great saint mary 's church
_:result category centre
_:result name great saint mary 's church
_:result postcode CB23PQ
_:result type Attraction
_:search day thursday
_:search destination cambridge
_:search type Train
_:search name great saint mary 's church
_:result category centre
_:result name great saint mary 's church
_:result postcode CB23PQ
_:result type Attraction
_:search day thursday
_:search destination cambridge
_:search departure ely
_:search type Train
_:search name great saint mary 's church
_:result category centre
_:result name great saint mary 's church
_:result postcode CB23PQ
_:result type Attraction
_:search day thursday
_:search destination cambridge
_:search departure ely
_:search leave_at ?
_:search arrive_by 15:15
_:search type Train
_:search name great saint mary 's church
_:result category centre
_:result name great saint mary 's church
_:result postcode CB23PQ
_:search day thursday
_:search destination cambridge
_:search departure ely
_:search leave_at ?
_:result arrive_by 5:52
_:result id TR4068
_:result leave_at 5:35
_:result type Train
_:search arrive_by 15:15
_:search type Train
_:search name great saint mary 's church
_:result category centre
_:result name great saint mary 's church
_:result postcode CB23PQ
_:search day thursday
_:search destination cambridge
_:search departure ely
_:search leave_at ?
_:search arrive_by 15:15
_:search type Train
_:result arrive_by 13:52
_:result day thursday
_:result departure ely
_:result destination cambridge
_:result id TR4992
_:result leave_at 13:35
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id ?
_:search name great saint mary 's church
_:result category centre
_:result name great saint mary 's church
_:result postcode CB23PQ
_:search day thursday
_:search destination cambridge
_:search departure ely
_:search leave_at ?
_:search arrive_by 15:15
_:search type Train
_:result arrive_by 13:52
_:result day thursday
_:result departure ely
_:result destination cambridge
_:result id TR4992
_:result leave_at 13:35
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id ?
_:system inquired _:user