Assertion list
spy (primary) → Desires
Results from Ascent++: 1
spy → Desires → buy blueberry pie 0.25