Assertion list
bright light (subgroup of light ) → HasProperty
Results from Ascent++: 2
bright light → HasProperty → perfect 0.53
bright light → HasProperty → great 0.42