code: @Override
      public String parameters() {
          FllExporter exporter = new FllExporter();
          String result = String.format("%s %s %s", Op.str(degree),
                  exporter.toString(implication), exporter.toString(term));
          return result;
      }
docs: Returns the parameters of the term
  
  @return `"degree implication term"`