has part that occurs in

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.

term editor

https://orcid.org/0000-0002-6601-2165