nelcymau lujvo

z1, more than z2, likes n2 by amount z4.

Example 12.91 (cll 1.1).