Lab 1 (due 4/5), 11:59pm

NB The lab assignments will typically include write up instructions at the end. Before you start, read the whole assignment once, including the write-up instructions, so you know what to keep track of along the way.

In addition: I will attempt to post the lab rubrics as each lab is posted, so that you can see what is expected (and what would be going above and beyond). For Lab 1, this is directly in Canvas, associated with the assignment.

Find a partner and choose your language

For the first time this year, Ling 567 will be focused solely on field languages and working from automatically generated first-pass grammar specifications (choices files). So far, we have collected resources for the followling languages:

1. abz: Abui
2. ctn: Chintang
3. esu: Yupik
4. ikx: Ik
5. mcb: Matsigenka
6. [nuk: Nuuchahnulth]
7. wmb: Wambaya

By the end of this week, all students will need to have found a partner to work with, and we'll need to figure out which language each group is doing. If you have a particular preference or connection to any of the above languages, please let me know. There's a Canvas discussion for this topic that we can use to coordinate.

Grammar Customization: Get a small grammar for English

• Download our choices file
• Visit the LinGO Grammar Matrix customization page.
• Click on "Browse" next to "Upload choices file..." and upload the choices file you downloaded.
• Click on all of the subpages (starting with "General Information" and "Word order") to see which options have been selected in this choices file, and what other options are available.
• Click on "create grammar" and download the .tgz or .zip file.

Emacs: Getting started

I strongly recommend familiarizing yourself with emacs at the very start of the quarter. Here's one tutorial and another. Or, you can do the tutorial within emacs by typing "Control-h" and then "t".

LKB: Getting started

