Assertion list for term "fall below the threshold".

Results from Ascent++: 2
signal CapableOffall below the threshold 0.45
value (aspect of parameter) CapableOffall below the threshold 0.25