Assertion list
outer planet (subgroup of planet ) → HasA
Results from Ascent++: 1
outer planet → HasA → large number of moons 0.25