Equal : Term OP Term
      | LessGreater