Assertion list for term "4 red balls".

Results from Ascent++: 1
box HasA4 red balls 0.33