unicode_fol_kit.sanitize_all¶

unicode_fol_kit.sanitize_all(nodes, mapping=None)[source]¶

Sanitize a sequence of formulas with one shared, consistent NameMapping.

Returns (sanitized_nodes, mapping); the same original symbol maps to the same legal token in every formula, so a whole TPTP/Prover9 problem stays coherent.