Predicate Logic Formalization Execution Protocol | Predicate Logic Formalization | Logic | NEROS