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