Assertion list
shark (primary) → Desires
Results from Ascent++: 1
shark → Desires → eat human 0.32