inform((_:search,type,'Attraction'))
user
Yes , could you help me with some information on places to go in town ?
inform((_:result,address,'Trinity Lane');(_:result,category,'architecture');(_:result,name,'Old Schools');(_:result,type,'Attraction'))
system
I would recommend Old Schools located at Trinity Lane . The architecture there is beautiful .
user
I 'm actually looking for a place to take the family swimming . Is there anything of that sort available ?
reqmore() inform((_:result,area,'centre');(_:result,area,'northend');(_:result,category,'swimming pools');(_:result,count,'4');(_:result,type,'Attraction'))
system
Certainly , there are 4 swimming pools in town , two on the northend , one on the eastside , and one in city centre . Would you like more information ?
request((_:result,phone,?);(_:result,type,'Attraction'))
user
I do n't care what part of town it is in .   Can you recommend one and give me the phone number for it ?
inform((_:result,name,'kings hedges learner pool');(_:result,phone,'01223353248');(_:result,type,'Attraction')) reqmore()
system
Yes , kings hedges learner pool is really nice .   Their number is 01223353248 .   Is there anything else I can assist you with ?
inform((_:search,departure,'cambridge');(_:search,destination,'norwich');(_:search,leave_at,'08:45');(_:search,type,'Train'))
user
Yes I need to catch a train to Norwich from Cambridge that leaves after 08:45 .
request((_:search,day,?);(_:search,type,'Train'))
system
What day will you be leaving ?
inform((_:search,day,'monday');(_:search,type,'Train'))
user
I need to travel on Monday .
request((_:search,arrive_by,?);(_:search,type,'Train'))
system
Is there a certain time you need to arrive by ?
inform((_:search,leave_at,'08:45');(_:search,type,'Train'))
user
I want to leave sometime after 08:45 .
inform((_:result,id,'TR8495');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR8495 meets your criteria . Would you like to book tickets ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
Yes please get me 7 tickets for that .
inform((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Your booking was successful . Would you like the total fee or the reference number ?
request((_:result,ref,?);(_:result,type,'Train'))
user
May I have the reference number please ?
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'3QUNF9LO');(_:booking,type,'Booking'))
system
Yes , why did I ask , that should be implied that someone would want it , my mistake , reference number is 3QUNF9LO , any further questions ?
thank()
user
No thanks , you were helpful , have a great day .
system
Glad to have been of help . Thank you for using the   Cambridge TownInfo centre . Have a great day !
_:search type Attraction
_:search type Attraction
_:result address Trinity Lane
_:result category architecture
_:result name Old Schools
_:result type Attraction
_:search type Attraction
_:result address Trinity Lane
_:result name Old Schools
_:system inquired _:user
_:result area centre
_:result area northend
_:result category swimming pools
_:result count 4
_:result type Attraction
_:result phone ?
_:result address Trinity Lane
_:result area centre
_:result area northend
_:result category swimming pools
_:result count 4
_:result name kings hedges learner pool
_:result phone 01223353248
_:result type Attraction
_:system inquired _:user
_:search departure cambridge
_:search destination norwich
_:search leave_at 08:45
_:search type Train
_:result address Trinity Lane
_:result area centre
_:result area northend
_:result category swimming pools
_:result count 4
_:result name kings hedges learner pool
_:result phone 01223353248
_:result type Attraction
_:system inquired _:user
_:search departure cambridge
_:search destination norwich
_:search leave_at 08:45
_:search day monday
_:search type Train
_:result address Trinity Lane
_:result area centre
_:result area northend
_:result category swimming pools
_:result count 4
_:result name kings hedges learner pool
_:result phone 01223353248
_:result type Attraction
_:system inquired _:user
_:search departure cambridge
_:search destination norwich
_:search day monday
_:search arrive_by ?
_:search leave_at 08:45
_:search type Train
_:result address Trinity Lane
_:result area centre
_:result area northend
_:result category swimming pools
_:result count 4
_:result name kings hedges learner pool
_:result phone 01223353248
_:system inquired _:user
_:search departure cambridge
_:search destination norwich
_:search day monday
_:search arrive_by ?
_:search leave_at 08:45
_:result id TR8495
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:result address Trinity Lane
_:result area centre
_:result area northend
_:result category swimming pools
_:result count 4
_:result name kings hedges learner pool
_:result phone 01223353248
_:system inquired _:user
_:search departure cambridge
_:search destination norwich
_:search day monday
_:search arrive_by ?
_:search leave_at 08:45
_:result id TR8495
_:result type Train
_:system offered _:booking
_:search people 7
_:search type Train
_:booking category Train
_:booking type Booking
_:result ref ?
_:result address Trinity Lane
_:result area centre
_:result area northend
_:result category swimming pools
_:result count 4
_:result name kings hedges learner pool
_:result phone 01223353248
_:search departure cambridge
_:search destination norwich
_:search day monday
_:search arrive_by ?
_:search leave_at 08:45
_:result id TR8495
_:result type Train
_:system offered _:booking
_:search people 7
_:search type Train
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 3QUNF9LO
_:booking type Booking