public static void collectFactsInExamples(List examples) {
    { Proposition prop = null;

      { TrainingExample example = null;
        Cons iter000 = examples.theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          example = ((TrainingExample)(iter000.value));
          if (example.module != null) {
            example.module.changeModule();
          }
          prop = ((Proposition)(Logic.conceiveFormula(example.query)));
          if (Proposition.trueP(prop)) {
            Proposition.helpUpdateTopLevelProposition(prop, Logic.KWD_RETRACT_TRUE);
            example.facts = Logic.getAssertionStructure(example.name, 1).consify();
            Proposition.helpUpdateTopLevelProposition(prop, Logic.KWD_ASSERT_TRUE);
          }
          if (Proposition.falseP(prop)) {
            Proposition.helpUpdateTopLevelProposition(prop, Logic.KWD_RETRACT_FALSE);
            example.facts = Logic.getAssertionStructure(example.name, 1).consify();
            Proposition.helpUpdateTopLevelProposition(prop, Logic.KWD_ASSERT_FALSE);
          }
        }
      }
    }
  }