Assertion list
giant planet (subgroup of planet ) → AtLocation
Results from Ascent++: 1
giant planet → AtLocation → a four-day orbit 0.48