Assertion list
case (aspect of plaintiff ) → IsA
Results from Ascent++: 1
case → IsA → fact 0.53