inform((_:search,area,'center');(_:search,category,'entertainment');(_:search,type,'Attraction'))
user
Could you help me find some entertainment in the center of town ?
request((_:search,area,?);(_:search,type,'Attraction')) canthelp((_:search,area,'centre');(_:search,category,'entertainment centers');(_:search,type,'Attraction'))
system
There are no entertainment centers in the centre of town .   Would you like to try another area ?
request((_:result,area,?);(_:result,type,'Attraction'))
user
Yes , another area is fine .
inform((_:result,name,'the funky fun house');(_:result,type,'Attraction'))
system
What about the funky fun house ?
inform((_:search,area,'centre');(_:search,category,'architecture');(_:search,type,'Attraction'))
user
Can you check for a type of architecture in the centre area please ?
inform((_:result,category,'architecture');(_:result,count,'4');(_:result,name,'all saints church');(_:result,name,"great saint mary 's church");(_:result,name,'holy trinity church');(_:result,name,"little saint mary 's church");(_:result,name,'old schools');(_:result,type,'Attraction'))
system
I have 4 architecture attractions .   They include all saints church , great saint mary 's church , holy trinity church , little saint mary 's church and old schools .
request((_:result,entrance_fee,?);(_:result,type,'Attraction')) inform((_:search,name,'All saints church');(_:search,type,'Attraction'))
user
Can you tell me the entrance fee of All saints church ?
inform((_:result,entrance_fee,'free');(_:result,type,'Attraction'))
system
It is free .   Would you like the address and phone number for it ?
inform((_:search,arrive_by,'9:00');(_:search,departure,'london liverpool street');(_:search,type,'Train'))
user
No , that 's fine , but I need a train from london liverpool street arriving by 9:00 .
system
TR6939 arrives in cambridge by 07:07 . Will that work for you or do you have another destination in mind .
_:search area center
_:search category entertainment
_:search type Attraction
_:search category entertainment
_:search area ?
_:search type Attraction
_:system canthelp _:search/e7ea8e40
_:search/e7ea8e40 area centre
_:search/e7ea8e40 category entertainment centers
_:search/e7ea8e40 type Attraction
_:result area ?
_:result type Attraction
_:system canthelp _:search/e7ea8e40
_:search/e7ea8e40 area centre
_:search/e7ea8e40 category entertainment centers
_:search/e7ea8e40 type Attraction
_:result area ?
_:result name the funky fun house
_:result type Attraction
_:search area centre
_:search category architecture
_:search type Attraction
_:system canthelp _:search/e7ea8e40
_:search/e7ea8e40 area centre
_:search/e7ea8e40 category entertainment centers
_:search/e7ea8e40 type Attraction
_:result area ?
_:search area centre
_:search category architecture
_:result category architecture
_:result count 4
_:result name all saints church
_:result name great saint mary 's church
_:result name holy trinity church
_:result name little saint mary 's church
_:result name old schools
_:result type Attraction
_:result entrance_fee ?
_:search name All saints church
_:search type Attraction
_:system canthelp _:search/e7ea8e40
_:search/e7ea8e40 area centre
_:search/e7ea8e40 category entertainment centers
_:search/e7ea8e40 type Attraction
_:result area ?
_:search area centre
_:search category architecture
_:result category architecture
_:result count 4
_:result name all saints church
_:result name great saint mary 's church
_:result name holy trinity church
_:result name little saint mary 's church
_:result name old schools
_:search name All saints church
_:result entrance_fee free
_:result type Attraction
_:search arrive_by 9:00
_:search departure london liverpool street
_:search type Train