inform((_:search,area,'centre');(_:search,category,'entertainment');(_:search,type,'Attraction'))
user
What kind of entertainment is there in the centre ?
request((_:search,area,?);(_:search,type,'Attraction')) canthelp((_:search,area,'centre');(_:search,category,'entertainment');(_:search,type,'Attraction'))
system
There is no entertainment in the centre . Would you like to try another part of the city ?
inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
Are there any architectural attractions in the centre ?
select((_:result,category,'churches');(_:result,category,'school');(_:result,type,'Attraction')) inform((_:result,count,'5');(_:result,type,'Attraction')) reqmore()
system
There are 5 that match your request . All are churches except for one which is a school . Would you like more information on any of these ?
inform((_:search,category,'architecture');(_:search,type,'Attraction'))
user
Okay , well then how about architecture ?
inform((_:result,name,'Old Schools');(_:result,type,'Attraction')) thank()
system
Yes you mentioned that . How about Old Schools ?
inform((_:search,day,'friday');(_:search,leave_at,'13:45');(_:search,name,'old schools');(_:search,type,'Attraction');(_:search,type,'Train')) request((_:result,postcode,?);(_:result,type,'Attraction'))
user
What is the postcode for Old Schools ? Also I need a train that leaves after 13:45 on Friday . Can you tell me what is available ?
inform((_:result,name,'Old Schools');(_:result,postcode,'cb21tt');(_:result,type,'Attraction')) request((_:search,departure,?);(_:search,type,'Train'))
system
cb21tt is the postcode for Old Schools .   What is the area that you would like to depart from for the travel arrangements ?
inform((_:search,departure,'ely');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
The train should leave from ely and go to cambridge
system
Okay , for sure . I booked it .
_:search area centre
_:search category entertainment
_:search type Attraction
_:search category entertainment
_:system canthelp _:search/b0f54545
_:search/b0f54545 area centre
_:search/b0f54545 category entertainment
_:search/b0f54545 type Attraction
_:search area centre
_:search type Attraction
_:system canthelp _:search/b0f54545
_:search/b0f54545 area centre
_:search/b0f54545 category entertainment
_:search/b0f54545 type Attraction
_:search area centre
_:result category churches
_:result category school
_:result count 5
_:result type Attraction
_:system inquired _:user
_:search category architecture
_:search type Attraction
_:system canthelp _:search/b0f54545
_:search/b0f54545 area centre
_:search/b0f54545 category entertainment
_:search/b0f54545 type Attraction
_:search area centre
_:result category churches
_:result category school
_:result count 5
_:system inquired _:user
_:search category architecture
_:result name Old Schools
_:result type Attraction
_:search day friday
_:search leave_at 13:45
_:search name old schools
_:search type Attraction
_:search type Train
_:result postcode ?
_:system canthelp _:search/b0f54545
_:search/b0f54545 area centre
_:search/b0f54545 category entertainment
_:search/b0f54545 type Attraction
_:search area centre
_:result category churches
_:result category school
_:result count 5
_:system inquired _:user
_:search category architecture
_:search day friday
_:search leave_at 13:45
_:search name old schools
_:result name Old Schools
_:result postcode cb21tt
_:result type Attraction
_:search departure ely
_:search destination cambridge
_:search type Train