inform((_:search,area,'south');(_:search,category,'swimming pool');(_:search,type,'Attraction'))
user
I need to find a swimming pool in the south area of Cambridge .
request((_:search,area,?);(_:search,category,?);(_:search,type,'Attraction')) canthelp((_:search,area,'south');(_:search,category,'swimming pools');(_:search,type,'Attraction'))
system
There are n't any swimming pools in south Cambridge . Do you to expand your search to different areas or other types of attractions ?
inform((_:search,category,'cinema');(_:search,type,'Attraction'))
user
Is there a type of cinema ?
inform((_:result,count,'1');(_:result,name,'Cineworld');(_:result,type,'Attraction'))
system
Yes ! I have one called Cineworld . Would you like their telephone number .
request((_:result,entrance_fee,?);(_:result,phone,?);(_:result,type,'Attraction'))
user
Yes please give me their phone number and tell me what their entrance fee is please .
inform((_:result,entrance_fee,'unable to view');(_:result,name,"Cineworld Cinema 's");(_:result,phone,'00872208000');(_:result,type,'Attraction'))
system
Cineworld Cinema 's phone number is 00872208000 .   Unfortunately , I am unable to view their entrance fee .   Did you also need the address ?
inform((_:search,destination,'kings lynn');(_:search,leave_at,'09:45');(_:search,type,'Train'))
user
No , I do n't need the address . You can however help me find a train that leaves for Kings Lynn after 09:45
request((_:booking,day,?);(_:booking,type,'Booking');(_:search,day,?);(_:search,type,'Train'))
system
On what day ?
inform((_:search,day,'sunday');(_:search,type,'Train'))
user
Sunday please thanks for your help .
inform((_:result,id,'TR7535');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
train TR7535 should be ok , should I book ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
Yes , I need to book tickets for 7 people please .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'I76GOXIN');(_:booking,ticket,'54.88 GBP');(_:booking,type,'Booking'))
system
That booking was successful . Your reference number is I76GOXIN and the cost is 54.88 GBP . Anything else ?
thank()
user
No that 's everything , thank you so much !
system
Thank you for contacting Cambridge TownInfo Centre .   Have a wonderful day !
_:search area south
_:search category swimming pool
_:search type Attraction
_:search area ?
_:system canthelp _:search/a72a157a
_:search/a72a157a area south
_:search/a72a157a category swimming pools
_:search/a72a157a type Attraction
_:search category cinema
_:search type Attraction
_:search area ?
_:system canthelp _:search/a72a157a
_:search/a72a157a area south
_:search/a72a157a category swimming pools
_:search/a72a157a type Attraction
_:search category cinema
_:search type Attraction
_:result count 1
_:result name Cineworld
_:result type Attraction
_:result entrance_fee ?
_:result phone ?
_:search area ?
_:system canthelp _:search/a72a157a
_:search/a72a157a area south
_:search/a72a157a category swimming pools
_:search/a72a157a type Attraction
_:search category cinema
_:result count 1
_:result entrance_fee unable to view
_:result name Cineworld Cinema 's
_:result phone 00872208000
_:result type Attraction
_:search destination kings lynn
_:search leave_at 09:45
_:search type Train
_:search area ?
_:system canthelp _:search/a72a157a
_:search/a72a157a area south
_:search/a72a157a category swimming pools
_:search/a72a157a type Attraction
_:search category cinema
_:result count 1
_:result entrance_fee unable to view
_:result name Cineworld Cinema 's
_:result phone 00872208000
_:result type Attraction
_:search destination kings lynn
_:search leave_at 09:45
_:booking day ?
_:booking type Booking
_:search day sunday
_:search type Train
_:search area ?
_:system canthelp _:search/a72a157a
_:search/a72a157a area south
_:search/a72a157a category swimming pools
_:search/a72a157a type Attraction
_:search category cinema
_:result count 1
_:result entrance_fee unable to view
_:result name Cineworld Cinema 's
_:result phone 00872208000
_:search destination kings lynn
_:search leave_at 09:45
_:booking day ?
_:booking type Booking
_:search day sunday
_:result id TR7535
_:result type Train
_:system offered _:booking
_:booking category Train
_:search people 7
_:search type Train
_:search area ?
_:system canthelp _:search/a72a157a
_:search/a72a157a area south
_:search/a72a157a category swimming pools
_:search/a72a157a type Attraction
_:search category cinema
_:result count 1
_:result entrance_fee unable to view
_:result name Cineworld Cinema 's
_:result phone 00872208000
_:search destination kings lynn
_:search leave_at 09:45
_:booking day ?
_:search day sunday
_:result id TR7535
_:result type Train
_:system offered _:booking
_:search people 7
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref I76GOXIN
_:booking ticket 54.88 GBP
_:booking type Booking