Assertion list
quarter moon (subgroup of moon ) → IsA
Results from Ascent++: 3
quarter moon → IsA → time 0.48
quarter moon → IsA → on the 26th 0.25
quarter moon → IsA → same thing 0.25