n> <span class="fl">1</span><span class="op">)</span></span>
<span><span class="co">#&gt;             Motors -&gt; MD Cars -&gt; MD LED lamps -&gt; Light</span></span>
<span><span class="co">#&gt; Electricity            1          2                  3</span></span>
<span><span class="co">#&gt; Electricity            4          5                  6</span></span></code></pre></div>
<p>When inferring notation, both margins can be renamed at the same
time, despite having different notations.</p>
<div class="sou