Assertion list
feature (aspect of oscilloscope ) → HasProperty

Results from Ascent++: 1
featureHasProperty useful 0.31