Property information
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.
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.