has defined level

This is a label for hasDefinedLevel.

---