Assertion list
fluorescent light (subgroup of light ) → IsA

Results from Ascent++: 1
fluorescent lightIsA long cumbersome glass tubes 0.16