Assertion list
stapler (primary) → HasProperty
Results from Ascent++: 3
stapler → HasProperty → useful 0.44
stapler → HasProperty → solid 0.36
stapler → HasProperty → powerful 0.32