[LFG] XLE RULES formalism question

[Damir Cavar]

Hi Ron,

thanks a lot!

just to make sure, the semantics is that ADVERBIAL is still just a plain rule with ADVERBIAL as a left-hand-side symbol, but we want it to NOT project the ADVERBIAL dominating/left-hand-side node in c-structure. I just found the corresponding comments in http://www2.parc.com/isl/groups/nltt/xle/doc/notations.html, sorry for the confusion.


I am finalizing the formal specification of all XLE-grammar sections, i.e. CONFIG, FEATURES, LEXICON, MORPHOLOGY, RULES, TEMPLATES, and so on. They are all implemented as Labeled Backus-Naur Form grammars and can be converted to parsers in various languages using BNFC, i.e. the parsers can be generated as C, C++, C#, Java, OCaml, Haskell code using BNFC.

Currently it is about fixing the RULES section parser. All the other parsers are ready, or at least parsing the grammars that we have. The RULES-parser might be ready this week. This means that we would have a first version of the parsers all grammar sections that can parse all of the Malagasy grammar, Norwegian, and to be tested still: Polish.

If you have grammars that are public or could be shared with us, please let us know and we would use them to test our parsers.

For those of you who would not want to expose your grammars, we will put the parser code and documentation on Bitbucket, hopefully with binaries for Macs and Linux at least, maybe also Windows, and you could test the parsers yourself and maybe even report errors to us without giving away your grammars or details about them.

The code and binaries will be posted here in the next days and weeks:

https://bitbucket.org/dcavar/fle/


Thanks!

DC





> On Sep 27, 2016, at 1:34 PM, Ron Kaplan <ron.kaplan at post.harvard.edu> wrote:
> 
> Hi Damir,
> 
> This is something else.  This is defining ADVERBIAL as a meta-category whose right-side regular expression gets substituted into other rules in place of ADVERBIAL.  This is used to express grammatical generations (patterns shared by several rules) without constructing an extra level in the c-structure.  This, along with the related macro definitions, is for c-structure expansions what templates are for f-structure generalizations.
> 
> These are described  in the XLE documentation.
> 
> --Ron
> 
>> On Sep 27, 2016, at 9:57 AM, Damir Cavar <damir at linguistlist.org <mailto:damir at linguistlist.org>> wrote:
>> 
>> Hi everybody,
>> 
>> I have a question with respect to the XLE grammar RULES section. We found in some grammar the following definitions in the RULES section:
>> 
>> ADVERBIAL = { PP: ! $ (^ ADJUNCT); 
>>           | AdvP: ! $ (^ ADJUNCT); 
>>           | DP: ! $ (^ ADJUNCT) 
>>                 (! PSEM) =c temp ;
>>           | CP: ! $ (^ ADJUNCT) 
>>                 (! ADJUNCT $ GLOSS TRANS) = if }
>>           (INTERNALPUNCT).
>> 
>>    PREPOBJ = { PP: (^ OBJ) = ! 
>>           | DP: (^ OBJ) = ! }.
>> 
>> 
>> Is the “=“ in these rules equivalent to “—>” or is this something else. What is the semantics, if these two are different? In the documentation I have not seen the use of “=“. Is there some more detailed or extended documentation that goes into more such details?
>> 
>> 
>> Thanks a lot!
>> 
>> DC
>> 
>> 
>> 
>> 
>> _______________________________________________
>> LFG mailing list
>> LFG at listserv.linguistlist.org <mailto:LFG at listserv.linguistlist.org>
>> http://listserv.linguistlist.org/mailman/listinfo/lfg
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.linguistlist.org/pipermail/lfg/attachments/20160927/8a7b4e74/attachment.htm>