| Line 992: |
Line 992: |
| | Here are a few of the simplest products among these terms: | | Here are a few of the simplest products among these terms: |
| | | | |
| − | : 'l'1 = "lover of anybody"
| + | {| align="center" cellspacing="6" width="90%" |
| − | | + | | |
| − | :: = (B:C +, C:B +, D:O +, E:I +, I:E +, O:D)(B +, C +, D +, E +, I +, J +, O)
| + | <math>\begin{array}{lll} |
| − | | + | \mathit{l}1 |
| − | :: = B +, C +, D +, E +, I +, O
| + | & = & |
| − | | + | \text{lover of anything} |
| − | :: = "anybody except J"
| + | \\[6pt] |
| | + | & = & |
| | + | (\mathrm{B}:\mathrm{C} ~+\!\!,~ \mathrm{C}:\mathrm{B} ~+\!\!,~ \mathrm{D}:\mathrm{O} ~+\!\!,~ \mathrm{E}:\mathrm{I} ~+\!\!,~ \mathrm{I}:\mathrm{E} ~+\!\!,~ \mathrm{O}:\mathrm{D}) |
| | + | \\ |
| | + | & & |
| | + | \times |
| | + | \\ |
| | + | & & |
| | + | (\mathrm{B} ~+\!\!,~ \mathrm{C} ~+\!\!,~ \mathrm{D} ~+\!\!,~ \mathrm{E} ~+\!\!,~ \mathrm{I} ~+\!\!,~ \mathrm{J} ~+\!\!,~ \mathrm{O}) |
| | + | \\[6pt] |
| | + | & = & |
| | + | \mathrm{B} ~+\!\!,~ \mathrm{C} ~+\!\!,~ \mathrm{D} ~+\!\!,~ \mathrm{E} ~+\!\!,~ \mathrm{I} ~+\!\!,~ \mathrm{O} |
| | + | \\[6pt] |
| | + | & = & |
| | + | \text{anything except}~\mathrm{J} |
| | + | \end{array}</math> |
| | + | |} |
| | | | |
| | : 'l'b = "lover of a black" | | : 'l'b = "lover of a black" |