s X, Y, Z
represent 'terms', while the edges represent 'propositions',
reading Case YX, Fact ZX, Rule ZY in the following ways as
implications or as predications, according to one's taste.

¤~~~~~~~~~~~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
| Proposition       | Case YX | Fact ZX | Rule ZY |
¤~~~~~~~~~~~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
| Predication       |  Y of X |  Z of X |  Z of Y |
¤~~~~~~~~~~~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
| Implication       | (X (Y)) | (X (Z)) | (Y (Z