Assertion list
rifle scope (subgroup of scope ) → IsA
Results from Ascent++: 1
rifle scope → IsA → sighting device 0.25