Assertion list
value (aspect of variable ) → Desires
Results from Ascent++: 1
value → Desires → a value of seven 7 0.28