Assertion list
video projector (subgroup of projector ) → IsA
Results from Ascent++: 1
video projector → IsA → an image projector 0.25