Assertion list
satellite (aspect of planet ) → HasProperty
Results from Ascent++: 4
satellite → HasProperty → visible 0.49
satellite → HasProperty → small 0.45
satellite → HasProperty → closer 0.37
satellite → HasProperty → natural 0.25