Assertion list
checkmate (primary) → HasProperty
Results from Ascent++: 2
checkmate → HasProperty → possible 0.68
checkmate → HasProperty → impossible 0.49