Assertion list
satellite receiver (primary) → HasProperty
Results from Ascent++: 1
satellite receiver → HasProperty → difficult 0.46