inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
I 'm looking for an attraction to go in the centre . Can you help ?
request((_:search,category,?);(_:search,type,'Attraction')) inform((_:result,amount,'many');(_:result,area,'centre');(_:result,type,'Attraction'))
system
Yes , we have many attractions in the centre of town .   What type of attraction are you interested in ?
inform((_:search,category,"do n't have a preference");(_:search,type,'Attraction')) request((_:result,category,?);(_:result,type,'Attraction'))
user
I do n't have a preference on type of attraction .
select((_:result,category,'church');(_:result,type,'Attraction')) inform((_:result,area,'centre');(_:result,count,'44');(_:result,type,'Attraction'))
system
There are 44 attractions in the centre . Would you like to go to visit a church ?
request((_:result,entrance_fee,?);(_:result,id,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction');(_:result,type,'Train'))
user
That sounds like a good idea . Could you please give me the phone number and postcode of one you would suggest ? Also the attraction 's entrance fee .
inform((_:result,name,'Holy Trinity Church');(_:result,phone,'01223355397');(_:result,postcode,'cb23nz');(_:result,type,'Attraction'))
system
How about Holy Trinity Church ? Their postcode is cb23nz and the telephone number is 01223355397 .
request((_:result,entrance_fee,?);(_:result,type,'Attraction'))
user
Is there and entrance fee ?
reqmore() inform((_:result,entrance_fee,'no entrance fee');(_:result,name,'Holy Trinity Church');(_:result,type,'Attraction'))
system
There is no entrance fee for the Holy Trinity Church .   Is there anything else I can help you with today ?
inform((_:search,departure,'bishops stortford');(_:search,leave_at,'9:15');(_:search,type,'Train'))
user
Yes , I am also looking for a Train leaving some time after 9:15 from Bishops Stortford .
request((_:search,day,?);(_:search,type,'Train'))
system
What day will you be traveling ?
inform((_:search,day,'thursday');(_:search,type,'Train'))
user
I will be leaving on thursday .
request((_:search,destination,?);(_:search,type,'Train'))
system
great , and what is your destination ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
My destination is Cambridge .
inform((_:result,count,'8');(_:result,destination,'Cambridge');(_:result,leave_at,'every two hours starting at 09:29');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
There are 8 trains that meet your criteria . They run every two hours starting at 09:29 . What time would you like to arrive in Cambridge ?
inform((_:search,day,'thursday');(_:search,departure,'bishops stortford');(_:search,destination,'cambridge');(_:search,leave_at,'9:15');(_:search,type,'Train')) request((_:result,arrive_by,?);(_:result,id,?);(_:result,type,'Train'))
user
I want to leave sometime after 9:15 from bishops stortford thursday to cambridge , what s the arrival time to the closest train and the ID please
inform((_:result,arrive_by,'10:07');(_:result,id,'TR0798');(_:result,type,'Train'))
system
The earliest train available is TR0798 . The arrival time would be 10:07 .
thank()
user
Brilliant . Thanks for your help today .
system
Is that everything you needed today ?
thank()
user
Yes that is all . You were great . Thanks again .
system
Please use our service again . Goodbye .
_:search area centre
_:search type Attraction
_:search area centre
_:result amount many
_:result area centre
_:result type Attraction
_:search category do n't have a preference
_:search type Attraction
_:result category ?
_:search area centre
_:result amount many
_:search category do n't have a preference
_:search type Attraction
_:result category church
_:result area centre
_:result count 44
_:result type Attraction
_:result entrance_fee ?
_:result id ?
_:result phone ?
_:result postcode ?
_:result type Train
_:search area centre
_:result amount many
_:search category do n't have a preference
_:search type Attraction
_:result category church
_:result area centre
_:result count 44
_:result entrance_fee ?
_:result id ?
_:result name Holy Trinity Church
_:result phone 01223355397
_:result postcode cb23nz
_:result type Attraction
_:search area centre
_:result amount many
_:search category do n't have a preference
_:result category church
_:result area centre
_:result count 44
_:result id ?
_:result phone 01223355397
_:result postcode cb23nz
_:system inquired _:user
_:result entrance_fee no entrance fee
_:result name Holy Trinity Church
_:result type Attraction
_:search departure bishops stortford
_:search leave_at 9:15
_:search type Train
_:search area centre
_:result amount many
_:search category do n't have a preference
_:result category church
_:result area centre
_:result count 44
_:result id ?
_:result phone 01223355397
_:result postcode cb23nz
_:system inquired _:user
_:result entrance_fee no entrance fee
_:result name Holy Trinity Church
_:result type Attraction
_:search departure bishops stortford
_:search leave_at 9:15
_:search day thursday
_:search type Train
_:search area centre
_:result amount many
_:search category do n't have a preference
_:result category church
_:result area centre
_:result count 44
_:result id ?
_:result phone 01223355397
_:result postcode cb23nz
_:system inquired _:user
_:result entrance_fee no entrance fee
_:result name Holy Trinity Church
_:result type Attraction
_:search departure bishops stortford
_:search leave_at 9:15
_:search day thursday
_:search destination cambridge
_:search type Train
_:search area centre
_:result amount many
_:search category do n't have a preference
_:result category church
_:result area centre
_:result id ?
_:result phone 01223355397
_:result postcode cb23nz
_:system inquired _:user
_:result entrance_fee no entrance fee
_:result name Holy Trinity Church
_:result count 8
_:result destination Cambridge
_:result leave_at every two hours starting at 09:29
_:result type Train
_:search arrive_by ?
_:search day thursday
_:search departure bishops stortford
_:search destination cambridge
_:search leave_at 9:15
_:search type Train
_:result arrive_by ?
_:search area centre
_:result amount many
_:search category do n't have a preference
_:result category church
_:result area centre
_:result phone 01223355397
_:result postcode cb23nz
_:system inquired _:user
_:result entrance_fee no entrance fee
_:result name Holy Trinity Church
_:result count 8
_:result destination Cambridge
_:result leave_at every two hours starting at 09:29
_:search arrive_by ?
_:search day thursday
_:search departure bishops stortford
_:search destination cambridge
_:search leave_at 9:15
_:search type Train
_:result arrive_by 10:07
_:result id TR0798
_:result type Train
_:search area centre
_:result amount many
_:search category do n't have a preference
_:result category church
_:result area centre
_:result phone 01223355397
_:result postcode cb23nz
_:system inquired _:user
_:result entrance_fee no entrance fee
_:result name Holy Trinity Church
_:result count 8
_:result destination Cambridge
_:result leave_at every two hours starting at 09:29
_:search arrive_by ?
_:search day thursday
_:search departure bishops stortford
_:search destination cambridge
_:search leave_at 9:15
_:search type Train
_:result arrive_by 10:07
_:result id TR0798
_:result type Train