"The idea is that $I(x)$ and $A(x)$ are to formalize x is an individual and x is an alternative, and $P(x,y,z)$ is to formalize x prefers y to z." . . . .