inform((_:search,departure,'cambridge');(_:search,destination,'kings lynn');(_:search,type,'Train'))
user
I would like to take a train from Cambridge to Kings Lynn .
request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What day and time ?
inform((_:search,day,'sunday');(_:search,leave_at,'17:00');(_:search,type,'Train'))
user
Leave after 17:00 on Sunday .
inform((_:result,arrive_by,'17:58');(_:result,departure,'Cambridge');(_:result,destination,'Kings lynn');(_:result,id,'Train 8665');(_:result,leave_at,'17:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train 8665 leaves Cambridge at 17:11 and arrives in Kings lynn at 17:58 .   How does that sound ?
inform((_:search,people,'4');(_:search,type,'Train'))
user
Great . Please book it for 4 people .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'C63RMSDC');(_:booking,ticket,'31.36');(_:booking,type,'Booking'))
system
I have booked that for you ! The reference number is C63RMSDC and you will owe 31.36 at the station . Do you need anything else ?
inform((_:search,area,'centre');(_:search,category,'entertainment');(_:search,type,'Attraction'))
user
I would also line places to go that is entertainment and should be in the centre of town .
canthelp((_:search,type,'Attraction'))
system
I 'm sorry , there are no such places .   Can I change your search criteria ?
user
Yes there is . I saw it in the pamphlet . Check again please .
canthelp((_:search,area,'centre');(_:search,category,'entertainment');(_:search,type,'Attraction')) inform((_:result,area,'east');(_:result,area,'south');(_:result,area,'west');(_:result,category,'entertainment');(_:result,type,'Attraction'))
system
I apologize . I have doubled checked and there is no entertainment venues in the centre . The entertainment venues that I do have are located in the east , south and west .
inform((_:search,area,'centre');(_:search,category,'colleges');(_:search,type,'Attraction'))
user
I 'm quite sure that there are colleges in the centre of town . Can you ask a manager to help you look ?
system
Okay there is the Christ 's College located at Saint Andrew 's Street and it 's free .   Also Corpus Christi College , King 's Parade cost 2 pounds .
_:search departure cambridge
_:search destination kings lynn
_:search type Train
_:search departure cambridge
_:search destination kings lynn
_:search day sunday
_:search leave_at 17:00
_:search type Train
_:search departure cambridge
_:search destination kings lynn
_:search day sunday
_:search leave_at 17:00
_:result arrive_by 17:58
_:result departure Cambridge
_:result destination Kings lynn
_:result id Train 8665
_:result leave_at 17:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 4
_:search type Train
_:search departure cambridge
_:search destination kings lynn
_:search day sunday
_:search leave_at 17:00
_:result arrive_by 17:58
_:result departure Cambridge
_:result destination Kings lynn
_:result id Train 8665
_:result leave_at 17:11
_:result type Train
_:system offered _:booking
_:search people 4
_:system inquired _:user
_:booking category Train
_:booking ref C63RMSDC
_:booking ticket 31.36
_:booking type Booking
_:search area centre
_:search category entertainment
_:search type Attraction
_:search departure cambridge
_:search destination kings lynn
_:search day sunday
_:search leave_at 17:00
_:result arrive_by 17:58
_:result departure Cambridge
_:result destination Kings lynn
_:result id Train 8665
_:result leave_at 17:11
_:result type Train
_:system offered _:booking
_:search people 4
_:system inquired _:user
_:booking category Train
_:booking ref C63RMSDC
_:booking ticket 31.36
_:booking type Booking
_:search area centre
_:search category entertainment
_:search type Attraction
_:system canthelp _:search/d724fbc9
_:search/d724fbc9 type Attraction
_:search departure cambridge
_:search destination kings lynn
_:search day sunday
_:search leave_at 17:00
_:result arrive_by 17:58
_:result departure Cambridge
_:result destination Kings lynn
_:result id Train 8665
_:result leave_at 17:11
_:system offered _:booking
_:search people 4
_:system inquired _:user
_:booking category Train
_:booking ref C63RMSDC
_:booking ticket 31.36
_:booking type Booking
_:system canthelp _:search/d724fbc9
_:search/d724fbc9 type Attraction
_:system canthelp _:search/4b87e506
_:search/4b87e506 area centre
_:search/4b87e506 category entertainment
_:search/4b87e506 type Attraction
_:result area east
_:result area south
_:result area west
_:result category entertainment
_:result type Attraction
_:search area centre
_:search category colleges
_:search type Attraction