Assertion list
feature (aspect of flashlight ) → HasProperty
Results from Ascent++: 2
feature → HasProperty → useful 0.59
feature → HasProperty → important 0.27