Assertion list
range (aspect of radar ) → HasProperty
Results from Ascent++: 3
range → HasProperty → short 0.47
range → HasProperty → greater 0.41
range → HasProperty → longer 0.25