Model-Theoretic Interpretation Protocol for Structured Analytical Execution | Model-Theoretic Interpretation | Mathematics | NEROS