inform((_:search,area,'centre');(_:search,category,'college');(_:search,type,'Attraction'))
user
Hi , I 'm trying to find a place to go in the centre . A college would be fun to visit !
select((_:result,entrance_fee,'free admission');(_:result,type,'Attraction')) thank()
system
Great !   I would be happy to help you find one .   Are you looking for one with free admission ?
request((_:result,address,?);(_:result,type,'Attraction'))
user
maybe , give me the address of one please
inform((_:result,address,"King 's Parade");(_:result,amount,'several');(_:result,area,'centre');(_:result,category,'college');(_:result,entrance_fee,'free');(_:result,name,"Saint Catharine 's College");(_:result,type,'Attraction'))
system
There are several college 's in the centre .   How about Saint Catharine 's College ?   It is on King 's Parade and has free admission .
inform((_:search,arrive_by,'9');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
Thank you . I also need a train to London Kings cross , arriving by 9
request((_:search,day,?);(_:search,departure,?);(_:search,type,'Train'))
system
Where will you be departing from , and what day would you like to travel ?
inform((_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I 'll be departing from Cambridge , and would like to leave on Tuesday .
inform((_:result,arrive_by,'7:00');(_:result,day,'tuesday');(_:result,destination,'london kings cross');(_:result,id,'TR3343');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have train TR3343 arriving at london kings cross tuesday at 7:00 .   Shall I book that for you ?
inform((_:search,people,'4');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , I need 4 tickets please . Please send me the reference number .
inform((_:booking,arrive_by,'07:51');(_:booking,category,'Train');(_:booking,destination,'Kings Cross');(_:booking,destination,'London');(_:booking,leave_at,'07:00');(_:booking,ref,'AQDCG6N8');(_:booking,type,'Booking'))
system
Your tickets have been reserved , and just to clarify , that train departs at 07:00 , and arrives in London , Kings Cross at 07:51 . Would n't want you to miss the train ! Ref # : AQDCG6N8
thank()
user
OK thank you that is all I needed today .
system
Have a nice day and thank you for contacting us .
_:search area centre
_:search category college
_:search type Attraction
_:search area centre
_:search category college
_:search type Attraction
_:result entrance_fee free admission
_:result type Attraction
_:result address ?
_:search area centre
_:search category college
_:result address King 's Parade
_:result amount several
_:result area centre
_:result category college
_:result entrance_fee free
_:result name Saint Catharine 's College
_:result type Attraction
_:search arrive_by 9
_:search destination london kings cross
_:search type Train
_:search area centre
_:search category college
_:result address King 's Parade
_:result amount several
_:result area centre
_:result category college
_:result entrance_fee free
_:result name Saint Catharine 's College
_:result type Attraction
_:search arrive_by 9
_:search destination london kings cross
_:search day tuesday
_:search departure cambridge
_:search type Train
_:search area centre
_:search category college
_:result address King 's Parade
_:result amount several
_:result area centre
_:result category college
_:result entrance_fee free
_:result name Saint Catharine 's College
_:search arrive_by 9
_:search destination london kings cross
_:search day tuesday
_:search departure cambridge
_:result arrive_by 7:00
_:result day tuesday
_:result destination london kings cross
_:result id TR3343
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 4
_:search type Train
_:result ref ?
_:search area centre
_:search category college
_:result address King 's Parade
_:result amount several
_:result area centre
_:result category college
_:result entrance_fee free
_:result name Saint Catharine 's College
_:search arrive_by 9
_:search destination london kings cross
_:search day tuesday
_:search departure cambridge
_:result arrive_by 7:00
_:result day tuesday
_:result destination london kings cross
_:result id TR3343
_:result type Train
_:system offered _:booking
_:search people 4
_:search type Train
_:result ref ?
_:booking arrive_by 07:51
_:booking category Train
_:booking destination Kings Cross
_:booking destination London
_:booking leave_at 07:00
_:booking ref AQDCG6N8
_:booking type Booking