Assertion list
dieter (primary) → Desires
Results from Ascent++: 2
dieter → Desires → lose weight 0.52
dieter → Desires → lose more weight 0.25