Line 86: |
Line 86: |
| | [[Image:R&R_Dot_Array_Big_Crop.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> |