inform((_:search,area,'center');(_:search,category,'entertainment');(_:search,type,'Attraction'))
user
Can you tell me a bit about the entertainment type places in the center of town ?
request((_:search,category,?);(_:search,type,'Attraction')) inform((_:result,count,'44');(_:result,type,'Attraction'))
system
I have 44 places . What type are you looking for ?
inform((_:search,category,'college');(_:search,type,'Attraction'))
user
I want it to be a type of college .
inform((_:result,area,'centre');(_:result,category,'colleges');(_:result,count,'13');(_:result,entrance_fee,'2 pound');(_:result,name,'Corpus Christi');(_:result,type,'Attraction'))
system
There are 13 colleges in city centre . My personal favorite is Corpus Christi , even though they charge a 2 pound entrance fee .
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Great , can I get the phone number and postcode ?
reqmore() inform((_:result,phone,'01223338000');(_:result,postcode,'cb21rh');(_:result,type,'Attraction'))
system
Sure , the phone number is 01223338000 and post code is cb21rh .   What else can I assist you with today ?
inform((_:search,area,'centre');(_:search,category,'entertainment');(_:search,type,'Attraction'))
user
I 'm looking for an entertainment venue in the centre of town .   Are there any ?
request((_:search,area,?);(_:search,type,'Attraction')) canthelp((_:search,type,'Attraction'))
system
unfortunately no . want to try another area ?
inform((_:search,category,'college');(_:search,day,'wednesday');(_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,leave_at,'11:00');(_:search,type,'Attraction');(_:search,type,'Train'))
user
No thanks ! I forgot that I 'm going to the college instead . I do need a train that goes to Cambridge on Wednesday . I will depart from Kings Lynn after 11:00 .
inform((_:result,arrive_by,'12:58');(_:result,destination,'Cambridge');(_:result,leave_at,'12:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a 12:11 that arrives n Cambridge at 12:58 . Would you like me to boo that for you ?
inform((_:search,people,'5');(_:search,type,'Train'))
user
Yes , please I will need 5 tickets .
inform((_:booking,category,'Train');(_:booking,type,'Booking');(_:result,ref,'LNZ0GIXG');(_:result,type,'Train'))
system
Your tickets have been booked . Your reference number is LNZ0GIXG .
thank()
user
Wonderful . Thanks very much for your help today .
reqmore()
system
Is there anything else you need help with today ?
thank()
user
That 's everything I needed . Thanks and goodbye !
system
Thank you for contacting us and have a nice day .
_:search area center
_:search category entertainment
_:search type Attraction
_:search area center
_:result count 44
_:result type Attraction
_:search category college
_:search type Attraction
_:search area center
_:search category college
_:search type Attraction
_:result area centre
_:result category colleges
_:result count 13
_:result entrance_fee 2 pound
_:result name Corpus Christi
_:result type Attraction
_:result phone ?
_:result postcode ?
_:result area centre
_:result category colleges
_:result count 13
_:result entrance_fee 2 pound
_:result name Corpus Christi
_:system inquired _:user
_:result phone 01223338000
_:result postcode cb21rh
_:result type Attraction
_:search area centre
_:search category entertainment
_:search type Attraction
_:result area centre
_:result category colleges
_:result count 13
_:result entrance_fee 2 pound
_:result name Corpus Christi
_:system inquired _:user
_:result phone 01223338000
_:result postcode cb21rh
_:result type Attraction
_:search area ?
_:system canthelp _:search/3f6ef399
_:search/3f6ef399 type Attraction
_:search category college
_:search day wednesday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 11:00
_:search type Attraction
_:search type Train
_:result area centre
_:result category colleges
_:result count 13
_:result entrance_fee 2 pound
_:result name Corpus Christi
_:system inquired _:user
_:result phone 01223338000
_:result postcode cb21rh
_:search area ?
_:system canthelp _:search/3f6ef399
_:search/3f6ef399 type Attraction
_:search category college
_:search day wednesday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 11:00
_:result arrive_by 12:58
_:result destination Cambridge
_:result leave_at 12:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 5
_:search type Train
_:result area centre
_:result category colleges
_:result count 13
_:result entrance_fee 2 pound
_:result name Corpus Christi
_:system inquired _:user
_:result phone 01223338000
_:result postcode cb21rh
_:search area ?
_:system canthelp _:search/3f6ef399
_:search/3f6ef399 type Attraction
_:search category college
_:search day wednesday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 11:00
_:result arrive_by 12:58
_:result destination Cambridge
_:result leave_at 12:11
_:system offered _:booking
_:search people 5
_:search type Train
_:booking category Train
_:booking type Booking
_:result ref LNZ0GIXG
_:result type Train
_:result area centre
_:result category colleges
_:result count 13
_:result entrance_fee 2 pound
_:result name Corpus Christi
_:result phone 01223338000
_:result postcode cb21rh
_:search area ?
_:system canthelp _:search/3f6ef399
_:search/3f6ef399 type Attraction
_:search category college
_:search day wednesday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 11:00
_:result arrive_by 12:58
_:result destination Cambridge
_:result leave_at 12:11
_:system offered _:booking
_:search people 5
_:search type Train
_:booking category Train
_:booking type Booking
_:result ref LNZ0GIXG
_:result type Train
_:system inquired _:user