* @param module
   * @param environment
   * @return boolean
   */
  public static boolean isTrueProposition1(Stella_Object relationAndArguments, Module module, Environment environment) {
    { Cons list = PLI.sequenceToConsList(relationAndArguments);
      Stella_Object relation = list.value;
      Cons arguments = list.rest;

      return (PLI.helpGetPropositions(((LogicObject)(relation)), arguments, 1, module, environment) != null);
    }
  }