Assertion list
smoker (primary) → MotivatedByGoal
Results from Ascent++: 1
smoker → MotivatedByGoal → quit 0.51