Assertion list
giant planet (subgroup of planet ) → HasProperty
Results from Ascent++: 2
giant planet → HasProperty → visible 0.44
giant planet → HasProperty → gaseous 0.25