disjunctionproperty tagslist