Assertion list
radar (primary) → UsedFor
Results from Ascent++: 3
radar → UsedFor → detection 0.43
radar → UsedFor → air traffic control 0.35
radar → UsedFor → collision avoidance 0.25