Assertion list
menace (primary) → HasProperty
Results from Ascent++: 3
menace → HasProperty → low 0.36
menace → HasProperty → real 0.16
menace → HasProperty → undefeated 0.16