venus has moon-like phases
new_moon is phase_of_moon. phase_of_moon is not phase. moon has not phases venus has no_moon full_moon is not phase_of_moon. half_moon is not phase_of_moon. venus has not no_moon moon has phases phase_of_moon is phase. new_moon is not phase_of_moon.