&lt;a &#039;b c&#039; b c&gt; :: &lt;x &#039;y z&gt;&#039; y z