Converting infix notation to postfix notation.
However, these predicates are normally used in infix notations.