Assertion list
second appraisal (subgroup of appraisal ) → IsA
Results from Ascent++: 1
second appraisal → IsA → binding 0.25