Assertion list
abstraction (primary) → MotivatedByGoal
Results from Ascent++: 2
abstraction → MotivatedByGoal → datum 0.41
abstraction → MotivatedByGoal → land 0.16