Assertion list
fluorescent light (subgroup of light ) → HasA
Results from Ascent++: 1
fluorescent light → HasA → mercury 0.26