Copy
q characteristic of part of w if and only if there exists some p such that q inheres in p and p part of w.
inheres_in_part_of
