unicode_fol_kit.free_holds¶ unicode_fol_kit.free_holds(formula, model, policy='negative')[source]¶ Convenience: free_satisfies of a closed formula (empty assignment). Parameters: formula (Node) model (FreeModel) policy (str) Return type: bool