| Line 2,432: |
Line 2,432: |
| | |} | | |} |
| | | | |
| − | Example 2. Anything That Is Man | + | Example 2. Anything That Is A Man |
| | | | |
| − | : 1,m = m
| + | {| align="center" cellpadding="6" width="90%" |
| − | | + | | <math>\mathbf{1,}\mathrm{m} ~=~ \mathrm{m}</math> |
| − | : "anything that is man" = "man"
| + | |- |
| | + | | <math>\text{anything that is a man} ~=~ \text{man}</math> |
| | + | |- |
| | + | | |
| | + | <math> |
| | + | \begin{bmatrix} |
| | + | 1 & 0 & 0 & 0 & 0 & 0 & 0 |
| | + | \\ |
| | + | 0 & 1 & 0 & 0 & 0 & 0 & 0 |
| | + | \\ |
| | + | 0 & 0 & 1 & 0 & 0 & 0 & 0 |
| | + | \\ |
| | + | 0 & 0 & 0 & 1 & 0 & 0 & 0 |
| | + | \\ |
| | + | 0 & 0 & 0 & 0 & 1 & 0 & 0 |
| | + | \\ |
| | + | 0 & 0 & 0 & 0 & 0 & 1 & 0 |
| | + | \\ |
| | + | 0 & 0 & 0 & 0 & 0 & 0 & 1 |
| | + | \end{bmatrix} |
| | + | \begin{bmatrix} |
| | + | 0 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1 |
| | + | \end{bmatrix} |
| | + | = |
| | + | \begin{bmatrix} |
| | + | 0 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1 |
| | + | \end{bmatrix} |
| | + | </math> |
| | + | |} |
| | | | |
| | {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
| Line 2,452: |
Line 2,480: |
| | </pre> | | </pre> |
| | |} | | |} |
| | + | |
| | + | Example 3. Man That Is Anything |
| | + | |
| | + | : m,1 = m |
| | + | |
| | + | : "man that is anything" = "man" |
| | | | |
| | <pre> | | <pre> |
| − | | 1 0 0 0 0 0 0 | | 0 | | 0 | | + | | 0 0 0 0 0 0 0 | | 1 | | 0 | |
| | | 0 1 0 0 0 0 0 | | 1 | | 1 | | | | 0 1 0 0 0 0 0 | | 1 | | 1 | |
| − | | 0 0 1 0 0 0 0 | | 0 | | 0 | | + | | 0 0 0 0 0 0 0 | | 1 | | 0 | |
| − | | 0 0 0 1 0 0 0 | | 0 | = | 0 | | + | | 0 0 0 0 0 0 0 | | 1 | = | 0 | |
| | | 0 0 0 0 1 0 0 | | 1 | | 1 | | | | 0 0 0 0 1 0 0 | | 1 | | 1 | |
| | | 0 0 0 0 0 1 0 | | 1 | | 1 | | | | 0 0 0 0 0 1 0 | | 1 | | 1 | |
| | | 0 0 0 0 0 0 1 | | 1 | | 1 | | | | 0 0 0 0 0 0 1 | | 1 | | 1 | |
| | </pre> | | </pre> |
| − |
| |
| − | Example 3. Man That Is Anything
| |
| − |
| |
| − | : m,1 = m
| |
| − |
| |
| − | : "man that is anything" = "man"
| |
| | | | |
| | {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
| Line 2,483: |
Line 2,511: |
| | </pre> | | </pre> |
| | |} | | |} |
| | + | |
| | + | Example 4. Man That Is Noble |
| | + | |
| | + | : m,n = "man that is noble" |
| | | | |
| | <pre> | | <pre> |
| − | | 0 0 0 0 0 0 0 | | 1 | | 0 | | + | | 0 0 0 0 0 0 0 | | 0 | | 0 | |
| | | 0 1 0 0 0 0 0 | | 1 | | 1 | | | | 0 1 0 0 0 0 0 | | 1 | | 1 | |
| | | 0 0 0 0 0 0 0 | | 1 | | 0 | | | | 0 0 0 0 0 0 0 | | 1 | | 0 | |
| − | | 0 0 0 0 0 0 0 | | 1 | = | 0 | | + | | 0 0 0 0 0 0 0 | | 0 | = | 0 | |
| − | | 0 0 0 0 1 0 0 | | 1 | | 1 | | + | | 0 0 0 0 1 0 0 | | 0 | | 0 | |
| − | | 0 0 0 0 0 1 0 | | 1 | | 1 | | + | | 0 0 0 0 0 1 0 | | 0 | | 0 | |
| | | 0 0 0 0 0 0 1 | | 1 | | 1 | | | | 0 0 0 0 0 0 1 | | 1 | | 1 | |
| | </pre> | | </pre> |
| − |
| |
| − | Example 4. Man That Is Noble
| |
| − |
| |
| − | : m,n = "man that is noble"
| |
| | | | |
| | {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
| Line 2,512: |
Line 2,540: |
| | </pre> | | </pre> |
| | |} | | |} |
| | + | |
| | + | Example 5. Noble That Is Man |
| | + | |
| | + | : n,m = "noble that is man" |
| | | | |
| | <pre> | | <pre> |
| | | 0 0 0 0 0 0 0 | | 0 | | 0 | | | | 0 0 0 0 0 0 0 | | 0 | | 0 | |
| | | 0 1 0 0 0 0 0 | | 1 | | 1 | | | | 0 1 0 0 0 0 0 | | 1 | | 1 | |
| | + | | 0 0 1 0 0 0 0 | | 0 | | 0 | |
| | + | | 0 0 0 0 0 0 0 | | 0 | = | 0 | |
| | + | | 0 0 0 0 0 0 0 | | 1 | | 0 | |
| | | 0 0 0 0 0 0 0 | | 1 | | 0 | | | | 0 0 0 0 0 0 0 | | 1 | | 0 | |
| − | | 0 0 0 0 0 0 0 | | 0 | = | 0 |
| |
| − | | 0 0 0 0 1 0 0 | | 0 | | 0 |
| |
| − | | 0 0 0 0 0 1 0 | | 0 | | 0 |
| |
| | | 0 0 0 0 0 0 1 | | 1 | | 1 | | | | 0 0 0 0 0 0 1 | | 1 | | 1 | |
| | </pre> | | </pre> |
| − |
| |
| − | Example 5. Noble That Is Man
| |
| − |
| |
| − | : n,m = "noble that is man"
| |
| | | | |
| | {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
| Line 2,541: |
Line 2,569: |
| | </pre> | | </pre> |
| | |} | | |} |
| − |
| |
| − | <pre>
| |
| − | | 0 0 0 0 0 0 0 | | 0 | | 0 |
| |
| − | | 0 1 0 0 0 0 0 | | 1 | | 1 |
| |
| − | | 0 0 1 0 0 0 0 | | 0 | | 0 |
| |
| − | | 0 0 0 0 0 0 0 | | 0 | = | 0 |
| |
| − | | 0 0 0 0 0 0 0 | | 1 | | 0 |
| |
| − | | 0 0 0 0 0 0 0 | | 1 | | 0 |
| |
| − | | 0 0 0 0 0 0 1 | | 1 | | 1 |
| |
| − | </pre>
| |
| | | | |
| | ===Commentary Note 9.7=== | | ===Commentary Note 9.7=== |