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