Assertion list
idiot (primary) → Desires
Results from Ascent++: 1
idiot → Desires → be apple 0.16