Assertion list
known moon (subgroup of moon ) → CapableOf
Results from Ascent++: 2
known moon → CapableOf → orbit pluto 0.68
known moon → CapableOf → orbit the planet 0.25