Assertion list
discovery (primary) → IsA
Results from Ascent++: 2
discovery → IsA → the act 0.31
discovery → IsA → great ship 0.18