inform((_:search,departure,'ely');(_:search,type,'Train'))
user
I am looking for a train leaving from ely .
request((_:search,destination,?);(_:search,type,'Train'))
system
Ok , where will you be traveling to ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'll be going to Cambridge .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you like to depart and arrive ?
inform((_:search,day,'sunday');(_:search,leave_at,'08:15');(_:search,type,'Train'))
user
I would like to leave after 08:15 on Sunday please .
inform((_:result,id,'TR4212');(_:result,leave_at,'09:35');(_:result,type,'Train'))
system
The first train after 08:15 is the TR4212 , which leaves at 09:35 .
inform((_:search,area,'center');(_:search,category,'architecture');(_:search,type,'Attraction'))
user
That 's great . Can you tell me where architecture attractions are near the center of town ?
reqmore() inform((_:result,area,'centre');(_:result,name,'All Saints Church');(_:result,name,"Great Saint Mary 's Church");(_:result,name,'Holy Trinity Church');(_:result,name,"Little Saint Mary 's Church");(_:result,name,'Old Schools');(_:result,type,'Attraction'))
system
Near the centre is All Saints Church , Great Saint Mary 's Church , Holy Trinity Church , Little Saint Mary 's Church , and Old Schools . Would you like more information ?
request((_:result,address,?);(_:result,entrance_fee,?);(_:result,phone,?);(_:result,type,'Attraction'))
user
Oh can you make a suggestion and get me the phone number , address and entrance fee ?
reqmore() inform((_:result,address,'Jesus Lane');(_:result,entrance_fee,'no');(_:result,name,'All Saints Church');(_:result,phone,'01223452587');(_:result,type,'Attraction'))
system
Sure ! All Saints Church is located on Jesus Lane and the phone number is 01223452587 . There is no entrance fee . Can I help with anything else ?
bye()
user
No , you have been quite helpful .   That is all I need to plan a great vacation .   Thanks , and bye .
system
Have a nice trip !
_:search departure ely
_:search type Train
_:search departure ely
_:search destination cambridge
_:search type Train
_:search departure ely
_:search destination cambridge
_:search arrive_by ?
_:search day sunday
_:search leave_at 08:15
_:search type Train
_:search departure ely
_:search destination cambridge
_:search arrive_by ?
_:search day sunday
_:search leave_at 08:15
_:result id TR4212
_:result leave_at 09:35
_:result type Train
_:search area center
_:search category architecture
_:search type Attraction
_:search departure ely
_:search destination cambridge
_:search arrive_by ?
_:search day sunday
_:search leave_at 08:15
_:result id TR4212
_:result leave_at 09:35
_:search area center
_:search category architecture
_:search type Attraction
_:system inquired _:user
_:result area centre
_:result name All Saints Church
_:result name Great Saint Mary 's Church
_:result name Holy Trinity Church
_:result name Little Saint Mary 's Church
_:result name Old Schools
_:result type Attraction
_:result address ?
_:result entrance_fee ?
_:result phone ?
_:search departure ely
_:search destination cambridge
_:search arrive_by ?
_:search day sunday
_:search leave_at 08:15
_:result id TR4212
_:result leave_at 09:35
_:search area center
_:search category architecture
_:search type Attraction
_:result area centre
_:system inquired _:user
_:result address Jesus Lane
_:result entrance_fee no
_:result name All Saints Church
_:result phone 01223452587
_:result type Attraction
_:user dismissed _:system