Assertion list
relevant evidence (subgroup of evidence ) → IsA
Results from Ascent++: 1
relevant evidence → IsA → evidence 0.67