[logon] uio/erg.mtr

[Berthold Crysmann]

Hi again, 

I understand, if you do not want to include the new rules into the
matrix just yet. However, I'd be mightly pleased, if the two revised
rules could be integrated (provided they pass the test), since that
woould provide for a nicer deen grammar. 

Cheers,


B 

On Fri, 2008-11-21 at 09:56 +0100, Berthold Crysmann wrote:
> Hi Stephan, 
> 
> I just tried out the new equality functionality. 
> It  provides just the right functionality for blocking application of
> the conj_..._ef matrix rules to fully underspecified R-INDEX.SF values. 
> 
> I include my revised version of your rules as well as the complementary
> rules for the same adjustment in GG-derived MRSs (there, SF is encoded
> on the conjunction and not on any of the daughters). 
> 
> Maybe, you would like to add these to the matrix, since these rules
> cover just another logical possibility about how a sentence's SF may
> happen to be encoded. 
> 
> Cheers, 
> 
> Berthold
> 
> ;;; Revised rules uio/erg.mtr
> conj_ques_ef := monotonic_mtr &
> [ INPUT.RELS < [ PRED conj_rel, 
>                  ARG0 #e0 & e & [ SF #sf0 & prop ], R-INDEX #e1 & e &
> [ SF #sf1 & ques ] ] >,
>   OUTPUT.RELS < +copy+ & [ ARG0 [ SF ques ] ] >,
>   FLAGS.EQUAL < #e0, #e1, #sf1 > ].
> 
> conj_comm_ef := monotonic_mtr &
> [ INPUT.RELS < [ PRED conj_rel, 
>                  ARG0 #e0 & e & [ SF prop ], R-INDEX #e1 & e & [ SF #sf1
> & comm ] ] >,
>   OUTPUT.RELS < +copy+ & [ ARG0 [ SF comm ] ] >,
>   FLAGS.EQUAL < #e0, #e1, #sf1 > ].
> 
> 
> ;;; New rules
> conj_prop_ef := monotonic_mtr &
> [ INPUT.RELS < [ PRED conj_rel, 
>                  ARG0 #e0 & e & [ SF prop ], 
> 		 L-INDEX #e1 & e & [ SF #sf1 & sforce  ],
> 		 R-INDEX #e2 & e & [ SF #sf2 & sforce ] ] >,
>   OUTPUT.RELS < +copy+ & [ L-INDEX [ SF prop ], 
> 			   R-INDEX [ SF prop ]] >,
>   FLAGS [EQUAL <#e0,#e1,#e2,#sf0,#sf1,#sf2>] ].
> 
> conj_ques_ef := monotonic_mtr &
> [ INPUT.RELS < [ PRED conj_rel, 
>                  ARG0 #e0 & e & [ SF #sf0 & ques ], 
> 		 L-INDEX #e1 & e & [ SF #sf1 & sforce ],
> 		 R-INDEX #e2 & e & [ SF #sf2  & sforce ] ] >,
>   OUTPUT.RELS < +copy+ & [ L-INDEX [ SF ques ], 
> 			   R-INDEX [ SF ques ]] >,
>   FLAGS [EQUAL <#e0,#e1,#e2,#sf0,#sf1,#sf2>] ].
> 
> 
> 
> conj_comm_ef := monotonic_mtr &
> [ INPUT.RELS < [ PRED conj_rel, 
>                  ARG0 #e0 & e & [ SF comm ], 
> 		 L-INDEX #el & e & [ SF #sf1 & sforce ],
> 		 R-INDEX #er & e & [ SF #sf2 & sforce ] ] >,
>   OUTPUT.RELS < +copy+ & [ L-INDEX [ SF comm ], 
> 			   R-INDEX [ SF comm ]] >,
>   FLAGS [EQUAL <#e0,#e1,#e2,#sf1,#sf2>] ].
> 
> 
> On Wed, 2008-11-19 at 20:09 +0100, Stephan Oepen wrote:
> > hi again,
> > 
> > > my own version of conj_prop_ef etc. fails to redefine the transfer
> > > matrix one.
> > 
> > yes, although the MTR files look like regular TDL, there is no way of
> > re-defining rules just by giving them the same identifier.  i.e. there
> > is nothing stopping one from having multiple rules with the same name.
> >  
> > this is because, given the ordered nature of the rewrite formalism, it
> > might be desirable to use the (conceptually) same rule in more than one
> > place (i thought at the time).
> > 
> > > For now, I have just disabled loading of the matrix. 
> > > Any ideas how I can just replace the matrix version (which does not work
> > > for the German input). 
> > 
> > i still suspect that those robustness rules in the Transfer Matrix are
> > correct, as long as the assumptions they make (about SF) are met.  but
> > i still have not taken the time to look at your problematic items ... 
> > 
> > either way, i really will try to encourage use of the Transfer Matrix,
> > partly because i believe it already contains useful features, partly to
> > have it tested and generalized more (really, the `Transfer Matrix' was
> > an informed guess at which of the original LOGON rules might be useful
> > for others).
> > 
> > so, if an override mechanism is what it takes to encourage my users, i
> > just implemented that :-).
> > 
> > once i build new binaries, add (to `lkb/mt.lisp') something like:
> > 
> >   (setf *transfer-ignore*
> >     (list
> >      (mrs:vsym "conj_ques_ef")
> >      ...
> >      (mrs:vsym "conj_fut_ef")))
> > 
> > this will make the transfer engine ignore (skip over) all rules with
> > those names.  hence, your own versions need to use different names.
> > 
> >                                                       cheers  -  oe
> > 
> > +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
> > +++ Universitetet i Oslo (IFI); Boks 1080 Blindern; 0316 Oslo; (+47) 2284 0125
> > +++     CSLI Stanford; Ventura Hall; Stanford, CA 94305; (+1 650) 723 0515
> > +++       --- oe at ifi.uio.no; oe at csli.stanford.edu; stephan at oepen.net ---
> > +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-- 
PD Dr. Berthold Crysmann <crysmann at ifk.uni-bonn.de>
U Bonn - IfK - Abteilung Sprache und Kommunikation
Poppelsdorfer Allee 47
D-53115 Bonn