is a necessary part of

This is a label for isNecessaryPartOf.

---