Assertion list
radio telescope (subgroup of telescope ) → HasProperty
Results from Ascent++: 1
radio telescope → HasProperty → larger 0.68