시스템은 제1 명제 논리 표현을 결정(1204)하는 것과 관련하여 앞서 기재된 것과 동일하거나 실질적으로 유사한 방식으로 제2 명제 논리 표현을 결정(1206)할 수 있다.
The system may determine 1206 a second propositional logical expression in a manner identical or substantially similar to that described above with respect to determining 1204 of the first propositional logical expression.