public void DumpFacts(ConsoleWriter factDumperTarget) { factDumperTarget("Facts in " + WMType + " working memory:"); FactDumperAdapter fda = new FactDumperAdapter(factDumperTarget); ie.SaveFacts(fda); }