a full moon occurs after a waxing gibbous moon
new_moon is phase_of_moon. full_moon is not phase_of_moon. half_moon is not phase_of_moon. full_moon is phase_of_moon. moon has phases harvest_moon is full_moon. harvest_moon is not full_moon. half_moon is phase_of_moon. earth has moon phase_of_moon is phase.