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.
