Assertion list
hypothesis (primary) → IsA
Results from Ascent++: 1
hypothesis → IsA → theory 0.42