Assertion list
projector (primary) → IsA
Results from Ascent++: 2
projector → IsA → device 0.57
projector → IsA → optical device 0.43