-- | Get all groundings from a Markov logic network.
allGroundings :: [Term] -> MLN -> Set FOL
allGroundings ts (MLN m) = FS.allGroundings ts $ Map.keysSet m
allGroundings :: [Term] -> MLN -> Set FOL
allGroundings ts (MLN m) = FS.allGroundings ts $ Map.keysSet m
allGroundings ts (MLN m) = FS.allGroundings ts $ Map.keysSet m