added disjointPropertyWith