Assertion list
cider (primary) → MotivatedByGoal
Results from Ascent++: 1
cider → MotivatedByGoal → walk 0.16