<div dir="ltr">Woodley, thanks for the clever idea. This seems like it should fix the problem, but I agree that it is probably not common enough to justify impelentation costs right now, so we will likely rely on the subsumption check for the mean time.<br>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Nov 30, 2013 at 4:52 PM, Woodley Packard <span dir="ltr">&lt;<a href="mailto:sweaglesw@sweaglesw.org" target="_blank">sweaglesw@sweaglesw.org</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div>Spencer and Glenn,</div><div><br></div><div>One condition that leads to the problem here seems to be that two argument positions that were coindexed on the input (namely look&#39;s ARG1 and pron_rel&#39;s ARG0) are never unified by the proposed derivation.  This is a situation that will always fail the post-generation subsumption test.</div>
<div><br></div><div>I think the index accesibility filter idea can be extended to catch this, though the added complexity may not be worth the trouble.  In the example you gave, the pron_rel on &quot;you&quot; has a skolemized ARG0 (say &quot;x1&quot;), and the look_v_rel on &quot;look&quot; has a skolemized ARG1, also presumably skolemized as &quot;x1&quot;.  The combined edge &quot;look you&quot; seals off the AVM node for the pron_rel&#39;s ARG0 without unifying it with look_v_rel&#39;s ARG1.  When doing the inaccessibility filter, we would normally say that &quot;x1&quot; was previously accessible (on both daughter edges) and is still accessible on the combined edge &quot;look you&quot;, since it is the HOOK.XARG.  The extra trick would be to notice that in a situation where two edges that both have &quot;x1&quot; accessible are combined:</div>
<div>  1. If &quot;x1&quot; is still accessible on the new edge, the result is only valid if each accessible &quot;x1&quot; AVM node in the daughter edges becomes reentrant with some accessible &quot;x1&quot; in the new edge.  This fails for the example.</div>
<div>  2. If &quot;x1&quot; is inaccessible on the new edge, the result is only valid if all the accessible &quot;x1&quot; AVM nodes in the daughter edges become reentrant (before being trimmed by the *deleted-daughters* setting).</div>
<div><br></div><div>In terms of implementation, I reckon this would require keeping pointers from each edge to the AVM nodes that represent its accessible variables (or rediscovering them on the fly every time a unification succeeds).  With a Tomabechi-style unifier, you could then verify that in the temporary unification result the relevant nodes on each side got forwarded to each other.</div>
<div><br></div><div>Personally, I doubt this situation is common enough to justify the overhead -- but it would be interesting to know :-).</div><span class="HOEnZb"><font color="#888888"><div>-Woodley</div></font></span><div class="im">
<div><br></div><div><div>On Nov 29, 2013, at 2:37 PM, Spencer Rarrick &lt;<a href="mailto:spencer.rarrick@gmail.com" target="_blank">spencer.rarrick@gmail.com</a>&gt; wrote:</div><br><blockquote type="cite"><span style="font-family:Helvetica;font-size:medium;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:-webkit-auto;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;display:inline!important;float:none">Clearly we are missing a constraint in one or more parts of our generation pipeline. There are fixes we have thought of, but we are not sure if they would have unintended consequences and possible block some valid realizations in other circumstances:</span><br style="font-family:Helvetica;font-size:medium;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:-webkit-auto;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
</blockquote></div><br></div></div></blockquote></div><br></div>