Assertion list
new planet (subgroup of planet ) → HasA
Results from Ascent++: 1
new planet → HasA → diameter 0.25