Assertion list
martian moon (subgroup of moon ) → IsA
Results from Ascent++: 1
martian moon → IsA → captured asteroid 0.68