has necessary part

This is a label for hasNecessaryPart.