Assertion list
financier (primary) → Desires
Results from Ascent++: 1
financier → Desires → return 0.25