<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Regarding my previous post of this subject, here is a slightly more concrete example that Stephan came up with, demonstrating how the problem can happen.<br><div><br></div><div><blockquote type="cite"><span class="Apple-style-span" style="border-collapse: separate; font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "> X: [ FOO v, BAR v ]<br> Y: [ FOO v ]<br><br> R: [ BAR #bar, ARGS < [ BAR #bar ] > ]<br></span></blockquote><div><br></div><div>Then we find:</div><div><br></div><div>R(X): [ BAR v ]</div><div>R(Y): [ ]</div><div><br></div><blockquote type="cite"><span class="Apple-style-span" style="border-collapse: separate; font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; ">in a minimal forest, we would like Y in the chart, X packed<br>into Y, and R(Y) in the chart</span></blockquote><br><div>It is indeed the case that R(X) would pack into R(Y), but since the variable 'v' has become inaccessible in the application of rule R to edge Y, index accessibility filtering may reject edge R(Y), leaving R(X) without a representative.</div></div><br><div>Woodley</div></body></html>