Assertion list for term "exceed predetermined amount".

Results from Ascent++: 1
circuit CapableOfexceed predetermined amount 0.25