Assertion list
dye laser (subgroup of laser ) → IsA

Results from Ascent++: 1
dye laserIsA laser 0.25