Module WDecide.MSetLogicalFacts