Assertion list
radar (primary) → IsA
Results from Ascent++: 1
radar → IsA → device 0.35