public static Justification getForwardAntecedentJustification(Proposition antecedent) {
    if ((antecedent.forwardJustifications() != null) &&
        (!antecedent.forwardJustifications().emptyP())) {
      return (((Justification)(antecedent.forwardJustifications().first())));
    }
    else {
      { PrimitiveStrategy self000 = PrimitiveStrategy.newPrimitiveStrategy();

        self000.proposition = antecedent;
        self000.strategy = Logic.KWD_LOOKUP_ASSERTIONS;
        { PrimitiveStrategy value000 = self000;

          return (value000);
        }
      }
    }
  }