Assertion list
abstraction (primary) → IsA
Results from Ascent++: 2
abstraction → IsA → representative of real world 0.64
abstraction → IsA → representative of their interre… 0.51