inform((_:search,area,'centre');(_:search,category,'theatre');(_:search,type,'Attraction'))
user
I need a theatre in the centre of town .
inform((_:result,category,'theaters');(_:result,count,'4');(_:result,name,'ADC Theatre');(_:result,type,'Attraction'))
system
I found four theaters . Would you like to try the ADC Theatre ?
request((_:result,entrance_fee,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
That sounds good , I need the postcode and the entrance fee as well please .
inform((_:result,entrance_fee,'unknown');(_:result,postcode,'cb58as');(_:result,type,'Attraction'))
system
The postcode is cb58as . Unfortunately , the entrance fee is unknown . Would you like the phone number so you can call them to ask ?
inform((_:search,arrive_by,'16:45');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
Sure , I also need a train that leaves from Cambridge and arrives by 16:45 .
inform((_:result,count,'819');(_:result,departure,'cambridge');(_:result,name,"Adc theatre 's");(_:result,phone,'01223300085');(_:result,type,'Attraction');(_:result,type,'Train')) request((_:search,day,?);(_:search,destination,?);(_:search,type,'Train'))
system
Adc theatre 's phone is 01223300085 . There are 819 trains departing cambridge . Could you be more specific on your destination and what day you 'd like to leave on ?
inform((_:search,day,'sunday');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I would like to travel to Leicester on Sunday .   Can you arrange this trip ?
inform((_:result,leave_at,'05:21');(_:result,type,'Train'))
system
I found one that leaves at 05:21 would that work for you ?
inform((_:search,arrive_by,'16:45');(_:search,departure,'Cambridge');(_:search,type,'Train'))
user
Well , I need to arrive by 16:45 , and want to depart from Cambridge .   Does that one match my request ?
inform((_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,id,'TR2025');(_:booking,type,'Booking'))
system
Yes it does , it 's train TR2025 if you 'd like to book .
inform((_:search,people,'2');(_:search,type,'Train'))
user
Yes please book that for 2 people .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'LGM5AGUR');(_:booking,type,'Booking'))
system
Sure , your reference number is LGM5AGUR . Is there anything else I can do for you ?
thank()
user
No , I think that covers it all , thanks for your help .
system
Of course , have a great day .
_:search area centre
_:search category theatre
_:search type Attraction
_:search area centre
_:search category theatre
_:search type Attraction
_:result category theaters
_:result count 4
_:result name ADC Theatre
_:result type Attraction
_:result entrance_fee ?
_:result postcode ?
_:search area centre
_:search category theatre
_:result category theaters
_:result count 4
_:result name ADC Theatre
_:result entrance_fee unknown
_:result postcode cb58as
_:result type Attraction
_:search arrive_by 16:45
_:search departure cambridge
_:search type Train
_:search area centre
_:search category theatre
_:result category theaters
_:result entrance_fee unknown
_:result postcode cb58as
_:search arrive_by 16:45
_:search departure cambridge
_:result count 819
_:result departure cambridge
_:result name Adc theatre 's
_:result phone 01223300085
_:result type Attraction
_:result type Train
_:search day sunday
_:search destination leicester
_:search type Train
_:search area centre
_:search category theatre
_:result category theaters
_:result entrance_fee unknown
_:result postcode cb58as
_:result count 819
_:result departure cambridge
_:result name Adc theatre 's
_:result phone 01223300085
_:search day sunday
_:search destination leicester
_:result leave_at 05:21
_:result type Train
_:search arrive_by 16:45
_:search departure Cambridge
_:search type Train
_:search area centre
_:search category theatre
_:result category theaters
_:result entrance_fee unknown
_:result postcode cb58as
_:result count 819
_:result departure cambridge
_:result name Adc theatre 's
_:result phone 01223300085
_:search day sunday
_:search destination leicester
_:result leave_at 05:21
_:search arrive_by 16:45
_:search departure Cambridge
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking id TR2025
_:booking type Booking
_:search people 2
_:search type Train
_:search area centre
_:search category theatre
_:result category theaters
_:result entrance_fee unknown
_:result postcode cb58as
_:result count 819
_:result departure cambridge
_:result name Adc theatre 's
_:result phone 01223300085
_:search day sunday
_:search destination leicester
_:result leave_at 05:21
_:search arrive_by 16:45
_:search departure Cambridge
_:result type Train
_:system offered _:booking
_:booking id TR2025
_:search people 2
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref LGM5AGUR
_:booking type Booking