Turn everyday English into rigorous First-Order Logic. Verify arguments, surface hidden assumptions, and build rule systems.