Assertion list
number (aspect of bill ) → Desires
Results from Ascent++: 1
number → Desires → generate the trek 0.25