Assertion list for term "divided into positive".

Results from Ascent++: 1
sign ReceivesActiondivided into positive 0.33