Logical Consistency Analysis Execution Protocol | Logical Consistency Analysis | Logic | NEROS