Assertion list
following example (subgroup of example ) → IsA

Results from Ascent++: 1
following exampleIsA for student 0.25