Assertion list
bulb (aspect of flashlight ) → HasA
Results from Ascent++: 1
bulb → HasA → bromine 0.25