Assertion list
patron (primary) → Desires
Results from Ascent++: 1
patron → Desires → have drink 0.25