Assertion list
diode laser (subgroup of laser ) → HasProperty
Results from Ascent++: 2
diode laser → HasProperty → cheaper 0.16
diode laser → HasProperty → compact 0.16