Assertion list
apple pencil (subgroup of pencil ) → IsA
Results from Ascent++: 1
apple pencil → IsA → stylus 0.16