Assertion list
bushel (primary) → HasProperty
Results from Ascent++: 3
bushel → HasProperty → equal 0.44
bushel → HasProperty → sufficient 0.44
bushel → HasProperty → big 0.25