Assertion list
light bulb (primary) → DefinedAs
Results from Ascent++: 2
light bulb → DefinedAs → 9v 0.5w flashlight bulb 0.57
light bulb → DefinedAs → a 12v 5w incandescent bulb 0.55