The keywords to and with cannot be used as names for facts, or as components of a name pattern.
LP reserves other words (ac, commutative, depth, on, sort, using and well) in certain contexts within facts and conjectures, but does not prohibit their use as identifiers.