<div dir="ltr">Just a small point on terminology, if I can recall correctly:<div><br></div><div>Ann uses: characteristic variable/argument</div><div>oe uses: distinguished variable/argument</div><div>the compromise to this standoff was: intrinsic variable/argument</div><div><br></div><div>And sorry, I wasn&#39;t trying to focus only on grammars with ICONS. And as far as not-huge but probably messy grammars, Zhong comes to mind (I think the A-not-A constructions violate the characteristic-variable property: <a href="http://web.stanford.edu/group/cslipublications/cslipublications/HPSG/2015/wsb.pdf#page=18">http://web.stanford.edu/group/cslipublications/cslipublications/HPSG/2015/wsb.pdf#page=18</a>). It was until recently actively developed, but with Sanghoun now having other responsibilities the development pace has slowed. Zhenzhen, I believe, is the primary maintainer now.</div><div><br></div><div>Hope that helps</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Wed, Jan 6, 2016 at 10:41 AM Joshua Crowgey &lt;<a href="mailto:jcrowgey@u.washington.edu">jcrowgey@u.washington.edu</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">As an aside to the main conversation here, I just want to add that<br>
I&#39;m trying to learn as much as I can about this &quot;characteristic variable<br>
property&quot;.  While I understand (I think), what it means for a grammar to<br>
have this property, I think I still lack a bit in my understanding of<br>
how this property connects to semantic theory.<br>
<br>
If any of you have suggested readings for me, I&#39;d certainly take you up<br>
on them.<br>
<br>
Cheers!<br>
<br>
--Joshua<br>
<br>
On 01/06/2016 02:45 AM, Ann Copestake wrote:<br>
&gt; Hi,<br>
&gt;<br>
&gt; No, right now, I don&#39;t particularly want grammars with ICONS - I&#39;m<br>
&gt; looking for collaboration with developers of grammars with the<br>
&gt; characteristic variable property.  i.e., each variable is introduced by<br>
&gt; a unique elementary predication and each EP (other than quantifiers)<br>
&gt; introduces a variable.<br>
&gt;<br>
</blockquote></div>