Set-Theoretic Analysis Execution Protocol | Set-Theoretic Analysis | Logic | NEROS