<?xml version="1.0" standalone="yes"?>
<Paper uid="C94-2120">
  <Title>INCREMENTAb INTERPRETATION: APPLICATIONS, THEORY, AND RF, LATIONSHIP TO DYNAMIC SEMANTICS*</Title>
  <Section position="6" start_page="752" end_page="753" type="evalu">
    <SectionTitle>
IMPI,EMENTATION
</SectionTitle>
    <Paragraph position="0"> At, present there, is ~r Iimii;cd implenicn/,al;ion, which i)ertbrui;~ ~t iuapping from sent, cm'e \['ragmcut.s I;o l'ully scol)ed Iogi('iL\[ rel)resenta.t, ions. '1'o illustrate its operation, (:ousider the, Ibllowing discourse: 19) London has a lower. Every pa, reni; shows it ....</Paragraph>
    <Paragraph position="1"> We assume ghat, the \[irst so'hi;once has 1oceu processed, aml coilcentra.l,e on i)ro(:esshig i, he l&amp;quot;ra,glnen{. The iul-\[)l(:lil(',lll;a,l, iOll COllSiSi,,s (7\[ flVO lnodules: I. A word-J)y-word hicreiricltl, a,i parser \['or a, lexicldisod vcrsioli oi c' del)el/denc, y gl:alltlrlal: (Milward, 1992). 'l'hi,s I;akes f\]:aginettts of sentences and liiaps them I,o  4. An outside-in quantifier seopiug algorithm based on l,ewin (1990).</Paragraph>
    <Paragraph position="2"> \[NPUT: Output fl:om 3.</Paragraph>
    <Paragraph position="3"> OU'PPUTI: V(x,parent (x),3 (z,T,show (x,w,z))) CUll'PUT2: 3(z,T,V(x,parent (x),show (x,w,z))) 5. An 'evaluation' procedure based on Lewin (I 992), which takes a logical form containing free variables (such as the w in the LF above), and evahlates it using a dyualnie se,nantics in the eontext given by the preceding sentences. The outl)ut is a new logical fol:m representing the context as a whole, with all variables correcLly bottlld.</Paragraph>
    <Paragraph position="4"> INPUT: Output(s) fi'om d, and the eolltext,</Paragraph>
    <Paragraph position="6"> .;\~ present, the coverage of module 5 is limited, and module 3 is a naive coindexing procedure which allows a pronoun to be coindexed with any quantified variable or proper noun in the context or the current Selltence.</Paragraph>
  </Section>
class="xml-element"></Paper>