Assertion list
puffer (primary) → HasProperty
Results from Ascent++: 2
puffer → HasProperty → sensitive 0.40
puffer → HasProperty → fine 0.16