has_Element hadMember Network SetOfThings SetOfNetworks To be pushed down to CDAO. This would retain though in MIAPA the equivalence to "prov:Collection and provhadMember only cdao:Network". Collection