<html>
  <head>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Thanks!<br>
    <br>
    I assume that the unexpressed argument cases like English `eat' are
    different from dropped arguments in Spanish (and I guess Japanese) 
    because these apply across the board rather than being lexically
    specific.  I also assume it's clearer to a naive speaker that
    something is `missing'.    But I assume that putting back
    zero-pronouns just for the case where there's a coindexation is not
    something that one would want to try and do in a grammar - it
    doesn't seem likely it could be done compositionally and
    monotonically, if it could be done at all.  <br>
    <br>
    Anyway, I will leave it up to others to decide what they want to do,
    but let's leave it that I am willing to try and add support directly
    in DMRS if that's thought to be helpful.<br>
    <br>
    All best,<br>
    <br>
    Ann<br>
    <br>
    <div class="moz-cite-prefix">On 12/01/2016 01:43, Michael Wayne
      Goodman wrote:<br>
    </div>
    <blockquote
cite="mid:CAGXBFApcJjBiBgEbCtMJpG3caCobfM8nPUf9y3etM7_JcM+F+A@mail.gmail.com"
      type="cite">
      <div dir="ltr">
        <div class="gmail_quote">
          <div>I think we're all in agreement that the reduced clutter
            of DMRS and EDS is a good thing. I brought up the ICONS and
            coindexed-dropped-arguments issues as examples where the
            dependency representations are currently unable to be
            equivalent with existing MRS representations, but I think
            we'd all agree that we shouldn't just do whatever it takes
            to make them equivalent. More below...</div>
          <div dir="ltr"><br>
          </div>
          <div dir="ltr">On Mon, Jan 11, 2016 at 1:22 PM Ann Copestake
            &lt;<a moz-do-not-send="true"
              href="mailto:aac10@cl.cam.ac.uk">aac10@cl.cam.ac.uk</a>&gt;
            wrote:<br>
          </div>
          <blockquote class="gmail_quote" style="margin:0 0 0
            .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<br>
            <br>
            On 11/01/2016 16:41, Stephan Oepen wrote:<br>
            &gt; if we were to add code to synthesize nodes for
            variables that are not<br>
            &gt; introduced as the distinguished (or characteristic)
            variable of any EP<br>
            &gt; but occur at least twice in an MRS, it would seem
            natural to me to<br>
            &gt; leave these nodes unlabeled (they will not have
            characterization or<br>
            &gt; other surface links either). this would also indicate
            that they have a<br>
            &gt; somewhat different status formally (at least in terms
            of<br>
            &gt; correspondences to a full MRS).<br>
            <br>
            we can't really leave them unlabelled in DMRS because they
            wouldn't show<br>
            up very well ...  From my perspective, the alternatives to
            changing the<br>
            DMRS code to allow them are 1. put zero pronouns back into
            JACY (without<br>
            quantifiers) 2. add zero pronouns in some sort of
            post-processing step<br>
            3. add them to DMRS.  Mike mentioned ICONS - but it doesn't
            help here<br>
            because the nodes that would have to be equated don't
            exist.  Or, at<br>
            least, since ICONS can do absolutely anything, one could
            define a<br>
            variant of ICONS which did encode it properly, but it's
            really too much<br>
            of a stretch.</blockquote>
          <div><br>
          </div>
          <div>In MRS, the ICONS solution might look like:</div>
          <div><br>
          </div>
          <div>RELS: &lt; ... [ ... ARG1 i5 ...] [ ... ARG2 i6 ... ] ...
            &gt;</div>
          <div>ICONS: &lt; ... i5 equal i6 ... &gt;</div>
          <div><br>
          </div>
          <div>where i5 and i6 are the dropped arguments that refer to
            the same thing (i.e., instead of coindexing the variable on
            both arguments). However, you're right that this would not
            naturally extend to DMRS, because it would require the
            relation to encode the rargname of both the source and
            target nodes. E.g., if we consider an extension to DMRS with
            &lt;icons&gt; as a sibling element to &lt;node&gt; and
            &lt;link&gt; elements:</div>
          <div><br>
          </div>
          <div>...</div>
          <div>&lt;icons&gt;</div>
          <div>  &lt;iarg1
            nodeid="10001"&gt;&lt;rargname&gt;ARG1&lt;/rargname&gt;&lt;/iarg1&gt;</div>
          <div>  &lt;iarg2
            nodeid="10002"&gt;&lt;rargname&gt;ARG2&lt;/rargname&gt;&lt;/iarg2&gt;</div>
          <div>  &lt;ireln&gt;equal&lt;/ireln&gt;</div>
          <div>&lt;/icons&gt;</div>
          <div>...</div>
          <div><br>
          </div>
          <div>I know. Yuck. Also, such graph would no longer be simple
            nodes and links, but instead nodes and links and icon-edges,
            which, at best, is harder to explain to DELPH-IN muggles. It
            also feels like we're just flailing about pretending to know
            nothing about the things we are equating.</div>
          <div><br>
          </div>
          <div>So I now agree that the simplest and most enticing
            solution is some kind of zero-pronoun, whether it's defined
            by the grammar (solutions (1) and (2)) or by the DMRS
            formalism itself (solution (3)). In addition, as you've
            mentioned, a zero-pronoun would helpfully contribute a
            nodeid that could be used for anaphoric pronouns in
            discourse, if that is something we'll need later.</div>
          <div><br>
          </div>
          <div>I believe the zero pronouns were dropped from Jacy
            precisely because of the clutter. Japanese drops a lot of
            arguments, and each one could result in two more
            uninteresting EPs (the zero pronoun and its quantifier). On
            a related note, my work on computing MRS isomorphism found
            that a major factor that caused inefficient computation was
            having many EPs with the same predicates (e.g., lots of
            udef_q_rels). Therefore, I don't think it's a great idea to
            reintroduce zero-pronouns in Jacy, unless we could constrain
            it somehow (e.g., only for coindexation, without
            quantifiers, etc.). I don't have strong arguments for
            choosing (2) or (3). With (2), it might be easier to insert
            variable properties on the zero-pronoun (e.g. evidenced from
            verb agreement, like the dropped subjects in Spanish or
            something), while (3) can help keep the representation
            consistent across grammars (since its defined by the
            formalism and not the grammar). (Aside: Japanese doesn't
            have verbal agreement in terms of PNG, but it does encode
            honorifics, even for dropped arguments. It would nice to
            keep this information for the zero pronouns somewhere.)</div>
          <div><br>
          </div>
          <div>Lastly, granting a nodeid for unexpressed arguments can
            help with other ICONS relations (i.e., of the information
            structure kind, not the variable-equating kind we were
            talking about before) where one of the participants is
            unexpressed.</div>
          <div><br>
          </div>
          <blockquote class="gmail_quote" style="margin:0 0 0
            .8ex;border-left:1px #ccc solid;padding-left:1ex">
            &gt; i share your sentiment that the disappearing of
            unexpressed arguments<br>
            &gt; in our dependency graphs in general reduces clutter and
            is desirable.<br>
            &gt; co-indexation of such (unexpressed) variables
            admittedly challenges<br>
            &gt; that position.  if we end up special-coding for these
            cases, it would<br>
            &gt; be good to have the motivating examples and analyses
            readily available<br>
            &gt; (and publicly vetted).  i believe emily may have been
            the first to<br>
            &gt; argue for such co-indexation, probably from her work in
            the<br>
            &gt; grammarium?<br>
            <br>
            <br>
            <a moz-do-not-send="true"
              href="http://moin.delph-in.net/SingaporeMrsWellformedness"
              rel="noreferrer" target="_blank">http://moin.delph-in.net/SingaporeMrsWellformedness</a><br>
            <br>
            the example Mike gave was tabe-sugiru = eat-exceed = overeat<br>
            <br>
            while it would be very good if someone could write this up
            or point us<br>
            to a proper write up, I don't think there's much room for
            argument about<br>
            needing it for Japanese, unless one uses zero pronouns<br>
            <br>
            <br>
            &gt;<br>
            &gt; —i recall we have talked once or twice in the past
            about adding an<br>
            &gt; explicit distinction of unexpressed variables.  for the
            ERG at least,<br>
            &gt; i believe dan (and others) often look at ‘u’ and ‘i’
            (and maybe ‘p’)<br>
            &gt; as varible sorts that indicate unexpressed arguments. 
            but that is at<br>
            &gt; best a convention and prevents stronger typing of
            argument slots as<br>
            &gt; would be desirable.  for example, the ARG2 of _eat_v_1
            presumably must<br>
            &gt; always be an ‘x’ when expressed, but dan abstains from
            putting that<br>
            &gt; type into the lexical entry because the scoping
            machinery would<br>
            &gt; complain at ‘x’-typed variable without a quantifier.<br>
            &gt;<br>
            &gt; would it work (and be desirable) to introduce a
            variable property, say<br>
            &gt; [ XP bool ], to distinguish expressed from unexpressed
            roles?  i<br>
            &gt; imagine it would not be hard to make all constructions
            that bind roles<br>
            &gt; specialize XP to true; one could then use the VPM
            machinery upon MRS<br>
            &gt; read-out to default remaining (unspecific) XP values to
            false.<br>
            &gt; alternatively, i imagine one could obtain the same
            effect by making<br>
            &gt; the hierarchy of variable types a little richer, i.e.
            put something<br>
            &gt; above at least ‘x’ and ‘e’ to indicate unxpressed
            variants, say ‘w’<br>
            &gt; and ‘d’ (the immediately preceding letters :-).<br>
            &gt;<br>
            &gt; any thoughts on actually introducing such an explicit
            marking of<br>
            &gt; unexpressed arguments?<br>
            &gt;<br>
            &gt; all best, oe<br>
            <br>
            The problem with handling unexpressed arguments `properly'
            is that there<br>
            are multiple different classes of unexpressed arguments, as
            I outlined.<br>
            In some cases in the ERG, verbs with optional arguments have
            unexpressed<br>
            arguments in the semantics, while other cases don't.  This
            also<br>
            interacts with the desire to save on predicate names that
            has caused<br>
            many predicates to appear with different arities (which, of
            course,<br>
            isn't OK if one translates directly to a conventional
            logical<br>
            representation and has to be interpreted as some sort of
            notational<br>
            convenience).<br>
            <br>
            e.g., the ERG demo gives:<br>
            <br>
            Kim understood understand_v_by (e, x, p)<br>
            <br>
            Kim understood the sentence / Sandy understand_v_by (e, x,
            x')<br>
            <br>
            Kim understood that Sandy was scared understand_v_by (e, x,
            h, i)<br>
            <br>
            Kim ran run_v_1 (e, x)<br>
            <br>
            Kim ran the race   / the store run_v_1 (e, x, x')<br>
            <br>
            Kim hoped hope_v_1 (e, x)<br>
            <br>
            Kim dreamed dream_v_1 (e, x, p)<br>
            <br>
            I don't find this intuitive but we don't have a test set or
            criteria for<br>
            *MRS which would make it clear why one representation is to
            be preferred<br>
            over another, and I find it hard to imagine what such
            criteria could<br>
            be.  That's why I talked about anaphora in the previous
            message, since<br>
            that could have been an example of a clear cut difference,
            though it<br>
            seems (to me) it probably isn't.  Failing such criteria, I
            don't want to<br>
            argue that there's a problem with the ERG representations
            but it also<br>
            means that dropping them gives one less thing to worry about
            when we're<br>
            actually using the output.<br>
            <br>
            So - I don't think it'll be a big hassle to add them to the
            DMRS code,<br>
            but I don't propose to add them to the DMRS formal
            description and I<br>
            don't think it's worthwhile expending energy on trying to
            clean this<br>
            up.  There are ways to allow argument slot typing without
            messing up the<br>
            scope machinery, if that's something that needs to be fixed.<br>
            <br>
            All best,<br>
            <br>
            Ann<br>
            <br>
            <br>
            <br>
            <br>
          </blockquote>
        </div>
      </div>
    </blockquote>
    <br>
  </body>
</html>