Assertion list
small moon (subgroup of moon ) → ReceivesAction
Results from Ascent++: 2
small moon → ReceivesAction → formed in the aftermath of a co… 0.25
small moon → ReceivesAction → formed through the process 0.25