this can be skipped sooner
subroperties in unmmaped
corrected no reasoning on unmmaped
predicates subp reverse and with sets
map_attributes with equivalent predicates