Copy
p has part that occurs in c if and only if there exists some p1, such that p has_part p1, and p1 occurs in c.
has_part_that_occurs_in
