Assertion list
dark moon (subgroup of moon ) → IsA
Results from Ascent++: 3
dark moon → IsA → time 0.68
dark moon → IsA → new moon 0.34
dark moon → IsA → good time 0.16