public static ClashJustification createClashJustification(Proposition prop, Cons antecedents, Keyword direction) {
    { ClashJustification self000 = ClashJustification.newClashJustification();

      self000.inferenceRule = Logic.KWD_CLASH;
      self000.direction = direction;
      self000.proposition = prop;
      self000.truthValue = Logic.INCONSISTENT_TRUTH_VALUE;
      self000.antecedents = antecedents;
      { ClashJustification value000 = self000;

        return (value000);
      }
    }
  }