Assertion list
predicate (primary) → IsA
Results from Ascent++: 2
predicate → IsA → function 0.50
predicate → IsA → term 0.25