Assertion list
laser projector (subgroup of projector ) → HasProperty
Results from Ascent++: 1
laser projector → HasProperty → expensive 0.16