Assertion list
frank (primary) → Desires
Results from Ascent++: 1
frank → Desires → life 0.25