Assertion list
definition (primary) → IsA
Results from Ascent++: 2
definition → IsA → information 0.41
definition → IsA → explanation 0.31