Assertion list
radome (primary) → HasProperty
Results from Ascent++: 1
radome → HasProperty → transparent 0.49