Find!
s1=g1 is a dog housed in dog house s2 of dog breed g2.
Example 12.16 (cll 1.1). See also gerzda.