Assertion list
satellite dish (subgroup of dish ) → HasProperty
Results from Ascent++: 1
satellite dish → HasProperty → compatible 0.38