Assertion list
new satellite (subgroup of satellite ) → HasProperty
Results from Ascent++: 2
new satellite → HasProperty → operational 0.30
new satellite → HasProperty → smaller 0.16