Assertion list
basic (primary) → IsA
Results from Ascent++: 1
basic → IsA → language 0.50