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