Assertion list
voided check (subgroup of check ) → IsA
Results from Ascent++: 1
voided check → IsA → check 0.43