• Install the LKB (if you don't have linux already, the preferred way of doing this is with VirtualBox and Ubuntu+LKB).
• Run emacs
• Type M-x lkb to run the LKB
• Unzip the grammar you downloaded (tar xzf 567_english.tar.gz)
• Load the starter grammar in the LKB:
  • Select "Load Complete Grammar" from the LKB Top menu
  • Navigate to the file called script inside the directory 567_english/lkb

    Alternatively, type C-c g in emacs and enter the path name in the command that pops up.

• Try parsing:
  • Select "Parse | Parse input..." from the LKB Top menu and parse the sentence that appears in the dialogue.

    You can also parse sentences by typing C-c p in emacs and then entering the sentence you wish to parse in the command that pops up.

  • Right click on the small tree that comes up to see a menu of futher things to explore.
  • Select "simple MRS" from this menu to see the semantic representation associated with the sentence.
  • Select "generate" to use the grammar to generate from that semantic representation.
• Examine the file lexicon.tdl in the starter grammar, and try making up sentences to parse based on the vocabulary there.
• Find four different sentences that do parse. Record these in your write up.
• Find two strings (nb: these do not have to be grammatical sentences of English), using the vocabulary in lexicon.tdl, that don't parse. Record these in your write up.

Try interactive unification

These instructions assume you are using the LUI interface, which I believe is on by default. If they don't make sense, try invoking (lui-initialize) at the LKB prompt in emacs.

• Ask the LKB to parse each of the strings you found that it doesn't parse.
• In the LKB Top menu, choose "Parse | Show parse chart".
• Examine the parse chart to find the first point of failure in parsing. Which constituents should combine, if only some constraint weren't blocking them?
• In the LKB Top menu, choose "View | Grammar Rule" and select the rule that you think should (modulo that constraint) combine the constituents.
• Click on "phr-synsem" (value of SYNSEM) to collapse that sub-structure.
• Choose the constituent from the parse chart that you believe should be the left-hand daughter and drag it onto the first element of the ARGS list in the rule. You should get a new window, labeled "unification result".
• Shrink "phr-synsem" in the "unification result" window, and then choose the constituent you believe should be the right-hand daughter and drag it onto the second element of the ARGS list in the rule.
• You should get a new window labeled "unification failure", with the point of failure highlighted in red.
• Look in the grammar files to see where the constraints that led to that unificaiton failure are encoded, and record this information in your write up.
• Do the same for the other non-parsing string you found.

Chain of identities

In the MRS assigned by this grammar to A cat chased me, the ARG0 value the _cat_n_rel is associated with the ARG1 value of the _chase_v_rel (that is, the cat is doing the chasing). In this part of the assignment, you will trace the chain of identities that connects these two.

• Parse the sentence, and click on the small tree to get the larger tree.
• Click on the N node above cat to get the feature structure associated with that node.
• Explore the feature structure, to locate the feature INDEX and see what it is identified with. (You may find it useful to shrink down certain substructures, and to use the pop-up menus on the identity tags.)
• Do the same with the second N node above cat (representing the singular noun lexical rule), the NP node, the S node, the VP node, and the two V nodes.
• Now look through the .tdl files to find the types which encode the constraints responsible for the chain of identities. You'll want to start with the leaf types, but you'll need to look through supertypes, too. This can be done by using grep or the search functionality in emacs (C-s). The supertypes in a type definition are after the ":=". To find where a type is defined, search for the type name followed by ":=".

Note that in addition to exploring the supertypes by searching through the .tdl files, you can also look at them through the LKB. For example, think of the constraint that you expect the lexical entry for "cat" to be contributing. Then:

• From the LKB Top menu, choose "view | lex entry"
• Enter "cat" (the identifier for that lexical entry)
• Right click on the type at the top left of the tfs that pops up (commoun-noun-lex)
• Choose "view type definition"---this should give a non-LUI window, showing the type definition, without inherited constraints.
• If you don't see the constraint you're looking for, explore the parent type(s) in the same fashion.

Write up

Please submit write-ups as plain text files. (In future labs, that will help me run example sentences through your grammar.)

Your write up should include:

1. The four sentences you found that parse.
2. The two (or more) strings you found that didn't parse.
3. The names of the rules you used in interactive unification to see why they didn't parse.
4. The tdl snippets that lead to the conflicting constraints for each non-parsing string, along with a prose description of what they do.
5. A description of the chain of identities linking the ARG0 of _cat_n_rel to the ARG1 of _chase_v_rel in A cat chased me. Each link in the chain should say which instance is involved (e.g., lexical entry for cat), which supertype it inherits the constraint from, and show the tdl for the constraint. In addition, you should indicate which identity tag is enforcing the constraint. Your description should take the form of a numbered list.

   This chain is very long and has a lot of links. I'll give full credit to any answer that finds seven of them (counting links that are contributed by the same type as just one and NOT counting the sample link below). To help you out, and to give you a sense of the format I'm expecting, here's one of them. (I picked this one because it is possibly the most obscure.)

   The head-spec phrase structure rule inherits the following
   constraints from basic-head-spec-phrase:
   
       HEAD-DTR [ SYNSEM [ LOCAL [ CONT.HOOK #hdhook ],
       NON-HEAD-DTR.SYNSEM 
   	 [ LOCAL [ CAT [ VAL [ SPEC < [ LOCAL [ CONT.HOOK #hdhook ] > ] ],
                      CONT.HOOK #hook ] ],
       C-CONT [ HOOK #hook ] ].
   
   identifying the C-CONT.HOOK of the rule with the HOOK of the non-head
   daughter via #hook, and identifying the CONT.HOOK of the head daughter
   with the CONT.HOOK value inside the non-head daughter's SPEC via #hdhook.
   

6. At least three questions that this lab caused you to wonder about. (Please indicate if you've figured out the answers, or if you would still like to see them addressed. Also note that it's fine to include here questions you posted to Canvas while doing the assignment!)
7. If you were unable to complete any part of the assignment, a description of the problems you encountered and what you think might be going on. (You can earn partial credit for any part of the assignment you couldn't get working by describing it in this section.)

Submit your assignment

• For this assignment, you only need to submit your write up.
• Please submit it as a plain text (.txt) file to Canvas