MyWikiBiz

Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 13:36, 11 August 2009

No change in size ,  13:36, 11 August 2009
redo figure hatching
Line 2,256: Line 2,256:  
Table 21.  Composite and Compiled Order Relations
 
Table 21.  Composite and Compiled Order Relations
 
o---------o------------o-----------------o----------------o-------------o
 
o---------o------------o-----------------o----------------o-------------o
−
| L_1 ` ` | L_2 ` ` ` `| L_3 ` ` ` ` ` ` | L_4 ` ` ` ` ` `| L_5 ` ` ` ` |
+
| L_1     | L_2       | L_3             | L_4           | L_5         |
−
| ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
+
|         |           |                 |               |             |
−
| Decimal | Binary` ` `| Vector` ` ` ` ` | Cactus` ` ` ` `| Order ` ` ` |
+
| Decimal | Binary     | Vector         | Cactus         | Order       |
 
o---------o------------o-----------------o----------------o-------------o
 
o---------o------------o-----------------o----------------o-------------o
−
| ` ` ` ` | ` ` ` ` `p : 1 1 1 1 0 0 0 0 | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
+
|         |         p : 1 1 1 1 0 0 0 0 |               |             |
−
| ` ` ` ` | ` ` ` ` `q : 1 1 0 0 1 1 0 0 | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
+
|         |         q : 1 1 0 0 1 1 0 0 |               |             |
−
| ` ` ` ` | ` ` ` ` `r : 1 0 1 0 1 0 1 0 | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
+
|         |         r : 1 0 1 0 1 0 1 0 |               |             |
 
o---------o------------o-----------------o----------------o-------------o
 
o---------o------------o-----------------o----------------o-------------o
−
| ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
+
|         |           |                 |               |             |
−
| q_207 ` | q_11001111 | 1 1 0 0 1 1 1 1 | (p` `(q)) ` ` `| p =< q` ` ` |
+
| q_207   | q_11001111 | 1 1 0 0 1 1 1 1 | (p   (q))     | p =< q     |
−
| ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
+
|         |           |                 |               |             |
−
| q_187 ` | q_10111011 | 1 0 1 1 1 0 1 1 | ` ` `(q ` (r)) | q =< r` ` ` |
+
| q_187   | q_10111011 | 1 0 1 1 1 0 1 1 |     (q   (r)) | q =< r     |
−
| ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
+
|         |           |                 |               |             |
−
| q_175 ` | q_10101111 | 1 0 1 0 1 1 1 1 | (p` ` ` ` (r)) | p =< r` ` ` |
+
| q_175   | q_10101111 | 1 0 1 0 1 1 1 1 | (p       (r)) | p =< r     |
−
| ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
+
|         |           |                 |               |             |
−
| q_139 ` | q_10001011 | 1 0 0 0 1 0 1 1 | (p (q))(q (r)) | p =< q =< r |
+
| q_139   | q_10001011 | 1 0 0 0 1 0 1 1 | (p (q))(q (r)) | p =< q =< r |
−
| ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
+
|         |           |                 |               |             |
 
o---------o------------o-----------------o----------------o-------------o
 
o---------o------------o-----------------o----------------o-------------o
 
</pre>
 
</pre>
Line 2,280: Line 2,280:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^o-------------o^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` `o-------------o` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` /               \ ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` `/                 \` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` /                   \ ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` `/                    \` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` /                      \ ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^o` ` ` ` ` ` ` ` ` ` ` ` `o^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `o                        o` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` P ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|            P           |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ o--o----------o ` o----------o--o ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` o--o----------o   o----------o--o ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^/^ ^ \ ^ ^ ^ ^ ^\`/` ` ` ` ` / ^ ^\^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` `/` ` \ ` ` ` ` `\ /          / ` `\` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ / ^ ^ ^\^ ^ ^ ^ ^ o ` ` ` ` `/^ ^ ^ \ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` / ` ` `\` ` ` ` ` o          /` ` ` \ ` ` ` ` ` |
−
| ^ ^ ^ ^ ^/^ ^ ^ ^ \ ^ ^ ^ ^/^\` ` ` ` / ^ ^ ^ ^\^ ^ ^ ^ ^ |
+
| ` ` ` ` `/` ` ` ` \ ` ` ` `/`\       / ` ` ` `\` ` ` ` ` |
−
| ^ ^ ^ ^ / ^ ^ ^ ^ ^\^ ^ ^ / ^ \ ` ` `/^ ^ ^ ^ ^ \ ^ ^ ^ ^ |
+
| ` ` ` ` / ` ` ` ` `\` ` ` / ` \     /` ` ` ` ` \ ` ` ` ` |
−
| ^ ^ ^ ^/^ ^ ^ ^ ^ ^ \ ^ ^/^ ^ ^\` ` / ^ ^ ^ ^ ^ ^\^ ^ ^ ^ |
+
| ` ` ` `/` ` ` ` ` ` \ ` `/` ` `\   / ` ` ` ` ` `\` ` ` ` |
−
| ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^o--o-------o--o^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
+
| ` ` ` o ` ` ` ` ` ` `o--o-------o--o` ` ` ` ` ` ` o ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ Q ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ R ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` Q ` ` ` ` | ` ` ` | ` ` ` ` R ` ` ` | ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
+
| ` ` ` o ` ` ` ` ` ` ` ` o ` ` ` o ` ` ` ` ` ` ` ` o ` ` ` |
−
| ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^\^ ^ ^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ |
+
| ` ` ` `\` ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` `/` ` ` ` |
−
| ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ \ ^ / ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ |
+
| ` ` ` ` \ ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` / ` ` ` ` |
−
| ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^\^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ |
+
| ` ` ` ` `\` ` ` ` ` ` ` ` `\`/` ` ` ` ` ` ` ` `/` ` ` ` ` |
−
| ^ ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` \ ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` / ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^/^\^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` `\` ` ` ` ` ` ` `/`\` ` ` ` ` ` ` `/` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ o-------------o ^ o-------------o ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` o-------------o ` o-------------o ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
q_207.  (p (q))
 
q_207.  (p (q))
Line 2,321: Line 2,321:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^o-------------o^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` `o-------------o` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` / ` ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^o^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^o^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ P ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|` ` ` ` ` ` P ` ` ` ` ` `|` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ o--o----------o ^ o----------o--o ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` o--o----------o ` o----------o--o ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^/` ` \ ` ` ` ` `\^/^ ^ ^ ^ ^ / ^ ^\^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` `/    \         \`/` ` ` ` ` / ` `\` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ / ` ` `\` ` ` ` ` o ^ ^ ^ ^ ^/^ ^ ^ \ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` /      \         o ` ` ` ` `/` ` ` \ ` ` ` ` ` |
−
| ^ ^ ^ ^ ^/` ` ` ` \ ` ` ` `/^\^ ^ ^ ^ / ^ ^ ^ ^\^ ^ ^ ^ ^ |
+
| ` ` ` ` `/        \        /`\` ` ` ` / ` ` ` `\` ` ` ` ` |
−
| ^ ^ ^ ^ / ` ` ` ` `\` ` ` / ^ \ ^ ^ ^/^ ^ ^ ^ ^ \ ^ ^ ^ ^ |
+
| ` ` ` ` /          \      / ` \ ` ` `/` ` ` ` ` \ ` ` ` ` |
−
| ^ ^ ^ ^/` ` ` ` ` ` \ ` `/^ ^ ^\^ ^ / ^ ^ ^ ^ ^ ^\^ ^ ^ ^ |
+
| ` ` ` `/            \    /` ` `\` ` / ` ` ` ` ` `\` ` ` ` |
−
| ^ ^ ^ o ` ` ` ` ` ` `o--o-------o--o^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
+
| ` ` ` o              o--o-------o--o` ` ` ` ` ` ` o ` ` ` |
−
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` |                | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` |                 | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` |                 | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ` ` ` Q ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ R ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` |       Q        | ` ` ` | ` ` ` ` R ` ` ` | ` ` ` |
−
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` |                 | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ o ` ` ` ` ` ` ` ` o ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
+
| ` ` ` o                o ` ` ` o ` ` ` ` ` ` ` ` o ` ` ` |
−
| ^ ^ ^ ^\` ` ` ` ` ` ` ` `\^ ^ ^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ |
+
| ` ` ` `\                 \` ` `/` ` ` ` ` ` ` ` `/` ` ` ` |
−
| ^ ^ ^ ^ \ ` ` ` ` ` ` ` ` \ ^ / ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ |
+
| ` ` ` ` \                \ ` / ` ` ` ` ` ` ` ` / ` ` ` ` |
−
| ^ ^ ^ ^ ^\` ` ` ` ` ` ` ` `\^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ |
+
| ` ` ` ` `\                 \`/` ` ` ` ` ` ` ` `/` ` ` ` ` |
−
| ^ ^ ^ ^ ^ \ ` ` ` ` ` ` ` ` o ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` \                 o ` ` ` ` ` ` ` ` / ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^\` ` ` ` ` ` ` `/^\^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` `\              /`\` ` ` ` ` ` ` `/` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ o-------------o ^ o-------------o ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` o-------------o ` o-------------o ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
q_187.  (q (r))
 
q_187.  (q (r))
Line 2,362: Line 2,362:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^o-------------o^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` `o-------------o` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` /               \ ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` `/                 \` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` /                   \ ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` `/                    \` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` /                      \ ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^o` ` ` ` ` ` ` ` ` ` ` ` `o^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `o                        o` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` P ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|            P           |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ o--o----------o ` o----------o--o ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` o--o----------o   o----------o--o ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^/^ ^ \ ` ` ` ` `\`/^ ^ ^ ^ ^ / ^ ^\^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` `/` ` \         \ /` ` ` ` ` / ` `\` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ / ^ ^ ^\` ` ` ` ` o ^ ^ ^ ^ ^/^ ^ ^ \ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` / ` ` `\         o ` ` ` ` `/` ` ` \ ` ` ` ` ` |
−
| ^ ^ ^ ^ ^/^ ^ ^ ^ \ ` ` ` `/^\^ ^ ^ ^ / ^ ^ ^ ^\^ ^ ^ ^ ^ |
+
| ` ` ` ` `/` ` ` ` \        /`\` ` ` ` / ` ` ` `\` ` ` ` ` |
−
| ^ ^ ^ ^ / ^ ^ ^ ^ ^\` ` ` / ^ \ ^ ^ ^/^ ^ ^ ^ ^ \ ^ ^ ^ ^ |
+
| ` ` ` ` / ` ` ` ` `\      / ` \ ` ` `/` ` ` ` ` \ ` ` ` ` |
−
| ^ ^ ^ ^/^ ^ ^ ^ ^ ^ \ ` `/^ ^ ^\^ ^ / ^ ^ ^ ^ ^ ^\^ ^ ^ ^ |
+
| ` ` ` `/` ` ` ` ` ` \   /` ` `\` ` / ` ` ` ` ` `\` ` ` ` |
−
| ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^o--o-------o--o^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
+
| ` ` ` o ` ` ` ` ` ` `o--o-------o--o` ` ` ` ` ` ` o ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ Q ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ R ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` Q ` ` ` ` | ` ` ` | ` ` ` ` R ` ` ` | ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
+
| ` ` ` o ` ` ` ` ` ` ` ` o ` ` ` o ` ` ` ` ` ` ` ` o ` ` ` |
−
| ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^\^ ^ ^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ |
+
| ` ` ` `\` ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` `/` ` ` ` |
−
| ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ \ ^ / ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ |
+
| ` ` ` ` \ ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` / ` ` ` ` |
−
| ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^\^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ |
+
| ` ` ` ` `\` ` ` ` ` ` ` ` `\`/` ` ` ` ` ` ` ` `/` ` ` ` ` |
−
| ^ ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` \ ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` / ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^/^\^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` `\` ` ` ` ` ` ` `/`\` ` ` ` ` ` ` `/` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ o-------------o ^ o-------------o ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` o-------------o ` o-------------o ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
q_175.  (p (r))
 
q_175.  (p (r))
Line 2,403: Line 2,403:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^o-------------o^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` `o-------------o` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` /               \ ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` `/                 \` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` /                   \ ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` `/                    \` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` /                      \ ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^o` ` ` ` ` ` ` ` ` ` ` ` `o^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `o                        o` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` P ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|            P           |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ o--o----------o ` o----------o--o ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` o--o----------o   o----------o--o ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^/` ` \ ` ` ` ` `\`/` ` ` ` ` / ^ ^\^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` `/    \          \ /          / ` `\` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ / ` ` `\` ` ` ` ` o ` ` ` ` `/^ ^ ^ \ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` /      \          o          /` ` ` \ ` ` ` ` ` |
−
| ^ ^ ^ ^ ^/` ` ` ` \ ` ` ` `/^\` ` ` ` / ^ ^ ^ ^\^ ^ ^ ^ ^ |
+
| ` ` ` ` `/        \       /`\        / ` ` ` `\` ` ` ` ` |
−
| ^ ^ ^ ^ / ` ` ` ` `\` ` ` / ^ \ ` ` `/^ ^ ^ ^ ^ \ ^ ^ ^ ^ |
+
| ` ` ` ` /          \      / ` \     /` ` ` ` ` \ ` ` ` ` |
−
| ^ ^ ^ ^/` ` ` ` ` ` \ ` `/^ ^ ^\` ` / ^ ^ ^ ^ ^ ^\^ ^ ^ ^ |
+
| ` ` ` `/            \    /` ` `\   / ` ` ` ` ` `\` ` ` ` |
−
| ^ ^ ^ o ` ` ` ` ` ` `o--o-------o--o^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
+
| ` ` ` o              o--o-------o--o` ` ` ` ` ` ` o ` ` ` |
−
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` |                | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` |                 | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` |                 | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ` ` ` Q ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ R ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` |       Q        | ` ` ` | ` ` ` ` R ` ` ` | ` ` ` |
−
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` |                 | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ o ` ` ` ` ` ` ` ` o ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
+
| ` ` ` o                o ` ` ` o ` ` ` ` ` ` ` ` o ` ` ` |
−
| ^ ^ ^ ^\` ` ` ` ` ` ` ` `\^ ^ ^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ |
+
| ` ` ` `\                 \` ` `/` ` ` ` ` ` ` ` `/` ` ` ` |
−
| ^ ^ ^ ^ \ ` ` ` ` ` ` ` ` \ ^ / ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ |
+
| ` ` ` ` \                 \ ` / ` ` ` ` ` ` ` ` / ` ` ` ` |
−
| ^ ^ ^ ^ ^\` ` ` ` ` ` ` ` `\^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ |
+
| ` ` ` ` `\                \`/` ` ` ` ` ` ` ` `/` ` ` ` ` |
−
| ^ ^ ^ ^ ^ \ ` ` ` ` ` ` ` ` o ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` \                 o ` ` ` ` ` ` ` ` / ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^\` ` ` ` ` ` ` `/^\^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` `\              /`\` ` ` ` ` ` ` `/` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ o-------------o ^ o-------------o ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` o-------------o ` o-------------o ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
q_139.  (p (q))(q (r))
 
q_139.  (p (q))(q (r))
Line 2,457: Line 2,457:  
[| q_207 |]  =  [| p =< q |]
 
[| q_207 |]  =  [| p =< q |]
 
o---------o---------o---------o
 
o---------o---------o---------o
−
|` ` p ` `|` ` q ` `|` ` r ` `|
+
|   p   |   q   |   r   |
 
o---------o---------o---------o
 
o---------o---------o---------o
−
|` ` 0 ` ` ` ` 0 ` ` ` ` 0 ` `|
+
|   0         0         0   |
−
|` ` 0 ` ` ` ` 0 ` ` ` ` 1 ` `|
+
|   0         0         1   |
−
|` ` 0 ` ` ` ` 1 ` ` ` ` 0 ` `|
+
|   0         1         0   |
−
|` ` 0 ` ` ` ` 1 ` ` ` ` 1 ` `|
+
|   0         1         1   |
−
|` ` 1 ` ` ` ` 1 ` ` ` ` 0 ` `|
+
|   1         1         0   |
−
|` ` 1 ` ` ` ` 1 ` ` ` ` 1 ` `|
+
|   1         1         1   |
 
o-----------------------------o
 
o-----------------------------o
 
</pre>
 
</pre>
Line 2,471: Line 2,471:  
[| q_187 |]  =  [| q =< r |]
 
[| q_187 |]  =  [| q =< r |]
 
o---------o---------o---------o
 
o---------o---------o---------o
−
|` ` p ` `|` ` q ` `|` ` r ` `|
+
|   p   |   q   |   r   |
 
o---------o---------o---------o
 
o---------o---------o---------o
−
|` ` 0 ` ` ` ` 0 ` ` ` ` 0 ` `|
+
|   0         0         0   |
−
|` ` 0 ` ` ` ` 0 ` ` ` ` 1 ` `|
+
|   0         0         1   |
−
|` ` 0 ` ` ` ` 1 ` ` ` ` 1 ` `|
+
|   0         1         1   |
−
|` ` 1 ` ` ` ` 0 ` ` ` ` 0 ` `|
+
|   1         0         0   |
−
|` ` 1 ` ` ` ` 0 ` ` ` ` 1 ` `|
+
|   1         0         1   |
−
|` ` 1 ` ` ` ` 1 ` ` ` ` 1 ` `|
+
|   1         1         1   |
 
o-----------------------------o
 
o-----------------------------o
 
</pre>
 
</pre>
Line 2,485: Line 2,485:  
[| q_175 |]  =  [| p =< r |]
 
[| q_175 |]  =  [| p =< r |]
 
o---------o---------o---------o
 
o---------o---------o---------o
−
|` ` p ` `|` ` q ` `|` ` r ` `|
+
|   p   |   q   |   r   |
 
o---------o---------o---------o
 
o---------o---------o---------o
−
|` ` 0 ` ` ` ` 0 ` ` ` ` 0 ` `|
+
|   0         0         0   |
−
|` ` 0 ` ` ` ` 0 ` ` ` ` 1 ` `|
+
|   0         0         1   |
−
|` ` 0 ` ` ` ` 1 ` ` ` ` 0 ` `|
+
|   0         1         0   |
−
|` ` 0 ` ` ` ` 1 ` ` ` ` 1 ` `|
+
|   0         1         1   |
−
|` ` 1 ` ` ` ` 0 ` ` ` ` 1 ` `|
+
|   1         0         1   |
−
|` ` 1 ` ` ` ` 1 ` ` ` ` 1 ` `|
+
|   1         1         1   |
 
o-----------------------------o
 
o-----------------------------o
 
</pre>
 
</pre>
Line 2,499: Line 2,499:  
[| q_139 |] = [| p =< q =< r |]
 
[| q_139 |] = [| p =< q =< r |]
 
o---------o---------o---------o
 
o---------o---------o---------o
−
|` ` p ` `|` ` q ` `|` ` r ` `|
+
|   p   |   q   |   r   |
 
o---------o---------o---------o
 
o---------o---------o---------o
−
|` ` 0 ` ` ` ` 0 ` ` ` ` 0 ` `|
+
|   0         0         0   |
−
|` ` 0 ` ` ` ` 0 ` ` ` ` 1 ` `|
+
|   0         0         1   |
−
|` ` 0 ` ` ` ` 1 ` ` ` ` 1 ` `|
+
|   0         1         1   |
−
|` ` 1 ` ` ` ` 1 ` ` ` ` 1 ` `|
+
|   1         1         1   |
 
o-----------------------------o
 
o-----------------------------o
 
</pre>
 
</pre>
Line 2,551: Line 2,551:  
Table 25-a.  Syllogism Relation
 
Table 25-a.  Syllogism Relation
 
o---------o---------o---------o
 
o---------o---------o---------o
−
|` ` p ` `|` ` q ` `|` ` r ` `|
+
|   p   |   q   |   r   |
 
o---------o---------o---------o
 
o---------o---------o---------o
−
|` ` 0 ` ` ` ` 0 ` ` ` ` 0 ` `|
+
|   0         0         0   |
−
|` ` 0 ` ` ` ` 0 ` ` ` ` 1 ` `|
+
|   0         0         1   |
−
|` ` 0 ` ` ` ` 1 ` ` ` ` 1 ` `|
+
|   0         1         1   |
−
|` ` 1 ` ` ` ` 1 ` ` ` ` 1 ` `|
+
|   1         1         1   |
 
o-----------------------------o
 
o-----------------------------o
 
</pre>
 
</pre>
Line 2,567: Line 2,567:  
Table 25-b.  Dyadic Projections of the Syllogism Relation
 
Table 25-b.  Dyadic Projections of the Syllogism Relation
 
o-------------o-------------o-------------o-------------o
 
o-------------o-------------o-------------o-------------o
−
| ` `Syll ` ` | ` Syll_pq ` | ` Syll_pr ` | ` Syll_qr ` |
+
|   Syll     |   Syll_pq   |   Syll_pr   |   Syll_qr   |
 
o-------------o-------------o-------------o-------------o
 
o-------------o-------------o-------------o-------------o
−
| ` ` 000 ` ` | ` ` 00 ` ` `| ` ` 00 ` ` `| ` ` 00 ` ` `|
+
|     000     |     00     |     00     |     00     |
−
| ` ` 001 ` ` | ` ` 00 ` ` `| ` ` 01 ` ` `| ` ` 01 ` ` `|
+
|     001     |     00     |     01     |     01     |
−
| ` ` 011 ` ` | ` ` 01 ` ` `| ` ` 01 ` ` `| ` ` 11 ` ` `|
+
|     011     |     01     |     01     |     11     |
−
| ` ` 111 ` ` | ` ` 11 ` ` `| ` ` 11 ` ` `| ` ` 11 ` ` `|
+
|     111     |     11     |     11     |     11     |
 
o-------------o-------------o-------------o-------------o
 
o-------------o-------------o-------------o-------------o
−
| p =< q =< r | ` (p (q)) ` | ` (p (r)) ` | ` (q (r)) ` |
+
| p =< q =< r |   (p (q))   |   (p (r))   |   (q (r))   |
 
o-------------o-------------o-------------o-------------o
 
o-------------o-------------o-------------o-------------o
 
</pre>
 
</pre>
Line 2,598: Line 2,598:  
<pre>
 
<pre>
 
o-------------------------------------------------o
 
o-------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` 111 ` ` ` ` ` ` ` ` ` ` ` |
+
|                       111                       |
−
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
+
|                       /|\                       |
−
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` 110 ` ` 101 ` ` 011 ` ` ` ` ` ` ` |
+
|               110     101     011               |
−
| ` ` ` ` ` ` ` `|\ ` ` / \ ` ` /|` ` ` ` ` ` ` ` |
+
|               |\     / \     /|               |
−
| ` ` ` ` ` ` ` `|`\` `/` `\` `/`|` ` ` ` ` ` ` ` |
+
|               | \   /   \   / |               |
−
| ` ` ` ` ` ` ` `|` \ / ` ` \ / `|` ` ` ` ` ` ` ` |
+
|               | \ /     \ / |               |
−
| ` ` ` ` ` ` ` `|` `\` ` ` `/` `|` ` ` ` ` ` ` ` |
+
|               |   \       /   |               |
−
| ` ` ` ` ` ` ` `|` / \ ` ` / \ `|` ` ` ` ` ` ` ` |
+
|               | / \     / \ |               |
−
| ` ` ` ` ` ` ` `|`/` `\` `/` `\`|` ` ` ` ` ` ` ` |
+
|               | /   \   /   \ |               |
−
| ` ` ` ` ` ` ` `|/ ` ` \ / ` ` \|` ` ` ` ` ` ` ` |
+
|               |/     \ /     \|               |
−
| ` ` ` ` ` ` ` 100 ` ` 010 ` ` 001 ` ` ` ` ` ` ` |
+
|               100     010     001               |
−
| ` ` ` ` ` ` ` ` \ ` ` `|` ` ` / ` ` ` ` ` ` ` ` |
+
|                 \     |     /                 |
−
| ` ` ` ` ` ` ` ` `\` ` `|` ` `/` ` ` ` ` ` ` ` ` |
+
|                 \     |     /                 |
−
| ` ` ` ` ` ` ` ` ` \ ` `|` ` / ` ` ` ` ` ` ` ` ` |
+
|                   \   |   /                   |
−
| ` ` ` ` ` ` ` ` ` `\` `|` `/` ` ` ` ` ` ` ` ` ` |
+
|                   \   |   /                   |
−
| ` ` ` ` ` ` ` ` ` ` \ `|` / ` ` ` ` ` ` ` ` ` ` |
+
|                     \ | /                     |
−
| ` ` ` ` ` ` ` ` ` ` `\`|`/` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ | /                     |
−
| ` ` ` ` ` ` ` ` ` ` ` \|/ ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \|/                       |
−
| ` ` ` ` ` ` ` ` ` ` ` 000 ` ` ` ` ` ` ` ` ` ` ` |
+
|                       000                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
 
o-------------------------------------------------o
 
o-------------------------------------------------o
 
Figure 28-a.  Boolean 3-Cube B^3
 
Figure 28-a.  Boolean 3-Cube B^3
Line 2,634: Line 2,634:  
Table 28-b.  Syll c B^3
 
Table 28-b.  Syll c B^3
 
o-----------------------o
 
o-----------------------o
−
| ` p ` ` ` q ` ` ` r ` |
+
|   p       q       r   |
 
o-----------------------o
 
o-----------------------o
−
| ` 0 ` ` ` 0 ` ` ` 0 ` |
+
|   0       0       0   |
−
| ` 0 ` ` ` 0 ` ` ` 1 ` |
+
|   0       0       1   |
−
| ` 0 ` ` ` 1 ` ` ` 1 ` |
+
|   0       1       1   |
−
| ` 1 ` ` ` 1 ` ` ` 1 ` |
+
|   1       1       1   |
 
o-----------------------o
 
o-----------------------o
 
</pre>
 
</pre>
Line 2,645: Line 2,645:  
<pre>
 
<pre>
 
o-------------------------------------------------o
 
o-------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` 111 ` ` ` ` ` ` ` ` ` ` ` |
+
|                       111                       |
−
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
+
|                       /|\                       |
−
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` `o` ` ` `o` ` ` 011 ` ` ` ` ` ` ` |
+
|               o       o     011               |
−
| ` ` ` ` ` ` ` `|\ ` ` / \ ` ` /|` ` ` ` ` ` ` ` |
+
|               |\     / \     /|               |
−
| ` ` ` ` ` ` ` `|`\` `/` `\` `/`|` ` ` ` ` ` ` ` |
+
|               | \   /   \   / |               |
−
| ` ` ` ` ` ` ` `|` \ / ` ` \ / `|` ` ` ` ` ` ` ` |
+
|               | \ /     \ / |               |
−
| ` ` ` ` ` ` ` `|` `\` ` ` `/` `|` ` ` ` ` ` ` ` |
+
|               |   \       /   |               |
−
| ` ` ` ` ` ` ` `|` / \ ` ` / \ `|` ` ` ` ` ` ` ` |
+
|               | / \     / \ |               |
−
| ` ` ` ` ` ` ` `|`/` `\` `/` `\`|` ` ` ` ` ` ` ` |
+
|               | /   \   /   \ |               |
−
| ` ` ` ` ` ` ` `|/ ` ` \ / ` ` \|` ` ` ` ` ` ` ` |
+
|               |/     \ /     \|               |
−
| ` ` ` ` ` ` ` `o` ` ` `o` ` ` 001 ` ` ` ` ` ` ` |
+
|               o       o     001               |
−
| ` ` ` ` ` ` ` ` \ ` ` `|` ` ` / ` ` ` ` ` ` ` ` |
+
|                 \     |     /                 |
−
| ` ` ` ` ` ` ` ` `\` ` `|` ` `/` ` ` ` ` ` ` ` ` |
+
|                 \     |     /                 |
−
| ` ` ` ` ` ` ` ` ` \ ` `|` ` / ` ` ` ` ` ` ` ` ` |
+
|                   \   |   /                   |
−
| ` ` ` ` ` ` ` ` ` `\` `|` `/` ` ` ` ` ` ` ` ` ` |
+
|                   \   |   /                   |
−
| ` ` ` ` ` ` ` ` ` ` \ `|` / ` ` ` ` ` ` ` ` ` ` |
+
|                     \ | /                     |
−
| ` ` ` ` ` ` ` ` ` ` `\`|`/` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ | /                     |
−
| ` ` ` ` ` ` ` ` ` ` ` \|/ ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \|/                       |
−
| ` ` ` ` ` ` ` ` ` ` ` 000 ` ` ` ` ` ` ` ` ` ` ` |
+
|                       000                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
 
o-------------------------------------------------o
 
o-------------------------------------------------o
 
Figure 28-c.  Triadic Relation Syll c B^3
 
Figure 28-c.  Triadic Relation Syll c B^3
Line 2,681: Line 2,681:  
Table 29-a.  Syll c B^3
 
Table 29-a.  Syll c B^3
 
o-----------------------o
 
o-----------------------o
−
| ` p ` ` ` q ` ` ` r ` |
+
|   p       q       r   |
 
o-----------------------o
 
o-----------------------o
−
| ` 0 ` ` ` 0 ` ` ` 0 ` |
+
|   0       0       0   |
−
| ` 0 ` ` ` 0 ` ` ` 1 ` |
+
|   0       0       1   |
−
| ` 0 ` ` ` 1 ` ` ` 1 ` |
+
|   0       1       1   |
−
| ` 1 ` ` ` 1 ` ` ` 1 ` |
+
|   1       1       1   |
 
o-----------------------o
 
o-----------------------o
 
</pre>
 
</pre>
Line 2,693: Line 2,693:  
Table 29-b.  Dyadic Projections of Syll
 
Table 29-b.  Dyadic Projections of Syll
 
o-----------o o-----------o o-----------o
 
o-----------o o-----------o o-----------o
−
| `Syll_12` | | `Syll_13` | | `Syll_23` |
+
| Syll_12 | | Syll_13 | | Syll_23 |
 
o-----------o o-----------o o-----------o
 
o-----------o o-----------o o-----------o
−
| ` p ` q ` | | ` p ` r ` | | ` q ` r ` |
+
|   p   q   | |   p   r   | |   q   r   |
 
o-----------o o-----------o o-----------o
 
o-----------o o-----------o o-----------o
−
| ` 0 ` 0 ` | | ` 0 ` 0 ` | | ` 0 ` 0 ` |
+
|   0   0   | |   0   0   | |   0   0   |
−
| ` 0 ` 1 ` | | ` 0 ` 1 ` | | ` 0 ` 1 ` |
+
|   0   1   | |   0   1   | |   0   1   |
−
| ` 1 ` 1 ` | | ` 1 ` 1 ` | | ` 1 ` 1 ` |
+
|   1   1   | |   1   1   | |   1   1   |
 
o-----------o o-----------o o-----------o
 
o-----------o o-----------o o-----------o
−
| `(p (q))` | | `(p (r))` | | `(q (r))` |
+
| (p (q)) | | (p (r)) | | (q (r)) |
 
o-----------o o-----------o o-----------o
 
o-----------o o-----------o o-----------o
 
</pre>
 
</pre>
Line 2,711: Line 2,711:  
<pre>
 
<pre>
 
o-------------------------------------------------o
 
o-------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` 111 ` ` ` ` ` ` ` ` ` ` ` |
+
|                       111                       |
−
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
+
|                       /|\                       |
−
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` `o` ` ` `o` ` ` 011 ` ` ` ` ` ` ` |
+
|               o       o     011               |
−
| ` ` ` ` ` ` ` `|\ ` ` / \ ` ` /|` ` ` ` ` ` ` ` |
+
|               |\     / \     /|               |
−
| ` ` ` ` ` ` ` `|`\` `/` `\` `/`|` ` ` ` ` ` ` ` |
+
|               | \   /   \   / |               |
−
| ` ` ` ` ` ` ` `|` \ / ` ` \ / `|` ` ` ` ` ` ` ` |
+
|               | \ /     \ / |               |
−
| ` ` ` ` ` ` ` `|` `\` ` ` `/` `|` ` ` ` ` ` ` ` |
+
|               |   \       /   |               |
−
| ` ` ` ` ` ` ` `|` / \ ` ` / \ `|` ` ` ` ` ` ` ` |
+
|               | / \     / \ |               |
−
| ` ` ` ` ` ` ` `|`/` `\` `/` `\`|` ` ` ` ` ` ` ` |
+
|               | /   \   /   \ |               |
−
| ` ` ` ` ` ` ` `|/ ` ` \ / ` ` \|` ` ` ` ` ` ` ` |
+
|               |/     \ /     \|               |
−
| ` ` ` ` ` ` ` `o` ` ` `o` ` ` 001 ` ` ` ` ` ` ` |
+
|               o       o     001               |
−
| ` ` ` ` ` ` ` ` \ ` ` `|` ` ` / ` ` ` ` ` ` ` ` |
+
|                 \     |     /                 |
−
| ` ` 11. ` ` ` ` `\` ` `|` ` `/` ` ` ` ` .11 ` ` |
+
|     11.         \     |     /         .11     |
−
| ` ` `|\ ` ` ` ` ` \ ` `|` ` / ` ` ` ` ` /|` ` ` |
+
|     |\           \   |   /           /|     |
−
| ` ` `|`\` ` ` ` ` `\` `|` `/` ` ` ` ` `/`|` ` ` |
+
|     | \           \   |   /           / |     |
−
| ` ` `|` \ ` ` ` ` ` \ `|` / ` ` ` ` ` / `|` ` ` |
+
|     | \           \ | /           / |     |
−
| ` ` `|` `\` ` ` ` ` `\`|`/` ` ` ` ` `/` `|` ` ` |
+
|     |   \           \ | /           /   |     |
−
| ` ` `|` ` \ ` ` ` ` ` \|/ ` ` ` ` ` / ` `|` ` ` |
+
|     |   \           \|/           /   |     |
−
| ` ` `|` ` `\` ` ` ` ` 000 ` ` ` ` `/` ` `|` ` ` |
+
|     |     \         000         /     |     |
−
| ` ` `|` ` ` \ ` ` ` ` ` ` ` ` ` ` / ` ` `|` ` ` |
+
|     |     \                     /     |     |
−
| ` ` `o` ` ` 01. ` ` ` ` ` ` ` ` `o` ` ` .01 ` ` |
+
|     o     01.                 o     .01     |
−
| ` ` ` \ ` ` `|` ` ` ` ` ` ` ` ` `|` ` ` / ` ` ` |
+
|       \     |                   |     /       |
−
| ` ` ` `\` ` `|` ` ` ` ` ` ` ` ` `|` ` `/` ` ` ` |
+
|       \     |                   |     /       |
−
| ` ` ` ` \ ` `|` ` ` ` ` ` ` ` ` `|` ` / ` ` ` ` |
+
|         \   |                   |   /         |
−
| ` ` ` ` `\` `|` ` ` ` 1.1 ` ` ` `|` `/` ` ` ` ` |
+
|         \   |       1.1       |   /         |
−
| ` ` ` ` ` \ `|` ` ` ` / \ ` ` ` `|` / ` ` ` ` ` |
+
|           \ |       / \       | /           |
−
| ` ` ` ` ` `\`|` ` ` `/` `\` ` ` `|`/` ` ` ` ` ` |
+
|           \ |       /   \       | /           |
−
| ` ` ` ` ` ` \|` ` ` / ` ` \ ` ` `|/ ` ` ` ` ` ` |
+
|             \|     /     \     |/             |
−
| ` ` ` ` ` ` 00. ` `/` ` ` `\` ` .00 ` ` ` ` ` ` |
+
|             00.   /       \   .00             |
−
| ` ` ` ` ` ` ` ` ` / ` ` ` ` \ ` ` ` ` ` ` ` ` ` |
+
|                   /         \                   |
−
| ` ` ` ` ` ` ` ` `/` ` ` ` ` `\` ` ` ` ` ` ` ` ` |
+
|                 /           \                 |
−
| ` ` ` ` ` ` ` ` / ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` |
+
|                 /             \                 |
−
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` 0.1 ` ` ` ` ` ` ` |
+
|               o             0.1               |
−
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` |
+
|                 \             /                 |
−
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` |
+
|                 \           /                 |
−
| ` ` ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` |
+
|                   \         /                   |
−
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                   |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                     |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                     |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                       |
−
| ` ` ` ` ` ` ` ` ` ` ` 0.0 ` ` ` ` ` ` ` ` ` ` ` |
+
|                       0.0                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
 
o-------------------------------------------------o
 
o-------------------------------------------------o
 
Figure 29-c.  Syll c B^3 and its Dyadic Projections
 
Figure 29-c.  Syll c B^3 and its Dyadic Projections
Line 2,769: Line 2,769:  
Table 30-a.  Syll c B^3
 
Table 30-a.  Syll c B^3
 
o-----------------------o
 
o-----------------------o
−
| ` p ` ` ` q ` ` ` r ` |
+
|   p       q       r   |
 
o-----------------------o
 
o-----------------------o
−
| ` 0 ` ` ` 0 ` ` ` 0 ` |
+
|   0       0       0   |
−
| ` 0 ` ` ` 0 ` ` ` 1 ` |
+
|   0       0       1   |
−
| ` 0 ` ` ` 1 ` ` ` 1 ` |
+
|   0       1       1   |
−
| ` 1 ` ` ` 1 ` ` ` 1 ` |
+
|   1       1       1   |
 
o-----------------------o
 
o-----------------------o
 
</pre>
 
</pre>
Line 2,781: Line 2,781:  
Table 30-b.  Dyadic Projections of Syll
 
Table 30-b.  Dyadic Projections of Syll
 
o-----------o o-----------o o-----------o
 
o-----------o o-----------o o-----------o
−
| `Syll_12` | | `Syll_13` | | `Syll_23` |
+
| Syll_12 | | Syll_13 | | Syll_23 |
 
o-----------o o-----------o o-----------o
 
o-----------o o-----------o o-----------o
−
| ` p ` q ` | | ` p ` r ` | | ` q ` r ` |
+
|   p   q   | |   p   r   | |   q   r   |
 
o-----------o o-----------o o-----------o
 
o-----------o o-----------o o-----------o
−
| ` 0 ` 0 ` | | ` 0 ` 0 ` | | ` 0 ` 0 ` |
+
|   0   0   | |   0   0   | |   0   0   |
−
| ` 0 ` 1 ` | | ` 0 ` 1 ` | | ` 0 ` 1 ` |
+
|   0   1   | |   0   1   | |   0   1   |
−
| ` 1 ` 1 ` | | ` 1 ` 1 ` | | ` 1 ` 1 ` |
+
|   1   1   | |   1   1   | |   1   1   |
 
o-----------o o-----------o o-----------o
 
o-----------o o-----------o o-----------o
−
| `(p (q))` | | `(p (r))` | | `(q (r))` |
+
| (p (q)) | | (p (r)) | | (q (r)) |
 
o-----------o o-----------o o-----------o
 
o-----------o o-----------o o-----------o
 
</pre>
 
</pre>
Line 2,796: Line 2,796:  
Table 30-c.  Tacit Extensions of Projections of Syll
 
Table 30-c.  Tacit Extensions of Projections of Syll
 
o---------------o o---------------o o---------------o
 
o---------------o o---------------o o---------------o
−
| `TE(Syll_12)` | | `TE(Syll_13)` | | `TE(Syll_23)` |
+
| TE(Syll_12) | | TE(Syll_13) | | TE(Syll_23) |
 
o---------------o o---------------o o---------------o
 
o---------------o o---------------o o---------------o
−
| ` p ` q ` r ` | | ` p ` q ` r ` | | ` p ` q ` r ` |
+
|   p   q   r   | |   p   q   r   | |   p   q   r   |
 
o---------------o o---------------o o---------------o
 
o---------------o o---------------o o---------------o
−
| ` 0 ` 0 ` 0 ` | | ` 0 ` 0 ` 0 ` | | ` 0 ` 0 ` 0 ` |
+
|   0   0   0   | |   0   0   0   | |   0   0   0   |
−
| ` 0 ` 0 ` 1 ` | | ` 0 ` 1 ` 0 ` | | ` 1 ` 0 ` 0 ` |
+
|   0   0   1   | |   0   1   0   | |   1   0   0   |
−
| ` 0 ` 1 ` 0 ` | | ` 0 ` 0 ` 1 ` | | ` 0 ` 0 ` 1 ` |
+
|   0   1   0   | |   0   0   1   | |   0   0   1   |
−
| ` 0 ` 1 ` 1 ` | | ` 0 ` 1 ` 1 ` | | ` 1 ` 0 ` 1 ` |
+
|   0   1   1   | |   0   1   1   | |   1   0   1   |
−
| ` 1 ` 1 ` 0 ` | | ` 1 ` 0 ` 1 ` | | ` 0 ` 1 ` 1 ` |
+
|   1   1   0   | |   1   0   1   | |   0   1   1   |
−
| ` 1 ` 1 ` 1 ` | | ` 1 ` 1 ` 1 ` | | ` 1 ` 1 ` 1 ` |
+
|   1   1   1   | |   1   1   1   | |   1   1   1   |
 
o---------------o o---------------o o---------------o
 
o---------------o o---------------o o---------------o
 
| [| (p (q)) |] | | [| (p (r)) |] | | [| (q (r)) |] |
 
| [| (p (q)) |] | | [| (p (r)) |] | | [| (q (r)) |] |
 
o---------------o o---------------o o---------------o
 
o---------------o o---------------o o---------------o
−
| [| `q_207` |] | | [| `q_175` |] | | [| `q_187` |] |
+
| [| q_207 |] | | [| q_175 |] | | [| q_187 |] |
 
o---------------o o---------------o o---------------o
 
o---------------o o---------------o o---------------o
 
</pre>
 
</pre>
Line 2,815: Line 2,815:  
<pre>
 
<pre>
 
o-------------------------------------------------o
 
o-------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` 111 ` ` ` ` ` ` ` ` ` ` ` |
+
|                       111                       |
−
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
+
|                       /|\                       |
−
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` 110 ` ` `o` ` ` 011 ` ` ` ` ` ` ` |
+
|               110     o     011               |
−
| ` ` ` ` ` ` ` `|\ ` ` / \ ` ` /|` ` ` ` ` ` ` ` |
+
|               |\     / \     /|               |
−
| ` ` ` ` ` ` ` `|`\` `/` `\` `/`|` ` ` ` ` ` ` ` |
+
|               | \   /   \   / |               |
−
| ` ` ` ` ` ` ` `|` \ / ` ` \ / `|` ` ` ` ` ` ` ` |
+
|               | \ /     \ / |               |
−
| ` ` ` ` ` ` ` `|` `\` ` ` `/` `|` ` ` ` ` ` ` ` |
+
|               |   \       /   |               |
−
| ` ` ` ` ` ` ` `|` / \ ` ` / \ `|` ` ` ` ` ` ` ` |
+
|               | / \     / \ |               |
−
| ` ` ` ` ` ` ` `|`/` `\` `/` `\`|` ` ` ` ` ` ` ` |
+
|               | /   \   /   \ |               |
−
| ` ` ` ` ` ` ` `|/ ` ` \ / ` ` \|` ` ` ` ` ` ` ` |
+
|               |/     \ /     \|               |
−
| ` ` ` ` ` ` ` `o` ` ` 010 ` ` 001 ` ` ` ` ` ` ` |
+
|               o     010     001               |
−
| ` ` ` ` ` ` ` ` \ ` ` `|` ` ` / ` ` ` ` ` ` ` ` |
+
|                 \     |     /                 |
−
| ` ` 11. ` ` ` ` `\` ` `|` ` `/` ` ` ` ` ` ` ` ` |
+
|     11.         \     |     /                 |
−
| ` ` `|\ ` ` ` ` ` \ ` `|` ` / ` ` ` ` ` ` ` ` ` |
+
|     |\           \   |   /                   |
−
| ` ` `|`\` ` ` ` ` `\` `|` `/` ` ` ` ` ` ` ` ` ` |
+
|     | \           \   |   /                   |
−
| ` ` `|` \ ` ` ` ` ` \ `|` / ` ` ` ` ` ` ` ` ` ` |
+
|     | \           \ | /                     |
−
| ` ` `|` `\` ` ` ` ` `\`|`/` ` ` ` ` ` ` ` ` ` ` |
+
|     |   \           \ | /                     |
−
| ` ` `|` ` \ ` ` ` ` ` \|/ ` ` ` ` ` ` ` ` ` ` ` |
+
|     |   \           \|/                       |
−
| ` ` `|` ` `\` ` ` ` ` 000 ` ` ` ` ` ` ` ` ` ` ` |
+
|     |     \         000                       |
−
| ` ` `|` ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     |     \                                   |
−
| ` ` `o` ` ` 01. ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     o     01.                                 |
−
| ` ` ` \ ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \     |                                 |
−
| ` ` ` `\` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \     |                                 |
−
| ` ` ` ` \ ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \   |                                 |
−
| ` ` ` ` `\` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \   |                                 |
−
| ` ` ` ` ` \ `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ |                                 |
−
| ` ` ` ` ` `\`|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ |                                 |
−
| ` ` ` ` ` ` \|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \|                                 |
−
| ` ` ` ` ` ` 00. ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             00.                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
 
o-------------------------------------------------o
 
o-------------------------------------------------o
 
Figure 30-d.  Tacit Extension TE_12_3 (Syll_12)
 
Figure 30-d.  Tacit Extension TE_12_3 (Syll_12)
Line 2,858: Line 2,858:  
<pre>
 
<pre>
 
o-------------------------------------------------o
 
o-------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` 111 ` ` ` ` ` ` ` ` ` ` ` |
+
|                       111                       |
−
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
+
|                       /|\                       |
−
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` `o` ` ` 101 ` ` 011 ` ` ` ` ` ` ` |
+
|               o     101     011               |
−
| ` ` ` ` ` ` ` `|\ ` ` / \ ` ` /|` ` ` ` ` ` ` ` |
+
|               |\     / \     /|               |
−
| ` ` ` ` ` ` ` `|`\` `/` `\` `/`|` ` ` ` ` ` ` ` |
+
|               | \   /   \   / |               |
−
| ` ` ` ` ` ` ` `|` \ / ` ` \ / `|` ` ` ` ` ` ` ` |
+
|               | \ /     \ / |               |
−
| ` ` ` ` ` ` ` `|` `\` ` ` `/` `|` ` ` ` ` ` ` ` |
+
|               |   \       /   |               |
−
| ` ` ` ` ` ` ` `|` / \ ` ` / \ `|` ` ` ` ` ` ` ` |
+
|               | / \     / \ |               |
−
| ` ` ` ` ` ` ` `|`/` `\` `/` `\`|` ` ` ` ` ` ` ` |
+
|               | /   \   /   \ |               |
−
| ` ` ` ` ` ` ` `|/ ` ` \ / ` ` \|` ` ` ` ` ` ` ` |
+
|               |/     \ /     \|               |
−
| ` ` ` ` ` ` ` `o` ` ` 010 ` ` 001 ` ` ` ` ` ` ` |
+
|               o     010     001               |
−
| ` ` ` ` ` ` ` ` \ ` ` `|` ` ` / ` ` ` ` ` ` ` ` |
+
|                 \     |     /                 |
−
| ` ` ` ` ` ` ` ` `\` ` `|` ` `/` ` ` ` ` ` ` ` ` |
+
|                 \     |     /                 |
−
| ` ` ` ` ` ` ` ` ` \ ` `|` ` / ` ` ` ` ` ` ` ` ` |
+
|                   \   |   /                   |
−
| ` ` ` ` ` ` ` ` ` `\` `|` `/` ` ` ` ` ` ` ` ` ` |
+
|                   \   |   /                   |
−
| ` ` ` ` ` ` ` ` ` ` \ `|` / ` ` ` ` ` ` ` ` ` ` |
+
|                     \ | /                     |
−
| ` ` ` ` ` ` ` ` ` ` `\`|`/` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ | /                     |
−
| ` ` ` ` ` ` ` ` ` ` ` \|/ ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \|/                       |
−
| ` ` ` ` ` ` ` ` ` ` ` 000 ` ` ` ` ` ` ` ` ` ` ` |
+
|                       000                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` 1.1 ` ` ` ` ` ` ` ` ` ` ` |
+
|                       1.1                       |
−
| ` ` ` ` ` ` ` ` ` ` ` / \ ` ` ` ` ` ` ` ` ` ` ` |
+
|                       / \                       |
−
| ` ` ` ` ` ` ` ` ` ` `/` `\` ` ` ` ` ` ` ` ` ` ` |
+
|                     /   \                     |
−
| ` ` ` ` ` ` ` ` ` ` / ` ` \ ` ` ` ` ` ` ` ` ` ` |
+
|                     /     \                     |
−
| ` ` ` ` ` ` ` ` ` `/` ` ` `\` ` ` ` ` ` ` ` ` ` |
+
|                   /       \                   |
−
| ` ` ` ` ` ` ` ` ` / ` ` ` ` \ ` ` ` ` ` ` ` ` ` |
+
|                   /         \                   |
−
| ` ` ` ` ` ` ` ` `/` ` ` ` ` `\` ` ` ` ` ` ` ` ` |
+
|                 /           \                 |
−
| ` ` ` ` ` ` ` ` / ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` |
+
|                 /             \                 |
−
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` 0.1 ` ` ` ` ` ` ` |
+
|               o             0.1               |
−
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` |
+
|                 \             /                 |
−
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` |
+
|                 \           /                 |
−
| ` ` ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` |
+
|                   \         /                   |
−
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                   |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                     |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                     |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                       |
−
| ` ` ` ` ` ` ` ` ` ` ` 0.0 ` ` ` ` ` ` ` ` ` ` ` |
+
|                       0.0                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
 
o-------------------------------------------------o
 
o-------------------------------------------------o
 
Figure 30-e.  Tacit Extension TE_13_2 (Syll_13)
 
Figure 30-e.  Tacit Extension TE_13_2 (Syll_13)
Line 2,910: Line 2,910:  
<pre>
 
<pre>
 
o-------------------------------------------------o
 
o-------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` 111 ` ` ` ` ` ` ` ` ` ` ` |
+
|                       111                       |
−
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
+
|                       /|\                       |
−
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` `o` ` ` 101 ` ` 011 ` ` ` ` ` ` ` |
+
|               o     101     011               |
−
| ` ` ` ` ` ` ` `|\ ` ` / \ ` ` /|` ` ` ` ` ` ` ` |
+
|               |\     / \     /|               |
−
| ` ` ` ` ` ` ` `|`\` `/` `\` `/`|` ` ` ` ` ` ` ` |
+
|               | \   /   \   / |               |
−
| ` ` ` ` ` ` ` `|` \ / ` ` \ / `|` ` ` ` ` ` ` ` |
+
|               | \ /     \ / |               |
−
| ` ` ` ` ` ` ` `|` `\` ` ` `/` `|` ` ` ` ` ` ` ` |
+
|               |   \       /   |               |
−
| ` ` ` ` ` ` ` `|` / \ ` ` / \ `|` ` ` ` ` ` ` ` |
+
|               | / \     / \ |               |
−
| ` ` ` ` ` ` ` `|`/` `\` `/` `\`|` ` ` ` ` ` ` ` |
+
|               | /   \   /   \ |               |
−
| ` ` ` ` ` ` ` `|/ ` ` \ / ` ` \|` ` ` ` ` ` ` ` |
+
|               |/     \ /     \|               |
−
| ` ` ` ` ` ` ` 100 ` ` `o` ` ` 001 ` ` ` ` ` ` ` |
+
|               100     o     001               |
−
| ` ` ` ` ` ` ` ` \ ` ` `|` ` ` / ` ` ` ` ` ` ` ` |
+
|                 \     |     /                 |
−
| ` ` ` ` ` ` ` ` `\` ` `|` ` `/` ` ` ` ` .11 ` ` |
+
|                 \     |     /         .11     |
−
| ` ` ` ` ` ` ` ` ` \ ` `|` ` / ` ` ` ` ` /|` ` ` |
+
|                   \   |   /           /|     |
−
| ` ` ` ` ` ` ` ` ` `\` `|` `/` ` ` ` ` `/`|` ` ` |
+
|                   \   |   /           / |     |
−
| ` ` ` ` ` ` ` ` ` ` \ `|` / ` ` ` ` ` / `|` ` ` |
+
|                     \ | /           / |     |
−
| ` ` ` ` ` ` ` ` ` ` `\`|`/` ` ` ` ` `/` `|` ` ` |
+
|                     \ | /           /   |     |
−
| ` ` ` ` ` ` ` ` ` ` ` \|/ ` ` ` ` ` / ` `|` ` ` |
+
|                       \|/           /   |     |
−
| ` ` ` ` ` ` ` ` ` ` ` 000 ` ` ` ` `/` ` `|` ` ` |
+
|                       000         /     |     |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` / ` ` `|` ` ` |
+
|                                   /     |     |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `o` ` ` .01 ` ` |
+
|                                 o     .01     |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` / ` ` ` |
+
|                                 |     /       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|` ` `/` ` ` ` |
+
|                                 |     /       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|` ` / ` ` ` ` |
+
|                                 |   /         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|` `/` ` ` ` ` |
+
|                                 |   /         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|` / ` ` ` ` ` |
+
|                                 | /           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|`/` ` ` ` ` ` |
+
|                                 | /           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|/ ` ` ` ` ` ` |
+
|                                 |/             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` .00 ` ` ` ` ` ` |
+
|                                 .00             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
 
o-------------------------------------------------o
 
o-------------------------------------------------o
 
Figure 30-f.  Tacit Extension TE_23_1 (Syll_23)
 
Figure 30-f.  Tacit Extension TE_23_1 (Syll_23)
Line 2,959: Line 2,959:  
<pre>
 
<pre>
 
o-------------------------------------------------o
 
o-------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `*` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       *                       |
−
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
+
|                       /|\                       |
−
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
+
|                     / | \                     |
−
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
+
|                   /   |   \                   |
−
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
+
|                 /     |     \                 |
−
| ` ` ` ` ` ` ` `o` ` ` `o` ` ` `*` ` ` ` ` ` ` ` |
+
|               o       o       *               |
−
| ` ` ` ` ` ` ` /|\ ` ` / \ ` ` /|\ ` ` ` ` ` ` ` |
+
|               /|\     / \     /|\               |
−
| ` ` ` ` ` ` `/`|`\` `/` `\` `/`|`\` ` ` ` ` ` ` |
+
|             / | \   /   \   / | \             |
−
| ` ` ` ` ` ` / `|` \ / ` ` \ / `|` \ ` ` ` ` ` ` |
+
|             / | \ /     \ / | \             |
−
| ` ` ` ` ` `/` `|` `\` ` ` `/` `|` `\` ` ` ` ` ` |
+
|           /   |   \       /   |   \           |
−
| ` ` ` ` ` / ` `|` / \ ` ` / \ `|` ` \ ` ` ` ` ` |
+
|           /   | / \     / \ |   \           |
−
| ` ` ` ` `/` ` `|`/` `\` `/` `\`|` ` `\` ` ` ` ` |
+
|         /     | /   \   /   \ |     \         |
−
| ` ` ` ` / ` ` `|/ ` ` \ / ` ` \|` ` ` \ ` ` ` ` |
+
|         /     |/     \ /     \|     \         |
−
| ` ` ` `/` ` ` `o` ` ` `o` ` ` `*` ` ` `\` ` ` ` |
+
|       /       o       o       *       \       |
−
| ` ` ` / ` ` ` ` \ ` ` /|` ` ` / \ ` ` ` \ ` ` ` |
+
|       /         \     /|     / \       \       |
−
| ` ` `*` ` ` ` ` `\` `/`|` ` `/` `\` ` ` `*` ` ` |
+
|     *           \   / |     /   \       *     |
−
| ` ` `|\ ` ` ` ` ` \ / `|` ` / ` ` \ ` ` /|` ` ` |
+
|     |\           \ / |   /     \     /|     |
−
| ` ` `|`\` ` ` ` ` `/` `|` `/` ` ` `\` `/`|` ` ` |
+
|     | \           /   |   /       \   / |     |
−
| ` ` `|` \ ` ` ` ` / \ `|` / ` ` ` ` \ / `|` ` ` |
+
|     | \         / \ | /         \ / |     |
−
| ` ` `|` `\` ` ` `/` `\`|`/` ` ` ` ` `/` `|` ` ` |
+
|     |   \       /   \ | /           /   |     |
−
| ` ` `|` ` \ ` ` / ` ` \|/ ` ` ` ` ` / \ `|` ` ` |
+
|     |   \     /     \|/           / \ |     |
−
| ` ` `|` ` `\` `/` ` ` `*` ` ` ` ` `/` `\`|` ` ` |
+
|     |     \   /       *           /   \ |     |
−
| ` ` `|` ` ` \ / ` ` ` / \ ` ` ` ` / ` ` \|` ` ` |
+
|     |     \ /       / \         /     \|     |
−
| ` ` `o` ` ` `*` ` ` `/` `\` ` ` `o` ` ` `*` ` ` |
+
|     o       *       /   \       o       *     |
−
| ` ` ` \ ` ` `|` ` ` / ` ` \ ` ` `|` ` ` / ` ` ` |
+
|       \     |     /     \     |     /       |
−
| ` ` ` `\` ` `|` ` `/` ` ` `\` ` `|` ` `/` ` ` ` |
+
|       \     |     /       \     |     /       |
−
| ` ` ` ` \ ` `|` ` / ` ` ` ` \ ` `|` ` / ` ` ` ` |
+
|         \   |   /         \   |   /         |
−
| ` ` ` ` `\` `|` `/` ` `*` ` `\` `|` `/` ` ` ` ` |
+
|         \   |   /     *     \   |   /         |
−
| ` ` ` ` ` \ `|` / ` ` / \ ` ` \ `|` / ` ` ` ` ` |
+
|           \ | /     / \     \ | /           |
−
| ` ` ` ` ` `\`|`/` ` `/` `\` ` `\`|`/` ` ` ` ` ` |
+
|           \ | /     /   \     \ | /           |
−
| ` ` ` ` ` ` \|/ ` ` / ` ` \ ` ` \|/ ` ` ` ` ` ` |
+
|             \|/     /     \     \|/             |
−
| ` ` ` ` ` ` `*` ` `/` ` ` `\` ` `*` ` ` ` ` ` ` |
+
|             *     /       \     *             |
−
| ` ` ` ` ` ` ` ` ` / ` ` ` ` \ ` ` ` ` ` ` ` ` ` |
+
|                   /         \                   |
−
| ` ` ` ` ` ` ` ` `/` ` ` ` ` `\` ` ` ` ` ` ` ` ` |
+
|                 /           \                 |
−
| ` ` ` ` ` ` ` ` / ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` |
+
|                 /             \                 |
−
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` `*` ` ` ` ` ` ` ` |
+
|               o               *               |
−
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` |
+
|                 \             /                 |
−
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` |
+
|                 \           /                 |
−
| ` ` ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` |
+
|                   \         /                   |
−
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                   |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                     |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                     |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                       |
−
| ` ` ` ` ` ` ` ` ` ` ` `*` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       *                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                 |
 
o-------------------------------------------------o
 
o-------------------------------------------------o
 
Figure 31.  Syll = TE(Syll_12) |^| TE(Syll_23)
 
Figure 31.  Syll = TE(Syll_12) |^| TE(Syll_23)
Line 3,019: Line 3,019:     
<pre>
 
<pre>
−
o-------------------o ` ` ` ` o-------------------o
+
o-------------------o         o-------------------o
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|                   |         |                   |
−
| ` ` ` ` q ` ` ` ` | ` ` ` ` | ` ` ` ` r ` ` ` ` |
+
|         q         |         |         r         |
−
| ` ` ` ` o ` ` ` ` | ` ` ` ` | ` ` ` ` o ` ` ` ` |
+
|         o         |         |         o         |
−
| ` ` ` ` | ` ` ` ` | ` ` ` ` | ` ` ` ` | ` ` ` ` |
+
|         |         |         |         |         |
−
| ` ` ` p o ` ` ` ` | ` ` ` ` | ` ` ` q o ` ` ` ` |
+
|       p o         |         |       q o         |
−
| ` ` ` ` | ` ` ` ` | ` ` ` ` | ` ` ` ` | ` ` ` ` |
+
|         |         |         |         |         |
−
| ` ` ` ` @ ` ` ` ` | ` ` ` ` | ` ` ` ` @ ` ` ` ` |
+
|         @         |         |         @         |
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|                   |         |                   |
−
o-------------------o ` ` ` ` o-------------------o
+
o-------------------o         o-------------------o
−
| ` ` `(p (q))` ` ` | ` ` ` ` | ` ` `(q (r))` ` ` |
+
|     (p (q))     |         |     (q (r))     |
−
o-------------------o ` ` ` ` o-------------------o
+
o-------------------o         o-------------------o
−
| ` ` ` q_207 ` ` ` | ` ` ` ` | ` ` ` q_187 ` ` ` |
+
|       q_207       |         |       q_187       |
−
o---------o---------o ` ` ` ` o---------o---------o
+
o---------o---------o         o---------o---------o
−
` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` `
+
          \                           /          
−
` ` ` ` ` ` \ ` ` ` Conjunction ` ` ` / ` ` ` ` ` `
+
            \       Conjunction       /          
−
` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` `
+
            \                       /            
−
` ` ` ` ` ` ` v ` ` ` ` ` ` ` ` ` ` v ` ` ` ` ` ` `
+
              v                     v            
−
` ` ` ` ` ` ` `o-------------------o` ` ` ` ` ` ` `
+
              o-------------------o              
−
` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` ` ` ` `
+
              |                   |              
−
` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` ` ` ` `
+
              |                   |              
−
` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` ` ` ` `
+
              |                   |              
−
` ` ` ` ` ` ` `| ` ` ` q ` r ` ` ` |` ` ` ` ` ` ` `
+
              |       q   r       |              
−
` ` ` ` ` ` ` `| ` ` ` o ` o ` ` ` |` ` ` ` ` ` ` `
+
              |       o   o       |              
−
` ` ` ` ` ` ` `| ` ` ` | ` | ` ` ` |` ` ` ` ` ` ` `
+
              |       |   |       |              
−
` ` ` ` ` ` ` `| ` ` p o ` o q ` ` |` ` ` ` ` ` ` `
+
              |     p o   o q     |              
−
` ` ` ` ` ` ` `| ` ` ` `\`/` ` ` ` |` ` ` ` ` ` ` `
+
              |       \ /       |              
−
` ` ` ` ` ` ` `| ` ` ` ` @ ` ` ` ` |` ` ` ` ` ` ` `
+
              |         @         |              
−
` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` ` ` ` `
+
              |                   |              
−
` ` ` ` ` ` ` `o-------------------o` ` ` ` ` ` ` `
+
              o-------------------o              
−
` ` ` ` ` ` ` `| `(p (q)) (q (r))` |` ` ` ` ` ` ` `
+
              | (p (q)) (q (r)) |              
−
` ` ` ` ` ` ` `o-------------------o` ` ` ` ` ` ` `
+
              o-------------------o              
−
` ` ` ` ` ` ` `| ` ` ` q_139 ` ` ` |` ` ` ` ` ` ` `
+
              |       q_139       |              
−
` ` ` ` ` ` ` `o---------o---------o` ` ` ` ` ` ` `
+
              o---------o---------o              
−
` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` `
+
                        |                        
−
` ` ` ` ` ` ` ` ` ` Implication ` ` ` ` ` ` ` ` ` `
+
                    Implication                  
−
` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` `
+
                        |                        
−
` ` ` ` ` ` ` ` ` ` ` ` `v` ` ` ` ` ` ` ` ` ` ` ` `
+
                        v                        
−
` ` ` ` ` ` ` `o---------o---------o` ` ` ` ` ` ` `
+
              o---------o---------o              
−
` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` ` ` ` `
+
              |                   |              
−
` ` ` ` ` ` ` `| ` ` ` ` r ` ` ` ` |` ` ` ` ` ` ` `
+
              |         r         |              
−
` ` ` ` ` ` ` `| ` ` ` ` o ` ` ` ` |` ` ` ` ` ` ` `
+
              |         o         |              
−
` ` ` ` ` ` ` `| ` ` ` ` | ` ` ` ` |` ` ` ` ` ` ` `
+
              |         |         |              
−
` ` ` ` ` ` ` `| ` ` ` p o ` ` ` ` |` ` ` ` ` ` ` `
+
              |       p o         |              
−
` ` ` ` ` ` ` `| ` ` ` ` | ` ` ` ` |` ` ` ` ` ` ` `
+
              |         |         |              
−
` ` ` ` ` ` ` `| ` ` ` ` @ ` ` ` ` |` ` ` ` ` ` ` `
+
              |         @         |              
−
` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` ` ` ` `
+
              |                   |              
−
` ` ` ` ` ` ` `o-------------------o` ` ` ` ` ` ` `
+
              o-------------------o              
−
` ` ` ` ` ` ` `| ` ` `(p (r))` ` ` |` ` ` ` ` ` ` `
+
              |     (p (r))     |              
−
` ` ` ` ` ` ` `o-------------------o` ` ` ` ` ` ` `
+
              o-------------------o              
−
` ` ` ` ` ` ` `| ` ` ` q_175 ` ` ` |` ` ` ` ` ` ` `
+
              |       q_175       |              
−
` ` ` ` ` ` ` `o-------------------o` ` ` ` ` ` ` `
+
              o-------------------o              
−
` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
+
                                                 
 
Figure 32.  Expressive Aspects of Transitive Inference
 
Figure 32.  Expressive Aspects of Transitive Inference
 
</pre>
 
</pre>
Line 3,087: Line 3,087:     
<pre>
 
<pre>
−
o-------------------o ` ` ` ` o-------------------o
+
o-------------------o         o-------------------o
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|                   |         |                   |
−
| ` ` ` 0:0:0 ` ` ` | ` ` ` ` | ` ` ` 0:0:0 ` ` ` |
+
|       0:0:0       |         |       0:0:0       |
−
| ` ` ` 0:0:1 ` ` ` | ` ` ` ` | ` ` ` 0:0:1 ` ` ` |
+
|       0:0:1       |         |       0:0:1       |
−
| ` ` ` 0:1:0 ` ` ` | ` ` ` ` | ` ` ` 0:1:1 ` ` ` |
+
|       0:1:0       |         |       0:1:1       |
−
| ` ` ` 0:1:1 ` ` ` | ` ` ` ` | ` ` ` 1:0:0 ` ` ` |
+
|       0:1:1       |         |       1:0:0       |
−
| ` ` ` 1:1:0 ` ` ` | ` ` ` ` | ` ` ` 1:0:1 ` ` ` |
+
|       1:1:0       |         |       1:0:1       |
−
| ` ` ` 1:1:1 ` ` ` | ` ` ` ` | ` ` ` 1:1:1 ` ` ` |
+
|       1:1:1       |         |       1:1:1       |
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|                   |         |                   |
−
o-------------------o ` ` ` ` o-------------------o
+
o-------------------o         o-------------------o
−
|TE(Syll_12) c B:B:B| ` ` ` ` |TE(Syll_23) c B:B:B|
+
|TE(Syll_12) c B:B:B|         |TE(Syll_23) c B:B:B|
−
o-------------------o ` ` ` ` o-------------------o
+
o-------------------o         o-------------------o
−
| ` `[| q_207 |]` ` | ` ` ` ` | ` `[| q_187 |]` ` |
+
|   [| q_207 |]   |         |   [| q_187 |]   |
−
o----o---------o----o ` ` ` ` o----o---------o----o
+
o----o---------o----o         o----o---------o----o
−
` ` `^` ` ` ` ` \ ` ` ` ` ` ` ` ` / ` ` ` ` `^` ` `
+
    ^         \                 /         ^    
−
` ` `|` ` ` ` ` `\`Intersection `/` ` ` ` ` `|` ` `
+
    |           \ Intersection /           |    
−
` ` `|` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` `|` ` `
+
    |           \             /           |    
−
` ` `|` ` ` ` ` ` `v` ` ` ` ` `v` ` ` ` ` ` `|` ` `
+
    |             v           v             |    
−
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
+
    |         o-------------------o         |    
−
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
+
    |         |                   |         |    
−
` ` `|` ` ` ` `| ` ` ` 0:0:0 ` ` ` |` ` ` ` `|` ` `
+
    |         |       0:0:0       |         |    
−
` ` `|` ` ` ` `| ` ` ` 0:0:1 ` ` ` |` ` ` ` `|` ` `
+
    |         |       0:0:1       |         |    
−
` ` `|` ` ` ` `| ` ` ` 0:1:1 ` ` ` |` ` ` ` `|` ` `
+
    |         |       0:1:1       |         |    
−
` ` `|` ` ` ` `| ` ` ` 1:1:1 ` ` ` |` ` ` ` `|` ` `
+
    |         |       1:1:1       |         |    
−
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
+
    |         |                   |         |    
−
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
+
    |         o-------------------o         |    
−
` ` `|` ` ` ` `| ` `Syll c B:B:B ` |` ` ` ` `|` ` `
+
    |         |   Syll c B:B:B   |         |    
−
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
+
    |         o-------------------o         |    
−
` ` `|` ` ` ` `| ` `[| q_139 |]` ` |` ` ` ` `|` ` `
+
    |         |   [| q_139 |]   |         |    
−
` ` `|` ` ` ` `o---------o---------o` ` ` ` `|` ` `
+
    |         o---------o---------o         |    
−
` ` `|` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` `|` ` `
+
    |                   |                   |    
−
` ` `|` ` ` ` ` ` ` Projection` ` ` ` ` ` ` `|` ` `
+
    |             Projection               |    
−
` ` `|` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` `|` ` `
+
    |                   |                   |    
−
` ` `|` ` ` ` ` ` ` ` ` `v` ` ` ` ` ` ` ` ` `|` ` `
+
    |                   v                   |    
−
` ` `|` ` ` ` `o---------o---------o` ` ` ` `|` ` `
+
    |         o---------o---------o         |    
−
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
+
    |         |                   |         |    
−
` ` `|` ` ` ` `| ` ` ` `0:0` ` ` ` |` ` ` ` `|` ` `
+
    |         |       0:0       |         |    
−
` ` `|` ` ` ` `| ` ` ` `0:1` ` ` ` |` ` ` ` `|` ` `
+
    |         |       0:1       |         |    
−
` ` `|` ` ` ` `| ` ` ` `1:1` ` ` ` |` ` ` ` `|` ` `
+
    |         |       1:1       |         |    
−
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
+
    |         |                   |         |    
−
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
+
    |         o-------------------o         |    
−
` ` `|` ` ` ` `| `Syll_13 c B:~:B` |` ` ` ` `|` ` `
+
    |         | Syll_13 c B:~:B |         |    
−
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
+
    |         o-------------------o         |    
−
` ` `|` ` ` ` `| ` [| (p (r)) |] ` |` ` ` ` `|` ` `
+
    |         |   [| (p (r)) |]   |         |    
−
` ` `|` ` ` ` `o----o---------o----o` ` ` ` `|` ` `
+
    |         o----o---------o----o         |    
−
` ` `|` ` ` ` ` ` `^` ` ` ` ` `^` ` ` ` ` ` `|` ` `
+
    |             ^           ^             |    
−
` ` `|` ` ` ` ` ` / ` ` ` ` ` ` \ ` ` ` ` ` `|` ` `
+
    |           /             \           |    
−
` ` `|` ` ` ` ` `/` Composition `\` ` ` ` ` `|` ` `
+
    |           / Composition \           |    
−
` ` `|` ` ` ` ` / ` ` ` ` ` ` ` ` \ ` ` ` ` `|` ` `
+
    |         /                 \         |    
−
o----o---------o----o ` ` ` ` o----o---------o----o
+
o----o---------o----o         o----o---------o----o
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|                   |         |                   |
−
| ` ` ` `0:0` ` ` ` | ` ` ` ` | ` ` ` `0:0` ` ` ` |
+
|       0:0       |         |       0:0       |
−
| ` ` ` `0:1` ` ` ` | ` ` ` ` | ` ` ` `0:1` ` ` ` |
+
|       0:1       |         |       0:1       |
−
| ` ` ` `1:1` ` ` ` | ` ` ` ` | ` ` ` `1:1` ` ` ` |
+
|       1:1       |         |       1:1       |
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|                   |         |                   |
−
o-------------------o ` ` ` ` o-------------------o
+
o-------------------o         o-------------------o
−
| `Syll_12 c B:B:~` | ` ` ` ` | `Syll_23 c ~:B:B` |
+
| Syll_12 c B:B:~ |         | Syll_23 c ~:B:B |
−
o-------------------o ` ` ` ` o-------------------o
+
o-------------------o         o-------------------o
−
| ` [| (p (q)) |] ` | ` ` ` ` | ` [| (q (r)) |] ` |
+
|   [| (p (q)) |]   |         |   [| (q (r)) |]   |
−
o---------o---------o ` ` ` ` o---------o---------o
+
o---------o---------o         o---------o---------o
−
` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
+
                                                 
 
Figure 33.  Denotative Aspects of Transitive Inference
 
Figure 33.  Denotative Aspects of Transitive Inference
 
</pre>
 
</pre>
Line 3,180: Line 3,180:     
<pre>
 
<pre>
−
o-------------------o ` ` ` ` o-------------------o
+
o-------------------o         o-------------------o
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|                   |         |                   |
−
| ` ` (p)(q)(r) ` ` | ` ` ` ` | ` ` (p)(q)(r) ` ` |
+
|     (p)(q)(r)     |         |     (p)(q)(r)     |
−
| ` ` (p)(q)`r` ` ` | ` ` ` ` | ` ` (p)(q)`r` ` ` |
+
|     (p)(q) r     |         |     (p)(q) r     |
−
| ` ` (p) q (r) ` ` | ` ` ` ` | ` ` (p) q `r` ` ` |
+
|     (p) q (r)     |         |     (p) q r     |
−
| ` ` (p) q `r` ` ` | ` ` ` ` | ` ` `p`(q)(r) ` ` |
+
|     (p) q r     |         |     p (q)(r)     |
−
| ` ` `p` q (r) ` ` | ` ` ` ` | ` ` `p`(q)`r` ` ` |
+
|     p q (r)     |         |     p (q) r     |
−
| ` ` `p` q `r` ` ` | ` ` ` ` | ` ` `p` q `r` ` ` |
+
|     p q r     |         |     p q r     |
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|                   |         |                   |
−
o-------------------o ` ` ` ` o-------------------o
+
o-------------------o         o-------------------o
−
|TE(Syll_12) c B:B:B| ` ` ` ` |TE(Syll_23) c B:B:B|
+
|TE(Syll_12) c B:B:B|         |TE(Syll_23) c B:B:B|
−
o-------------------o ` ` ` ` o-------------------o
+
o-------------------o         o-------------------o
−
| ` `[| q_207 |]` ` | ` ` ` ` | ` `[| q_187 |]` ` |
+
|   [| q_207 |]   |         |   [| q_187 |]   |
−
o----o---------o----o ` ` ` ` o----o---------o----o
+
o----o---------o----o         o----o---------o----o
−
` ` `^` ` ` ` ` \ ` ` ` ` ` ` ` ` / ` ` ` ` `^` ` `
+
    ^         \                 /         ^    
−
` ` `|` ` ` ` ` `\`Intersection `/` ` ` ` ` `|` ` `
+
    |           \ Intersection /           |    
−
` ` `|` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` `|` ` `
+
    |           \             /           |    
−
` ` `|` ` ` ` ` ` `v` ` ` ` ` `v` ` ` ` ` ` `|` ` `
+
    |             v           v             |    
−
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
+
    |         o-------------------o         |    
−
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
+
    |         |                   |         |    
−
` ` `|` ` ` ` `| ` ` (p)(q)(r) ` ` |` ` ` ` `|` ` `
+
    |         |     (p)(q)(r)     |         |    
−
` ` `|` ` ` ` `| ` ` (p)(q)`r` ` ` |` ` ` ` `|` ` `
+
    |         |     (p)(q) r     |         |    
−
` ` `|` ` ` ` `| ` ` (p) q `r` ` ` |` ` ` ` `|` ` `
+
    |         |     (p) q r     |         |    
−
` ` `|` ` ` ` `| ` ` `p` q `r` ` ` |` ` ` ` `|` ` `
+
    |         |     p q r     |         |    
−
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
+
    |         |                   |         |    
−
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
+
    |         o-------------------o         |    
−
` ` `|` ` ` ` `| `Syll c P‡ Q‡ R‡` |` ` ` ` `|` ` `
+
    |         | Syll c P‡ Q‡ R‡ |         |    
−
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
+
    |         o-------------------o         |    
−
` ` `|` ` ` ` `| ` `[| q_139 |]` ` |` ` ` ` `|` ` `
+
    |         |   [| q_139 |]   |         |    
−
` ` `|` ` ` ` `o---------o---------o` ` ` ` `|` ` `
+
    |         o---------o---------o         |    
−
` ` `|` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` `|` ` `
+
    |                   |                   |    
−
` ` `|` ` ` ` ` ` ` Projection` ` ` ` ` ` ` `|` ` `
+
    |             Projection               |    
−
` ` `|` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` `|` ` `
+
    |                   |                   |    
−
` ` `|` ` ` ` ` ` ` ` ` `v` ` ` ` ` ` ` ` ` `|` ` `
+
    |                   v                   |    
−
` ` `|` ` ` ` `o---------o---------o` ` ` ` `|` ` `
+
    |         o---------o---------o         |    
−
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
+
    |         |                   |         |    
−
` ` `|` ` ` ` `| ` ` `(p) (r)` ` ` |` ` ` ` `|` ` `
+
    |         |     (p) (r)     |         |    
−
` ` `|` ` ` ` `| ` ` `(p)` r ` ` ` |` ` ` ` `|` ` `
+
    |         |     (p) r       |         |    
−
` ` `|` ` ` ` `| ` ` ` p ` r ` ` ` |` ` ` ` `|` ` `
+
    |         |       p   r       |         |    
−
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
+
    |         |                   |         |    
−
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
+
    |         o-------------------o         |    
−
` ` `|` ` ` ` `| `Syll_13 c P‡ R‡` |` ` ` ` `|` ` `
+
    |         | Syll_13 c P‡ R‡ |         |    
−
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
+
    |         o-------------------o         |    
−
` ` `|` ` ` ` `| ` [| (p (r)) |] ` |` ` ` ` `|` ` `
+
    |         |   [| (p (r)) |]   |         |    
−
` ` `|` ` ` ` `o----o---------o----o` ` ` ` `|` ` `
+
    |         o----o---------o----o         |    
−
` ` `|` ` ` ` ` ` `^` ` ` ` ` `^` ` ` ` ` ` `|` ` `
+
    |             ^           ^             |    
−
` ` `|` ` ` ` ` ` / ` ` ` ` ` ` \ ` ` ` ` ` `|` ` `
+
    |           /             \           |    
−
` ` `|` ` ` ` ` `/` Composition `\` ` ` ` ` `|` ` `
+
    |           / Composition \           |    
−
` ` `|` ` ` ` ` / ` ` ` ` ` ` ` ` \ ` ` ` ` `|` ` `
+
    |         /                 \         |    
−
o----o---------o----o ` ` ` ` o----o---------o----o
+
o----o---------o----o         o----o---------o----o
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|                   |         |                   |
−
| ` ` `(p) (q)` ` ` | ` ` ` ` | ` ` `(q) (r)` ` ` |
+
|     (p) (q)     |         |     (q) (r)     |
−
| ` ` `(p)` q ` ` ` | ` ` ` ` | ` ` `(q)` r ` ` ` |
+
|     (p) q       |         |     (q) r       |
−
| ` ` ` p ` q ` ` ` | ` ` ` ` | ` ` ` q ` r ` ` ` |
+
|       p   q       |         |       q   r       |
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|                   |         |                   |
−
o-------------------o ` ` ` ` o-------------------o
+
o-------------------o         o-------------------o
−
| `Syll_12 c P‡ Q‡` | ` ` ` ` | `Syll_23 c Q‡ R‡` |
+
| Syll_12 c P‡ Q‡ |         | Syll_23 c Q‡ R‡ |
−
o-------------------o ` ` ` ` o-------------------o
+
o-------------------o         o-------------------o
−
| ` [| (p (q)) |] ` | ` ` ` ` | ` [| (q (r)) |] ` |
+
|   [| (p (q)) |]   |         |   [| (q (r)) |]   |
−
o---------o---------o ` ` ` ` o---------o---------o
+
o---------o---------o         o---------o---------o
−
` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
+
                                                   
 
Figure 35.  Denotative Aspects of Transitive Inference
 
Figure 35.  Denotative Aspects of Transitive Inference
 
</pre>
 
</pre>
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/90451"