Assertion list
pen (primary) → IsA
Results from Ascent++: 3
pen → IsA → device 0.45
pen → IsA → object 0.25
pen → IsA → product 0.16