Assertion list for term "divided by 12".

Results from Ascent++: 3
camper ReceivesActiondivided by 12 0.30
sum ReceivesActiondivided by 12 0.27
size ReceivesActiondivided by 12 0.27