Assertion list
irregular moon (subgroup of moon ) → IsA
Results from Ascent++: 2
irregular moon → IsA → nereid 0.68
irregular moon → IsA → triton 0.68