Assertion list
substitute check (subgroup of check ) → IsA
Results from Ascent++: 1
substitute check → IsA → zero 0.25