Assertion list
checkmate (primary) → HasA
Results from Ascent++: 1
checkmate → HasA → a couple of boat lengths 0.25