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.
Chris Mungall
https://orcid.org/0000-0002-6601-2165