Assertion list
quarter moon (subgroup of moon ) → IsA

Results from Ascent++: 3
quarter moonIsA time 0.48
quarter moonIsA on the 26th 0.25
quarter moonIsA same thing 0.25