Assertion list
miller (primary) → MotivatedByGoal
Results from Ascent++: 1
miller → MotivatedByGoal → desire 0.25