public static void deriveSatelliteRules(Proposition forallprop) {
    if (!Proposition.deriveSatelliteRulesForGoalP(forallprop, null, (Logic.naturalDeductionModeP() ? Logic.KWD_POSITIVE : Logic.KWD_POSITIVE_AND_CONTRAPOSITIVE), Logic.$LAZY_SATELLITE_RULESp$)) {
      if (Logic.$CYC_KLUDGES_ENABLEDp$) {
        if (Stella_Object.isaP((forallprop.arguments.theArray)[1], Logic.SGT_LOGIC_PROPOSITION) &&
            (((Proposition)((forallprop.arguments.theArray)[1])).kind == Logic.KWD_EXISTS)) {
          return;
        }
      }
      {
        Stella.STANDARD_WARNING.nativeStream.println("Warning: PowerLoom can't index the rule:");
        Stella.STANDARD_WARNING.nativeStream.println("   `" + forallprop + "'");
        Stella.STANDARD_WARNING.nativeStream.println();
      }
;
    }
  }