Assertion list for term "closed under subtraction".

Results from Ascent++: 1
integer ReceivesActionclosed under subtraction 0.25