logicFactory := clogic.NewDefaultLogicFactory()