Assertion list
irregular moon (subgroup of moon ) → HasA
Results from Ascent++: 1
irregular moon → HasA → common origin 0.68