However, this is a combinatorial process that can easily result in an explosion in the size of the final network.
pSL employs a "lazy" approach to grounding that avoids the construction of irrelevant groundings.