sult">: (<span name="provingground.translation.ConeRestriction.G" class="extype">G</span>[<span name="provingground.translation.ConeRestriction.Y" class="extype">Y</span>[<span name="provingground.translation.ConeRestriction.restrict.I" class="extype">I</span>]]) =&gt; <span name="provingground.translation.ConeRestriction.G" class="extype">G</span>[<span name="provingground.translation.ConeRestriction.X" class="extype">X</span>[<span name="provingground.translation.ConeRestriction.restrict.I" class="extype"