Assertion list
portable projector (subgroup of projector ) → IsA
Results from Ascent++: 1
portable projector → IsA → the best gift 0.16