Assertion list
certified check (subgroup of check ) → IsA
Results from Ascent++: 1
certified check → IsA → check 0.77