Assertion list
giant planet (subgroup of planet ) → HasA
Results from Ascent++: 1
giant planet → HasA → ring 0.65