def __init__(self, mrf, simplify=False, unsatfailure=False, formulas=None, cache=None, **params): DefaultGroundingFactory.__init__(self, mrf, simplify=simplify, unsatfailure=unsatfailure, formulas=formulas, cache=cache, **params)