Let the domain of x and y be all people. Let W(x): "x is a woman", M(y): "y is a man", and LCx.y): "y loves x". Then Vxvy, [(W(x) AM(y))L(x,y)] means Every man has a woman that loves him. Every woman...

Extracted text: Let the domain of x and y be all people. Let W(x): "x is a woman", M(y): "y is a man", and LCx.y): "y loves x". Then Vxvy, [(W(x) AM(y))L(x,y)] means Every man has a woman that loves him. Every woman has a man that loves her. None of these Every man is loved by all women. Every woman is loved by all men.