Assertion list
slang (primary) → IsA
Results from Ascent++: 1
slang → IsA → language 0.25