Line 44: |
Line 44: |
| ===Test 2=== | | ===Test 2=== |
| | | |
− | <math>\cdot~ \prod_{k = 1}^{\ell} \text{p}_{i(k)}^{j(k)} ~\cdot</math> | + | {| cellpadding="10" |
− | | + | |- |
− | <math>|~ \prod_{k = 1}^{\ell} \text{p}_{i(k)}^{j(k)} ~|</math> | + | | <math>\cdot~ \prod_{k = 1}^{\ell} \text{p}_{i(k)}^{j(k)} ~\cdot</math> |
| + | |- |
| + | | <math>|~ \prod_{k = 1}^{\ell} \text{p}_{i(k)}^{j(k)} ~|</math> |
| + | |} |
| | | |
| ===Test 3=== | | ===Test 3=== |
Line 72: |
Line 75: |
| | Matrix (3 Column) | | | Matrix (3 Column) |
| |} | | |} |
| + | |
| + | ===Test 4=== |
| + | |
| + | {| align="center" cellpadding="10" style="text-align:center" |
| + | |- |
| + | | [[Image:R&R_Dot_Array.png]] |
| + | |- |
| + | | [[Image:R&R_Dot_Array_Big.png]] |
| + | |- |
| + | | [[Image:R&R_Dot_Array_Big_Crop.png]] |
| + | |} |
| + | |
| + | ==Workspace== |
| + | |
| + | Assertions of these relations can be read in various ways, for example: |
| + | |
| + | <br> |
| + | |
| + | {| align="center" border="1" cellpadding="4" cellspacing="2" style="text-align:left; width:100%" |
| + | | |
| + | {| align="center" border="0" cellpadding="4" cellspacing="0" style="background:#f0f0ff; text-align:left; width:100%" |
| + | |- |
| + | | width="50%" | <math>j : x \lessdot y</math> |
| + | | width="50%" | <math>j : y \gtrdot x</math> |
| + | |- |
| + | | <math>x \lessdot_j y</math> |
| + | | <math>y \gtrdot_j x</math> |
| + | |- |
| + | | <math>x \lessdot y : j</math> |
| + | | <math>y \gtrdot x : j</math> |
| + | |} |
| + | |- |
| + | | |
| + | {| align="center" border="0" cellpadding="4" cellspacing="0" style="text-align:left; width:100%" |
| + | | width="50%" | <math>j ~\text{sets}~ x ~\text{in}~ y.</math> |
| + | | width="50%" | <math>j ~\text{sets}~ y ~\text{on}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{makes}~ x ~\text{an instance of}~ y.</math> |
| + | | <math>j ~\text{makes}~ y ~\text{a property of}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{thinks}~ x ~\text{an instance of}~ y.</math> |
| + | | <math>j ~\text{thinks}~ y ~\text{a property of}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{attests}~ x ~\text{an instance of}~ y.</math> |
| + | | <math>j ~\text{attests}~ y ~\text{a property of}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{appoints}~ x ~\text{an instance of}~ y.</math> |
| + | | <math>j ~\text{appoints}~ y ~\text{a property of}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{witnesses}~ x ~\text{an instance of}~ y.</math> |
| + | | <math>j ~\text{witnesses}~ y ~\text{a property of}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{interprets}~ x ~\text{an instance of}~ y.</math> |
| + | | <math>j ~\text{interprets}~ y ~\text{a property of}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{contributes}~ x ~\text{to}~ y.</math> |
| + | | <math>j ~\text{attributes}~ y ~\text{to}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{determines}~ x ~\text{an example of}~ y.</math> |
| + | | <math>j ~\text{determines}~ y ~\text{a quality of}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{evaluates}~ x ~\text{an example of}~ y.</math> |
| + | | <math>j ~\text{evaluates}~ y ~\text{a quality of}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{proposes}~ x ~\text{an example of}~ y.</math> |
| + | | <math>j ~\text{proposes}~ y ~\text{a quality of}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{musters}~ x ~\text{under}~ y.</math> |
| + | | <math>j ~\text{marshals}~ y ~\text{over}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{indites}~ x ~\text{among}~ y.</math> |
| + | | <math>j ~\text{ascribes}~ y ~\text{about}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{imputes}~ x ~\text{among}~ y.</math> |
| + | | <math>j ~\text{imputes}~ y ~\text{about}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{judges}~ x ~\text{beneath}~ y.</math> |
| + | | <math>j ~\text{judges}~ y ~\text{beyond}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{finds}~ x ~\text{preceding}~ y.</math> |
| + | | <math>j ~\text{finds}~ y ~\text{succeeding}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{poses}~ x ~\text{before}~ y.</math> |
| + | | <math>j ~\text{poses}~ y ~\text{after}~ x.</math> |
| + | |- |
| + | | <math>j ~\text{forms}~ x ~\text{below}~ y.</math> |
| + | | <math>j ~\text{forms}~ y ~\text{above}~ x.</math> |
| + | |} |
| + | |} |
| + | |
| + | <br> |