inform((_:search,area,'centre');(_:search,category,'colleges');(_:search,type,'Attraction'))
user
I 'm looking for colleges to visit in the centre of town .
inform((_:result,address,'same street');(_:result,area,'centre');(_:result,category,'colleges');(_:result,count,'13');(_:result,entrance_fee,'free');(_:result,name,"King 's College");(_:result,name,"Saint Catharine 's College");(_:result,type,'Attraction'))
system
There are 13 colleges in the centre .   King 's College and Saint Catharine 's College are on the same street and both have free admission .
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Can you provide the phone number and post code to the attraction ?
inform((_:result,name,"King 's College");(_:result,name,"Saint Catharine 's");(_:result,phone,'01223331100');(_:result,phone,'01223338300');(_:result,postcode,'cb21rl');(_:result,postcode,'cb21st');(_:result,type,'Attraction'))
system
King 's College is cb21st and their number is 01223331100 . Saint Catharine 's is cb21rl and their number is 01223338300 .
request((_:result,entrance_fee,?);(_:result,type,'Attraction'))
user
What is the entrance fee ?
reqmore() inform((_:result,amount,'both');(_:result,entrance_fee,'free');(_:result,type,'Attraction'))
system
Both are free . Is there anything else you 'd like help with ?
inform((_:search,departure,'cambridge');(_:search,destination,'bishops stortford');(_:search,type,'Train'))
user
Yes , actually . I could use some help finding a train to take me from Cambridge heading to Bishops Stortford .
request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What day and departure time do you prefer ?
inform((_:search,day,'saturday');(_:search,leave_at,'21:15');(_:search,type,'Train'))
user
I want to leave on Saturday at any time after 21:15 .
request((_:search,people,?);(_:search,type,'Train'))
system
How many ticket will you need ?
request((_:result,duration,?);(_:result,type,'Train'))
user
I would just like to know the travel time of one or more of the trains .
inform((_:result,duration,'38 minute');(_:result,type,'Train'))
system
They are both 38 minute trips
thank()
user
Thanks . That 's all the information I needed today . I appreciate your help .
system
You 're welcome . Enjoy your stay in Cambridge . Good bye !
_:search area centre
_:search category colleges
_:search type Attraction
_:search area centre
_:search category colleges
_:search type Attraction
_:result address same street
_:result area centre
_:result category colleges
_:result count 13
_:result entrance_fee free
_:result name King 's College
_:result name Saint Catharine 's College
_:result type Attraction
_:result phone ?
_:result postcode ?
_:search area centre
_:search category colleges
_:search type Attraction
_:result address same street
_:result area centre
_:result category colleges
_:result count 13
_:result entrance_fee free
_:result name King 's College
_:result name Saint Catharine 's
_:result phone 01223331100
_:result phone 01223338300
_:result postcode cb21rl
_:result postcode cb21st
_:result type Attraction
_:result entrance_fee ?
_:search area centre
_:search category colleges
_:result address same street
_:result area centre
_:result category colleges
_:result count 13
_:result name King 's College
_:result name Saint Catharine 's
_:result phone 01223331100
_:result phone 01223338300
_:result postcode cb21rl
_:result postcode cb21st
_:system inquired _:user
_:result amount both
_:result entrance_fee free
_:result type Attraction
_:search departure cambridge
_:search destination bishops stortford
_:search type Train
_:search area centre
_:search category colleges
_:result address same street
_:result area centre
_:result category colleges
_:result count 13
_:result name King 's College
_:result name Saint Catharine 's
_:result phone 01223331100
_:result phone 01223338300
_:result postcode cb21rl
_:result postcode cb21st
_:system inquired _:user
_:result amount both
_:result entrance_fee free
_:result type Attraction
_:search departure cambridge
_:search destination bishops stortford
_:search day saturday
_:search leave_at 21:15
_:search type Train
_:search area centre
_:search category colleges
_:result address same street
_:result area centre
_:result category colleges
_:result count 13
_:result name King 's College
_:result name Saint Catharine 's
_:result phone 01223331100
_:result phone 01223338300
_:result postcode cb21rl
_:result postcode cb21st
_:system inquired _:user
_:result amount both
_:result entrance_fee free
_:result type Attraction
_:search departure cambridge
_:search destination bishops stortford
_:search day saturday
_:search leave_at 21:15
_:search people ?
_:search type Train
_:result duration ?
_:result type Train
_:search area centre
_:search category colleges
_:result address same street
_:result area centre
_:result category colleges
_:result count 13
_:result name King 's College
_:result name Saint Catharine 's
_:result phone 01223331100
_:result phone 01223338300
_:result postcode cb21rl
_:result postcode cb21st
_:system inquired _:user
_:result amount both
_:result entrance_fee free
_:search departure cambridge
_:search destination bishops stortford
_:search day saturday
_:search leave_at 21:15
_:search people ?
_:search type Train
_:result duration 38 minute
_:result type Train