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=== |