gerselzda lujvo

s1=g1 is a dog housed in nest s2 of dog breed g2.

Example 12.16 (cll 1.1). See also gerzda.