Assertion list
following outline (subgroup of outline ) → IsA

Results from Ascent++: 1
following outlineIsA for a page paper 0.68