Assertion list
quarter moon (subgroup of moon ) → HasProperty
Results from Ascent++: 3
quarter moon → HasProperty → exact 0.56
quarter moon → HasProperty → high 0.25
quarter moon → HasProperty → bright 0.16