Assertion list
length (aspect of antenna ) → ReceivesAction
Results from Ascent++: 6
length → ReceivesAction → adjusted 0.53
length → ReceivesAction → increased 0.40
length → ReceivesAction → measured 0.36
length → ReceivesAction → attached 0.25
length → ReceivesAction → calculated 0.25
length → ReceivesAction → employed 0.25