has essential part

This is a label for hasNecessaryPart.

---