Assertion list
galilean moon (subgroup of moon ) → CapableOf
Results from Ascent++: 1
galilean moon → CapableOf → orbit jupiter 0.25