Assertion list
setting (aspect of flashlight ) → HasProperty
Results from Ascent++: 1
setting → HasProperty → great 0.16