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