inform((_:search,destination,'stevenage');(_:search,leave_at,'10:30');(_:search,type,'Train'))
user
Hi , I 'm looking for a train going to Stevenage that leaves after 10:30 please .
request((_:search,departure,?);(_:search,type,'Train'))
system
Where are you leaving from ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I am leaving from Cambridge .
inform((_:result,id,'TR3043');(_:result,leave_at,'11:21');(_:result,type,'Train'))
system
the TR3043 leaves at 11:21 if that works for you .
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
That sounds like it might work , but what is its arrival time if I may ask ?
inform((_:result,arrive_by,'12:10');(_:result,destination,'Stevenage');(_:result,id,'TR3043');(_:result,type,'Train'))
system
TR3043 arrives in Stevenage at 12:10 .
inform((_:search,category,'architecture');(_:search,type,'Attraction'))
user
I would also like to explore the local architecture while in town .   Can you suggest a place to visit ?
inform((_:result,name,'all saints church');(_:result,type,'Attraction'))
system
what about all saints church ? its lovely
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
That sounds great !   Can you give me the address , postcode , and phone number please ?
inform((_:result,address,'jesus lane');(_:result,phone,'01223452587');(_:result,postcode,'cb58bs');(_:result,type,'Attraction'))
system
phone is 01223452587 postcode is cb58bs and address is jesus lane
bye()
user
Great , thanks ! That 'll be all I need . Bye !
system
enjoy your time
_:search destination stevenage
_:search leave_at 10:30
_:search type Train
_:search destination stevenage
_:search leave_at 10:30
_:search departure cambridge
_:search type Train
_:search destination stevenage
_:search leave_at 10:30
_:search departure cambridge
_:search type Train
_:result id TR3043
_:result leave_at 11:21
_:result type Train
_:result arrive_by ?
_:search destination stevenage
_:search leave_at 10:30
_:search departure cambridge
_:result leave_at 11:21
_:result arrive_by 12:10
_:result destination Stevenage
_:result id TR3043
_:result type Train
_:search category architecture
_:search type Attraction
_:search destination stevenage
_:search leave_at 10:30
_:search departure cambridge
_:result leave_at 11:21
_:result arrive_by 12:10
_:result destination Stevenage
_:result id TR3043
_:search category architecture
_:search type Attraction
_:result name all saints church
_:result type Attraction
_:result address ?
_:result phone ?
_:result postcode ?
_:search destination stevenage
_:search leave_at 10:30
_:search departure cambridge
_:result leave_at 11:21
_:result arrive_by 12:10
_:result destination Stevenage
_:result id TR3043
_:search category architecture
_:search type Attraction
_:result name all saints church
_:result address jesus lane
_:result phone 01223452587
_:result postcode cb58bs
_:result type Attraction
_:user dismissed _:system