8/2/2026
The Notes and Software do offer instruction on symbolization of a natural language into propositional or predicate logic.
You might want to look through
Symbolization into Propositional and Predicate Logic [Gentzen syntax]
and also the documentation on Commands.