Assertion list
feature (aspect of detector ) → HasA

Results from Ascent++: 1
featureHasA nanoscale dimensions 0.25