Assertion list
diode laser (subgroup of laser ) → IsA
Results from Ascent++: 1
diode laser → IsA → the best overall laser 0.16