greaterp --Operation (predicate), two inputs. Infix: >
     The output of this procedure is the word true if the first input is
     numerically strictly greater than the second input. Otherwise the
     output is the word false.