inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
I am looking for something to do in the centre of town .
request((_:search,category,?);(_:search,type,'Attraction')) inform((_:result,amount,"There 's so much to do");(_:result,area,'centre');(_:result,category,'boats');(_:result,category,'cinemas');(_:result,category,'concerthall');(_:result,category,'museums');(_:result,type,'Attraction'))
system
There 's so much to do in the centre of town . There are museums , boats , concerthall , cinemas . What are your interests ?
inform((_:search,category,'theatre');(_:search,type,'Attraction'))
user
I think a theatre sounds nice .
inform((_:result,name,'Adc Theatre on Park Street');(_:result,type,'Attraction'))
system
I have the Adc Theatre on Park Street .   Would that work for you ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Yes , that would be great . Can you give me the phone number , address , and postcode . ?
reqmore() inform((_:result,address,'Park Street');(_:result,phone,'01223300085');(_:result,postcode,'cb58as');(_:result,type,'Attraction'))
system
Their address is Park Street , postcode cb58as . Their phone number is 01223300085 . Can I help you with anything else ?
inform((_:search,day,'sunday');(_:search,type,'Train'))
user
Yes , I need a train for sunday .
request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What are your departure and arrival stations , and what time of day would you like to travel ?
inform((_:search,arrive_by,'20:45');(_:search,departure,'london kings cross');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am leaving london kings cross and need to arrive in cambridge by 20:45 .
inform((_:result,arrive_by,'6:08');(_:result,id,'TR3350');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR3350 train will arrive at 6:08 . Would you like to book a ticket ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
Yes please for 7 people .
reqmore() inform((_:booking,category,'Train');(_:booking,people,'seven');(_:booking,ref,'UOXKTDIK');(_:booking,ticket,'132.16 GBP');(_:booking,type,'Booking'))
system
I have made the booking for seven people . Your reference number is UOXKTDIK and there will be 132.16 GBP fare payable at the station . Do you need anything else ?
thank()
user
Great , thanks so much , that 's all I need ! Have a great day !
system
i am glad i have been of help . good day
_:search area centre
_:search type Attraction
_:search area centre
_:result amount There 's so much to do
_:result area centre
_:result category boats
_:result category cinemas
_:result category concerthall
_:result category museums
_:result type Attraction
_:search category theatre
_:search type Attraction
_:search area centre
_:result amount There 's so much to do
_:result area centre
_:result category boats
_:result category cinemas
_:result category concerthall
_:result category museums
_:search category theatre
_:search type Attraction
_:result name Adc Theatre on Park Street
_:result type Attraction
_:result address ?
_:result phone ?
_:result postcode ?
_:search area centre
_:result amount There 's so much to do
_:result area centre
_:result category boats
_:result category cinemas
_:result category concerthall
_:result category museums
_:search category theatre
_:result name Adc Theatre on Park Street
_:system inquired _:user
_:result address Park Street
_:result phone 01223300085
_:result postcode cb58as
_:result type Attraction
_:search day sunday
_:search type Train
_:search area centre
_:result amount There 's so much to do
_:result area centre
_:result category boats
_:result category cinemas
_:result category concerthall
_:result category museums
_:search category theatre
_:result name Adc Theatre on Park Street
_:system inquired _:user
_:result address Park Street
_:result phone 01223300085
_:result postcode cb58as
_:result type Attraction
_:search day sunday
_:search leave_at ?
_:search arrive_by 20:45
_:search departure london kings cross
_:search destination cambridge
_:search type Train
_:search area centre
_:result amount There 's so much to do
_:result area centre
_:result category boats
_:result category cinemas
_:result category concerthall
_:result category museums
_:search category theatre
_:result name Adc Theatre on Park Street
_:system inquired _:user
_:result address Park Street
_:result phone 01223300085
_:result postcode cb58as
_:search day sunday
_:search leave_at ?
_:search arrive_by 20:45
_:search departure london kings cross
_:search destination cambridge
_:result arrive_by 6:08
_:result id TR3350
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:search area centre
_:result amount There 's so much to do
_:result area centre
_:result category boats
_:result category cinemas
_:result category concerthall
_:result category museums
_:search category theatre
_:result name Adc Theatre on Park Street
_:result address Park Street
_:result phone 01223300085
_:result postcode cb58as
_:search day sunday
_:search leave_at ?
_:search arrive_by 20:45
_:search departure london kings cross
_:search destination cambridge
_:result arrive_by 6:08
_:result id TR3350
_:result type Train
_:system offered _:booking
_:search people 7
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking people seven
_:booking ref UOXKTDIK
_:booking ticket 132.16 GBP
_:booking type Booking