Assertion list
substitute check (subgroup of check ) → CapableOf
Results from Ascent++: 1
substitute check → CapableOf → correspond to check 0.16