Assertion list
information (primary) → Desires
Results from Ascent++: 1
information → Desires → be free 0.62