public static void resetMappingForSubexplanation(KeyValueList mapping) {
    { Justification justification = null;
      ExplanationInfo info = null;
      KvCons iter000 = mapping.theKvList;

      for (;iter000 != null; iter000 = iter000.rest) {
        justification = ((Justification)(iter000.key));
        info = ((ExplanationInfo)(iter000.value));
        justification = justification;
        info.explainedP = false;
      }
    }
  }