Assertion list
energy saving light bulb (subgroup of light bulb ) → HasA
Results from Ascent++: 1
energy saving light bulb → HasA → mercury 0.32