Assertion list
goal (primary) → MotivatedByGoal
Results from Ascent++: 1
goal → MotivatedByGoal → fit 0.38