Assertion list
sandbag (primary) → HasProperty
Results from Ascent++: 2
sandbag → HasProperty → heavy 0.36
sandbag → HasProperty → ineffective 0.16