Assertion list
pencil sharpener (primary) → HasProperty
Results from Ascent++: 2
pencil sharpener → HasProperty → functional 0.59
pencil sharpener → HasProperty → old 0.16