cmodule NewEngineTest > DynPrintLog {
  transient new NewEngine engine;

  start-thread {
    engine.verbose = true;
    
    engine.addLogicRule(new BasicLogicRule(
      And(
        formatWithFragmentsAndDollarSymVars("hasWord($x)"),
        formatWithFragmentsAndDollarSymVars("ewic_notSame($x, *)", "zimmer")),
        formatWithFragmentsAndDollarSymVars("$x ist ein Zimmer")));
        
    engine.think();
    
    //pnl(facts = engine.factsInOrderOfDefinition();
  }
}