Assertion list for term "a minus sign".

Results from Ascent++: 1
number (aspect of variable) HasAa minus sign 0.25