Predicate Logic Formalization Protocol Design | Predicate Logic Formalization | Logic | NEROS