a last quarter is a kind of phase of the moon
new_moon is phase_of_moon. phase_of_moon is not phase. last_quarter is half_moon. half_moon is not phase_of_moon. full_moon is phase_of_moon. moon has phases first_quarter is half_moon. half_moon is phase_of_moon. phase_of_moon is phase. last_quarter is not half_moon.