Proceeding as before, assume the following definitions:
+
+
{| align="center" cellspacing="10" width="90%"
+
| <math>X\!</math> is the universe of discourse,
+
|-
+
| <math>W \subseteq X</math> is the denotation of the absolute term <math>\mathrm{w} = \text{woman},\!</math>
+
|-
+
| <math>L \subseteq X \times X\!</math> is the 2-adic relation associated with the relative term <math>\mathit{l} = \text{lover of}\,\underline{~~~~},</math>
+
|-
+
| <math>S \subseteq X \times X\!</math> is the 2-adic relation associated with the relative term <math>\mathit{s} = \text{servant of}\,\underline{~~~~}.</math>