Assertion list for term "subtract the compensation coefficient".

Results from Ascent++: 1
adder CapableOfsubtract the compensation coefficient 0.25