Module transpile 

Transpilation from AST to first-order logic notation.

This module converts the internal AST representation to human-readable logical formulas in various output formats.

Output Formats

Format	Example	Use Case
Unicode	∀x(Cat(x) → Sleeps(x))	Terminal display
LaTeX	\forall x(Cat(x) \to Sleeps(x))	Academic papers
ASCII	Ax(Cat(x) -> Sleeps(x))	Plain text
Kripke	□(P) @w0	Modal logic diagrams

Neo-Davidsonian Events

Verb semantics use event variables following Davidson’s event semantics:

"John loves Mary"
→ ∃e(Love(e) ∧ Agent(e, john) ∧ Theme(e, mary))

This representation enables reasoning about event modification, aspect, and temporal relations.

Functions

capitalize_first

Capitalizes the first character of a string.