. "For instance, the statement that B is the wife of A obviously implies that B is a woman while A is a man." . . .