Assertion list
sextant (primary) → IsA
Results from Ascent++: 3
sextant → IsA → instrument 0.44
sextant → IsA → reflecting navigation instrument 0.30
sextant → IsA → device 0.25