Assertion list
value (aspect of parameter ) → Causes
Results from Ascent++: 1
value → Causes → example 0.25