Assertion list
mode (aspect of flashlight ) → HasProperty
Results from Ascent++: 2
mode → HasProperty → useful 0.38
mode → HasProperty → perfect 0.32