is a defined level of

This is a label for isDefinedLevelOf.