Assertion list
consequence (primary) → IsA
Results from Ascent++: 1
consequence → IsA → the result 0.42