Assertion list
pencil (primary) → IsA
Results from Ascent++: 1
pencil → IsA → thing 0.46