inform((_:search,area,'centre');(_:search,category,'college');(_:search,type,'Attraction'))
user
I would like to visit a college in the centre please .
inform((_:result,area,'centre');(_:result,category,'colleges');(_:result,count,'5');(_:result,entrance_fee,'free');(_:result,name,"Christ 's college");(_:result,type,'Attraction')) reqmore()
system
There are 5 colleges in the centre . Christ 's college is free , would you like more information on that ?
inform((_:search,category,'colleges');(_:search,type,'Attraction'))
user
Yes . I would like information on the other 4 colleges too .
inform((_:result,address,"King 's Parade");(_:result,amount,'other 3');(_:result,entrance_fee,'2 pounds');(_:result,entrance_fee,'free');(_:result,name,'Corpus Christi');(_:result,type,'Attraction'))
system
Corpus Christi is at King 's Parade and costs 2 pounds .   The other 3 are free .   Would you like their addresses ?
inform((_:search,name,'corpus christi');(_:search,type,'Attraction')) request((_:result,postcode,?);(_:result,type,'Attraction'))
user
No the Corpus Christi will do , could you just give me the postcode for that also ?
reqmore() inform((_:result,name,'corpus christi');(_:result,postcode,'cb21rh');(_:result,type,'Attraction'))
system
The postcode for Corpus Christi is cb21rh .   Is there anything else I could help you with today ?
inform((_:search,destination,'stansted');(_:search,type,'Train'))
user
I also need a train going to Stansted .
inform((_:result,count,'133');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
i have found 133 entries . could you be more specific so we can narrow it down ? what day are you traveling ?
inform((_:search,day,'sunday');(_:search,departure,'cambridge');(_:search,leave_at,'8:30');(_:search,type,'Train'))
user
Sorry .   I want to leave Cambridge on Sunday after 8:30 .
inform((_:result,arrive_by,'09:08');(_:result,departure,'Cambridge');(_:result,destination,'the airport');(_:result,id,'TR8500');(_:result,leave_at,'08:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR8500 leaves Cambridge at 08:40 and will arrive at the airport by 09:08 . Would that work for your schedule ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
What is the price ?
inform((_:result,ticket,'8.08 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
It 's 8.08 pounds per ticket . Would you like me to book it for you ?
thank()
user
No , that will be all for today . Thank you for your help !
system
Okay great , have a nice day !
_:search area centre
_:search category college
_:search type Attraction
_:search area centre
_:result area centre
_:result category colleges
_:result count 5
_:result entrance_fee free
_:result name Christ 's college
_:result type Attraction
_:system inquired _:user
_:search category colleges
_:search type Attraction
_:search area centre
_:result area centre
_:result category colleges
_:result count 5
_:system inquired _:user
_:search category colleges
_:result address King 's Parade
_:result amount other 3
_:result entrance_fee 2 pounds
_:result entrance_fee free
_:result name Corpus Christi
_:result type Attraction
_:search name corpus christi
_:search type Attraction
_:result postcode ?
_:search area centre
_:result area centre
_:result category colleges
_:result count 5
_:search category colleges
_:result address King 's Parade
_:result amount other 3
_:result entrance_fee 2 pounds
_:result entrance_fee free
_:search name corpus christi
_:system inquired _:user
_:result name corpus christi
_:result postcode cb21rh
_:result type Attraction
_:search destination stansted
_:search type Train
_:search area centre
_:result area centre
_:result category colleges
_:search category colleges
_:result address King 's Parade
_:result amount other 3
_:result entrance_fee 2 pounds
_:result entrance_fee free
_:search name corpus christi
_:system inquired _:user
_:result name corpus christi
_:result postcode cb21rh
_:search destination stansted
_:result count 133
_:result type Train
_:search day sunday
_:search departure cambridge
_:search leave_at 8:30
_:search type Train
_:search area centre
_:result area centre
_:result category colleges
_:search category colleges
_:result address King 's Parade
_:result amount other 3
_:result entrance_fee 2 pounds
_:result entrance_fee free
_:search name corpus christi
_:system inquired _:user
_:result name corpus christi
_:result postcode cb21rh
_:search destination stansted
_:result count 133
_:search day sunday
_:search departure cambridge
_:search leave_at 8:30
_:search type Train
_:result arrive_by 09:08
_:result departure Cambridge
_:result destination the airport
_:result id TR8500
_:result leave_at 08:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search area centre
_:result area centre
_:result category colleges
_:search category colleges
_:result address King 's Parade
_:result amount other 3
_:result entrance_fee 2 pounds
_:result entrance_fee free
_:search name corpus christi
_:system inquired _:user
_:result name corpus christi
_:result postcode cb21rh
_:search destination stansted
_:result count 133
_:search day sunday
_:search departure cambridge
_:search leave_at 8:30
_:search type Train
_:result arrive_by 09:08
_:result departure Cambridge
_:result destination the airport
_:result id TR8500
_:result leave_at 08:40
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 8.08 pounds
_:result type Train