code: protected Properties setupProperties() {
          Properties props = System.getProperties();
          // Use the command line options to set the desired properites in the
          // constructor.  Use the system properties in case these properties were
          // set using -Dprop=<value>
          if (argOptions.hasOption("maxContexts")) {
              props.setProperty(PurandareFirstOrder.MAX_CONTEXTS_PER_WORD,
                                argOptions.getStringOption("maxContexts"));
          }
          return props;
      }
docs: {@inheritDoc}