Assertion list for term "divided by a scaling factor".

Results from Ascent++: 1
subtraction ReceivesActiondivided by a scaling factor 0.25