Assertion list
claim (primary) → IsA
Results from Ascent++: 2
claim → IsA → assertion 0.57
claim → IsA → demand 0.56