Assertion list
green light (subgroup of light ) → HasProperty

Results from Ascent++: 1
green lightHasProperty useful 0.33