has necessary part
This is a label for
hasNecessaryPart
.