\batchmode
\documentclass[fleqn,a4paper]{article}
\makeatletter
\usepackage{html}
\usepackage{prolog}
\usepackage{dcg}
\usepackage{matrix}
\usepackage{exam}
\usepackage{TreeTeX}
\usepackage{graphicx}
\setlength{\prologindent}{0ex}
\Treestyle{\vdist{60pt}}


\usepackage[dvips]{color}
\pagecolor[gray]{.7}



\makeatletter

\makeatletter
\count@=\the\catcode`\_ \catcode`\_=8 
\newenvironment{tex2html_wrap}{}{} \catcode`\_=\count@
\makeatother
\let\mathon=$
\let\mathoff=$
\ifx\AtBeginDocument\undefined \newcommand{\AtBeginDocument}[1]{}\fi
\newbox\sizebox
\setlength{\hoffset}{0pt}\setlength{\voffset}{0pt}
\addtolength{\textheight}{\footskip}\setlength{\footskip}{0pt}
\addtolength{\textheight}{\topmargin}\setlength{\topmargin}{0pt}
\addtolength{\textheight}{\headheight}\setlength{\headheight}{0pt}
\addtolength{\textheight}{\headsep}\setlength{\headsep}{0pt}
\setlength{\textwidth}{451pt}
\setlength{\textheight}{554pt}
\newwrite\lthtmlwrite
\makeatletter
\let\realnormalsize=\normalsize
\global\topskip=2sp
\def\preveqno{}\let\real@float=\@float \let\realend@float=\end@float
\def\@float{\let\@savefreelist\@freelist\real@float}
\def\end@float{\realend@float\global\let\@freelist\@savefreelist}
\let\real@dbflt=\@dbflt \let\end@dblfloat=\end@float
\let\@largefloatcheck=\relax
\def\@dbflt{\let\@savefreelist\@freelist\real@dbflt}
\def\adjustnormalsize{\def\normalsize{\mathsurround=0pt \realnormalsize
 \parindent=0pt\abovedisplayskip=0pt\belowdisplayskip=0pt}\normalsize}%
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newcommand\lthtmlhboxmathA{\adjustnormalsize\setbox\sizebox=\hbox\bgroup\kern.05em }%
\newcommand\lthtmlhboxmathB{\adjustnormalsize\setbox\sizebox=\hbox to\hsize\bgroup\hfill }%
\newcommand\lthtmlvboxmathA{\adjustnormalsize\setbox\sizebox=\vbox\bgroup %
 \let\ifinner=\iffalse }%
\newcommand\lthtmlboxmathZ{\@next\next\@currlist{}{\def\next{\voidb@x}}%
 \expandafter\box\next\egroup}%
\newcommand\lthtmlmathtype[1]{\def\lthtmlmathenv{#1}}%
\newcommand\lthtmllogmath{\lthtmltypeout{l2hSize %
:\lthtmlmathenv:\the\ht\sizebox::\the\dp\sizebox::\the\wd\sizebox.\preveqno}}%
\newcommand\lthtmlfigureA[1]{\let\@savefreelist\@freelist

       \lthtmlmathtype{#1}\lthtmlvboxmathA}%
\newcommand\lthtmlpictureA[1]{\let\@savefreelist\@freelist

       \lthtmlmathtype{#1}\lthtmlhboxmathB}%
\newcommand\lthtmlpictureZ[1]{\hfill\lthtmlfigureZ}%
\newcommand\lthtmlfigureZ{\lthtmlboxmathZ\lthtmllogmath\copy\sizebox

       \global\let\@freelist\@savefreelist}%
\newcommand\lthtmldisplayA[1]{\lthtmlmathtype{#1}\lthtmlvboxmathA}%
\newcommand\lthtmldisplayB[1]{\edef\preveqno{(\theequation)}%
  \lthtmldisplayA{#1}\let\@eqnnum\relax}%
\newcommand\lthtmldisplayZ{\lthtmlboxmathZ\lthtmllogmath\lthtmlsetmath}%
\newcommand\lthtmlinlinemathA[1]{\lthtmlmathtype{#1}\lthtmlhboxmathA
  \vrule height1.5ex width0pt }%
\newcommand\lthtmlinlineA[1]{\lthtmlmathtype{#1}\lthtmlhboxmathA}%
\newcommand\lthtmlinlineZ{\egroup\expandafter\ifdim\dp\sizebox>0pt %
  \expandafter\centerinlinemath\fi\lthtmllogmath\lthtmlsetinline}
\newcommand\lthtmlinlinemathZ{\egroup\expandafter\ifdim\dp\sizebox>0pt %
  \expandafter\centerinlinemath\fi\lthtmllogmath\lthtmlsetmath}
\newcommand\lthtmlindisplaymathZ{\egroup %
  \centerinlinemath\lthtmllogmath\lthtmlsetmath}
\def\lthtmlsetinline{\hbox{\vrule width.1em\kern-.05em\vtop{\vbox{%
  \kern.1em\copy\sizebox}\ifdim\dp\sizebox>0pt\kern.1em\else\kern.3pt\fi
  \ifdim\hsize>\wd\sizebox \hrule depth1pt\fi}}}
\def\lthtmlsetmath{\hbox{\vrule width.1em\kern-.05em\vtop{\vbox{%
  \kern.1em\kern0.8 pt\hbox{\hglue.17em\copy\sizebox\hglue0.8 pt}}\kern.3pt%
  \ifdim\dp\sizebox>0pt\kern.1em\fi \kern0.8 pt%
  \ifdim\hsize>\wd\sizebox \hrule depth1pt\fi}}}
\def\centerinlinemath{%
  \dimen1=\ifdim\ht\sizebox<\dp\sizebox \dp\sizebox\else\ht\sizebox\fi
  \advance\dimen1by.5pt \vrule width0pt height\dimen1 depth\dimen1 
 \dp\sizebox=\dimen1\ht\sizebox=\dimen1\relax}

\def\lthtmlcheckvsize{\ifdim\ht\sizebox<\vsize 
  \ifdim\wd\sizebox<\hsize\expandafter\hfill\fi \expandafter\vfill
  \else\expandafter\vss\fi}%
\makeatletter \tracingstats = 1 
\providecommand{\Mu}{\textrm{M}}
\providecommand{\Nu}{\textrm{N}}
\providecommand{\Chi}{\textrm{X}}
\providecommand{\Zeta}{\textrm{Z}}
\providecommand{\Alpha}{\textrm{A}}
\providecommand{\Omicron}{\textrm{O}}
\providecommand{\omicron}{\textrm{o}}
\providecommand{\Rho}{\textrm{R}}
\providecommand{\Tau}{\textrm{T}}
\providecommand{\Epsilon}{\textrm{E}}
\providecommand{\Eta}{\textrm{H}}
\providecommand{\Beta}{\textrm{B}}
\providecommand{\Iota}{\textrm{J}}
\providecommand{\Kappa}{\textrm{K}}


\begin{document}
\pagestyle{empty}\thispagestyle{empty}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength hsize=\the\hsize}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength vsize=\the\vsize}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength hoffset=\the\hoffset}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength voffset=\the\voffset}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength topmargin=\the\topmargin}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength topskip=\the\topskip}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength headheight=\the\headheight}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength headsep=\the\headsep}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength parskip=\the\parskip}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength oddsidemargin=\the\oddsidemargin}\lthtmltypeout{}%
\makeatletter
\if@twoside\lthtmltypeout{latex2htmlLength evensidemargin=\the\evensidemargin}%
\else\lthtmltypeout{latex2htmlLength evensidemargin=\the\oddsidemargin}\fi%
\lthtmltypeout{}%
\makeatother
\setcounter{page}{1}
\onecolumn

% !!! IMAGES START HERE !!!

\stepcounter{section}
\stepcounter{section}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmldisplayA{makeimage40}%
\begin{exam}
Kim is easy to please
\end{exam}
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlfigureA{figure46}%
\begin{figure}
\begin{Tree}
\node{\type{text}\external\cntr{kim}}
\node{\type{text}\external\cntr{is}}
\node{\type{text}\external\cntr{easy}}
\node{\type{text}\external\cntr{to}}
\node{\type{text}\external\cntr{please}}
\node{\type{text}\cntr{$vp_6$}}
\node{\type{text}\cntr{$ap_2$}}
\node{\type{text}\cntr{$vp_3$}}
\node{\type{text}\cntr{$s_2$}}
\end{Tree}\hspace{200pt}\usebox{\TeXTree}\end{figure}%
\lthtmlfigureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlfigureA{figure72}%
\begin{figure}
\begin{Tree}
\par\node{\type{text}\external\cntr{$\avm{ string: \langle kim\rangle}$}}
\node{\type{text}\external\cntr{$\avm{ string: \langle is\rangle}$}}
\node{\type{text}\external\cntr{$\avm{ string: \langle easy\rangle}$}}
\node{\type{text}\external\cntr{$\avm{ string: \langle to\rangle}$}}
\node{\type{text}\external\cntr{$\avm{ string: \langle please\rangle}$}}
\node{\type{text}\cntr{$\avm{ string: \langle to,please\rangle}$}}
\node{\type{text}\cntr{$\avm{ string: \langle easy,to,please\rangle}$}}
\node{\type{text}\cntr{$\avm{ string: \langle is,easy,to,please\rangle}$}}
\node{\type{text}\cntr{$\avm{ string: \langle kim,is,easy,to,please\rangle}$}}
\end{Tree}\hspace{120pt}\usebox{\TeXTree}\par\end{figure}%
\lthtmlfigureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage97}%
\begin{exam}
Kim is an easy person to please
\end{exam}
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlfigureA{figure103}%
\begin{figure}
\begin{Tree}
\par\node{\type{text}\external\cntr{$\avm{ string: \langle an\rangle}$}}
\node{\type{text}\external\cntr{$\avm{ string: \langle person\rangle}$}}
\node{\type{text}\external\cntr{$\avm{ string: \langle easy\rangle}$}}
\node{\type{text}\external\cntr{$\avm{ string: \langle to\rangle}$}}
\node{\type{text}\external\cntr{$\avm{ string: \langle please\rangle}$}}
\node{\type{text}\cntr{$\avm{ string: \langle to,please\rangle}$}}
\node{\type{text}\cntr{$\avm{ string: \langle easy,to,please\rangle}$}}
\node{\type{text}\cntr{$\avm{ string: \langle easy,person,to,please\rangle}$}}
\node{\type{text}\cntr{$\avm{ string: \langle an,easy,person,to,please\rangle}$}}
\end{Tree}\hspace{120pt}\usebox{\TeXTree}\par\end{figure}%
\lthtmlfigureZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
\stepcounter{subsubsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1901}%
$ \langle$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1902}%
$ \rangle$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_indisplay1907}%
$\displaystyle \langle$%
\lthtmlindisplaymathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_indisplay1908}%
$\displaystyle \sigma$%
\lthtmlindisplaymathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_indisplay1909}%
$\displaystyle \rangle$%
\lthtmlindisplaymathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_indisplay1911}%
$\displaystyle \tau$%
\lthtmlindisplaymathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_indisplay1927}%
$\displaystyle \rightarrow$%
\lthtmlindisplaymathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage136}%
\begin{exam}
Sandy persuaded Kim to leave
\end{exam}
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage140}%
\begin{exams}
\item Kim is much taller than Sandy
\item Kim is a much taller person than Sandy
\end{exams}
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage144}%
\begin{exams}
\item Kim is very easy to please
\item Kim is a very easy person to please
\end{exams}
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsubsection}
{\newpage\clearpage
\lthtmldisplayA{makeimage151}%
\begin{exam}
\begin{flushleft}
Yarraga-aga-mu-n gudaa dunda-y biiba-ngun\\
boy-GEN-mu-ERG do+ABS hit-PAST father-ERG\\
The boy's father hit the dog
\end{flushleft}\end{exam}
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsubsection}
{\newpage\clearpage
\lthtmldisplayA{makeimage163}%
\eq
\lefteqn{\langle a,b,c,d\rangle}~~~~\\
\lefteqn{\langle a,c,b,d\rangle}~~~~\\
\lefteqn{\langle a,c,d,b\rangle}~~~~\\
\lefteqn{\langle c,d,a,b\rangle}~~~~\\
\lefteqn{\langle c,a,d,b\rangle}~~~~\\
\lefteqn{\langle c,a,b,d\rangle}~~~~ \eeq
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage174}%
\begin{exam}
\begin{flushleft}
\dots es$_i$\  ihm$_j$\  jemand$_k$\  zu lesen$_i$\  versprochen$_j$\  hat$_k$\\
\dots it him someone to read promised had\\
(i.e. someome had promised him to read it)
\end{flushleft}
\end{exam}
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlfigureA{figure182}%
\begin{figure}
\setlength{\unitlength}{1pt}%
\begin{picture}
(400,200)(-20,-20)
\put(200,180){\makebox(0,0){$es_i~ihm_j~jemand_k~ zu~lesen_i~versprochen_j~ hat_k$}}
\put(60,120){\makebox(0,0){$jemand_k$}}
\put(110,120){\makebox(0,0){$hat_k$}}
\put(220,120){\makebox(0,0){$es_i ~ihm_j~zu~ lesen_i ~versprochen_j$}}
\put(110,60){\makebox(0,0){$ihm_j$}}
\put(170,60){\makebox(0,0){$versprochen_j$}}
\put(260,60){\makebox(0,0){$es_i~ zu ~lesen_i$}}
\put(210,0){\makebox(0,0){$es_i$}}
\put(310,0){\makebox(0,0){$zu~ lesen_i$}}
\put(200,175){\line(-3,-1){140}}
\put(200,175){\line(-2,-1){90}}
\put(200,175){\line(1,-2){23}}
\put(220,115){\line(-5,-2){110}}
\put(220,115){\line(-1,-1){45}}
\put(220,115){\line(2,-3){35}}
\put(260,55){\line(-1,-1){45}}
\put(260,55){\line(1,-1){45}}
\end{picture}
\end{figure}%
\lthtmlfigureZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_indisplay1964}%
$\displaystyle \bigcup^{n}_{i=1}$%
\lthtmlindisplaymathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_indisplay1965}%
$\displaystyle \subseteq$%
\lthtmlindisplaymathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1969}%
$ \bigcup^{n}_{i=1}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_indisplay1971}%
$\displaystyle \phi$%
\lthtmlindisplaymathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1973}%
$ \phi$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage222}%
\pr\pred
\head{sign(M) {\mbox{\tt :-}}}
\body{sign(D_1),}
\body{sign(D_2),}
\body{concatenate\_strings(D_1,D_2,M)}
\body{\phi .}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

\stepcounter{section}
{\newpage\clearpage
\lthtmldisplayA{makeimage237}%
\pr\pred
\head{sign(\avm[M]{ syn: Syn \\
     sc: Tail \\
    sem: Sem)
} {\mbox{\tt :-}} }
\body{sign( \avm[H]{ syn: Syn\\
     sc: \langle Arg | Tail \rangle\\
    sem: Sem} ) , }
\body{sign(Arg) ,}
\body{cb(M, H, Arg).}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage248}%
\pr\pred
\head{cb(\avm{ phon: Mphon\\
      string: String}, 
  \avm{ phon: Hphon}, 
  \avm{ phon: Aphon\\
      rule: Rule }) {\mbox{\tt :-}} }
\body{     wrap(Rule,Hphon,Aphon,Mphon),}
\body{    phon\_string(Mphon,String).}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage259}%
\pr\pred
\head{phon\_string(\avm{ left:L \\
              head: H \\
             right: R },L \cdot H \cdot R ).}
\epred\pred
\head{append(\langle\rangle,X,X).}
\head{append(\langle H|T\rangle,L_1,\langle H|L\rangle) {\mbox{\tt :-}}}
\body{append(T,L_1,L)}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage267}%
\pr\pred\head{
  wrap(left,\avm{ left: L\\
    head: H\\
    right: R },\avm{ left: ArgL\\
    head: ArgH\\
    right: ArgR },\avm{ left: ArgL \cdot ArgH \cdot ArgR \cdot L \\
    head: H \\
    right: R }).  }\epred\pred\head{
  wrap(right,\avm{ left: L\\
    head: H\\
    right: R },\avm{ left: ArgL\\
    head: ArgH\\
    right: ArgR },\avm{ left: L  \\
    head: H \\
    right: R \cdot ArgL \cdot ArgH \cdot ArgR }).  }
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage275}%
\pr\pred\head{\avm{
 syn: v\\
  sc: \langle \avm{ syn: n\\
                   sc: \langle \rangle\\
                  sem: Subj\\
                 rule: left } \rangle \\
phon: \avm{ left: \langle \rangle \\
          head: \langle ontwaakt  \rangle \\
         right: \langle \rangle} \\
 sem: ontwaakt(Subj)\\
string: \langle ontwaakt \rangle
}}\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage279}%
\begin{displaymath}
\avm{
phon: \avm{ left: \langle \rangle \\head: Head \\right: \langle \rangle } \\string: Head
}.
\end{displaymath}
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage282}%
\pr\pred\head{\avm{
 syn: v\\
  sc: \langle \avm{ syn: n\\
                   sc: \langle \rangle\\
                  sem: Obj\\
                 rule: left } , 
              \avm{ syn: n\\
                   sc: \langle \rangle\\
                  sem: Iobj\\
                 rule: left } , 
              \avm{ syn: n\\
                   sc: \langle \rangle\\
                  sem: Subj\\
                 rule: left } \rangle \\
phon: \avm{ head: \langle vertelt  \rangle
      } \\
 sem: vertelt(Subj,Iobj,Obj)
}}\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage289}%
\pr\pred\head{\avm{
 syn: v\\
  sc: \langle \avm{ syn: comp\\
                   sc: \langle \rangle\\
                  sem: Obj\\
                 rule: right } , 
              \avm{ syn: n\\
                   sc: \langle \rangle\\
                  sem: Iobj\\
                 rule: left } , 
              \avm{ syn: n\\
                   sc: \langle \rangle\\
                  sem: Subj\\
                 rule: left } \rangle \\
phon: \avm{ head: \langle vertelt  \rangle
      } \\
 sem: vertelt(Subj,Iobj,Obj)
}}\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage295}%
\pr\pred\head{\avm{
 syn: n\\
  sc: \langle \rangle\\
phon: \avm{ head: \langle arie  \rangle } \\
 sem: arie
}}\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage302}%
\pr\pred\head{
wrap(vr,\avm{ left: \langle \rangle\\
          head: H\\
         right: \langle \rangle },\avm{ left: ArgL\\
          head: ArgH\\
         right: ArgR },\avm{ left: ArgL\\
          head: H\\
         right: ArgH \cdot ArgR}).
}\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage307}%
\pr\pred\head{\avm{
 syn:v\\
  sc: \langle \avm{ syn: inf\\
                   sc: \langle \avm{ sem: InfSubj } \rangle \\
                  sem: Obj \\
                 rule: vr} ,
              \avm{ syn: n\\
                   sc: \langle \rangle\\
                  sem: InfSubj\\
                 rule: left} ,
              \avm{ syn: n\\
                   sc: \langle \rangle\\
                  sem: Subj \\
                 rule: left} \rangle \\
phon: \avm{ head: \langle hoort\rangle } \\
 sem: hoort(Subj,Obj)
}}\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage320}%
\begin{exam} 
\begin{flushleft}
dat Jan Arie Bob leugens hoort vertellen\\
(that Jan hears that Arie tells lies to Bob)
\end{flushleft}
\end{exam}
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage331}%
\pr\pred\head{
wrap(v2,\avm{ left: \langle \rangle \\
         head: \langle \rangle \\
        right: \langle \rangle },\avm{ left: L \\
         head: H \\
        right: R },\avm{ left: \langle \rangle\\
         head: H \\
        right: L \cdot R }).
}\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage336}%
\pr\pred\head{
\avm{
 syn: comp\\
  sc: \langle \avm{ syn: v\\
                   sc: \langle \rangle\\
                  sem: Obj\\
                 rule: v2} \rangle\\
phon: \avm{ head: \langle \rangle } \\
 sem: dat(Obj)
}}\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage340}%
\pr\pred\head{\avm{
 syn: comp\\
  sc: \langle \avm{ syn: v\\
                   sc: \langle \rangle\\
                  sem: Obj\\
                 rule: right} \rangle\\
phon: \avm{ head: \langle dat \rangle } \\
 sem: dat(Obj)
}}\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage344}%
\begin{exam}
\begin{flushleft}
Hoort Arie Jan Bob vertellen dat Claire ontwaakt?\\
(hears Arie Jan Bob tell that Claire wakes up?\\
i.e. Does Arie hear that Jan tells Bob that Claire wakes up?)
\end{flushleft}
\end{exam}
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlfigureA{figure352}%
\begin{figure}
\begin{Tree}
\node{\type{text}\external\cntr{$\epsilon$}}
\node{\type{text}\external\cntr{HOORT}}
\node{\type{text}\external\cntr{VERTELLEN}}
\node{\type{text}\external\cntr{DAT}}
\node{\type{text}\external\cntr{ONTWAAKT}}
\node{\type{text}\external\cntr{CLAIRE}}
\node{\type{text}\cntr{left: claire ONTWAAKT}}
\node{\type{text}\cntr{right: DAT claire ontwaakt}}
\node{\type{text}\cntr{right: VERTELLEN dat claire ontwaakt}}
\node{\type{text}\cntr{BOB}\external}
\node{\type{text}\cntr{left: bob VERTELLEN dat claire ontwaakt}}
\node{\type{text}\cntr{vr: bob HOORT vertellen dat claire ontwaakt}}
\node{\type{text}\cntr{JAN}\external}
\node{\type{text}\cntr{left: jan bob HOORT vertellen dat claire ontwaakt}}
\node{\type{text}\cntr{ARIE}\external}
\node{\type{text}\cntr{left: arie jan bob HOORT vertellen dat claire ontwaakt}}
\node{\type{text}\cntr{v2: HOORT arie jan bob vertellen dat claire ontwaakt}}
\par\end{Tree}\hspace{\leftdist}\begin{center}\usebox{\TeXTree}\end{center}\hspace{\rightdist}
\end{figure}%
\lthtmlfigureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage398}%
\pr\pred
\head{head(\avm{ syn: Syn\\sem: Sem},\avm{  syn: Syn\\sem: Sem}).}
\epred\pred
\head{string(\avm{string: String},String).}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

\stepcounter{section}
{\newpage\clearpage
\lthtmldisplayA{makeimage416}%
\pr\pred
\head{start\_parse(Sign) {\mbox{\tt :-}}}
\body{string(Sign,String),}
\body{parse(Sign,String,\langle\rangle).}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage422}%
\pr\pred
\head{head(\avm{ syn: Syn\\sem: Sem},\avm{  syn: Syn\\sem: Sem}).}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage427}%
\pr\pred
\head{parse(Goal,P_0,P) {\mbox{\tt :-}}}
\body{predict\_head(Goal,Lex,P_0,P_1),}
\body{head\_corner(Lex,Goal,P_1,P).}
\epred\pred
\head{predict\_head(Goal,Lex,P_0,P){\mbox{\tt :-}}}
\body{head(Goal,Lex), }
\body{lex(Lex),}
\body{string(Lex,Words),}
\body{subset(Words,P_0,P).}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage440}%
\pr\pred
\head{head\_corner(X,X,P,P).}
\head{head\_corner(Small,Big,P_0,P) {\mbox{\tt :-}}}
\body{rule(Small, Mid, Others,Call),}
\body{parse\_list(Others,P_0,P_1),}
\body{call(Call),}
\body{head\_corner(Mid,Big,P_1,P).}
\epred\pred
\head{parse\_list([],P,P).}
\head{parse\_list([H|T],P_0,P){\mbox{\tt :-}}}
\body{parse(H,P_0,P_1),}
\body{parse\_list(T,P_1,P).}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsubsection}
{\newpage\clearpage
\lthtmldisplayA{makeimage454}%
\query{parse(\avm{ syn: comp\\
                  sc: \langle \rangle \\
              string: \langle dat,jan,ontwaakt \rangle } ,\langle dat,jan,ontwaakt\rangle,\langle\rangle).}
\equery
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage458}%
\query{head\_corner( 
\avm{ syn: comp\\
  sc: \langle \avm{ syn: v\\
                   sc: \langle \rangle\\
                  sem: Sem\\
                 rule: right} \rangle\\
phon: \avm{ left: \langle \rangle\\
          head: \langle dat \rangle \\
         right: \langle \rangle} \\
string: \langle dat \rangle\\
 sem: dat(Sem) },\\}\qitem{
\avm{ syn: comp\\
          sc: \langle \rangle \\
      string: \langle dat, jan, ontwaakt \rangle } ,}
\qitem{\langle jan,ontwaakt\rangle,\langle\rangle).}
\equery
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage471}%
\query{parse(\avm{ syn: v\\
                   sc: \langle \rangle\\
                  sem: Sem\\
                 rule: right},\langle jan,ontwaakt\rangle,P).
}\equery
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage478}%
\query{head\_corner(\avm{  syn: v\\
                 sc: \langle \avm{ syn: n\\
                                  sc: \langle \rangle\\
                                 sem: Subj\\
                                rule: left } \rangle \\
               phon: \avm{ left: \langle \rangle \\
                         head: \langle ontwaakt  \rangle \\
                        right: \langle \rangle} \\
                sem: ontwaakt(Subj)\\
             string: \langle ontwaakt \rangle },}
\qitem{\avm{ syn: v\\
                 sc: \langle \rangle\\
                sem: Sem\\
               rule: right},\langle jan\rangle,P). }
\equery
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage489}%
\query{head\_corner( \avm{  syn: v\\
                 sc: \langle \avm{ syn: n\\
                                  sc: \langle \rangle\\
                                 sem: jan\\
                                rule: left } \rangle \\
               phon: \avm{ left: \langle \rangle \\
                         head: \langle ontwaakt  \rangle \\
                        right: \langle \rangle} \\
                sem: ontwaakt(jan)\\
string: \langle ontwaakt \rangle}, }
\qitem{ \avm{ syn: v\\
         sc: \langle \rangle\\
        sem: ontwaakt(jan)\\
       phon: \avm{ left: \langle jan \rangle \\
                 head: \langle ontwaakt \rangle \\
                right: \langle \rangle }\\
     string: \langle jan,ontwaakt \rangle\\
       rule: right}, \langle jan\rangle,\langle\rangle).}
\equery
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage496}%
\query{parse(\avm{ syn: v\\
               sc: \langle \rangle\\
              sem: ontwaakt(jan)\\
             phon: \avm{ left: \langle jan \rangle \\
                       head: \langle ontwaakt \rangle \\
                      right: \langle \rangle }\\
           string: \langle jan,ontwaakt \rangle\\
             rule: right},\langle jan,ontwaak\rangle,\langle\rangle).}
\equery
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage500}%
\query{head\_corner(\avm{ syn: comp\\
  sc: \langle \avm{ syn: v\\
                   sc: \langle \rangle\\
                  sem: ontwaakt(jan)\\
                 rule: right} \rangle\\
phon: \avm{ left: \langle \rangle \\
          head: \langle dat \rangle \\
         right: \langle \rangle } \\
 sem: dat(Sem_2) } ,}
\qitem{\avm{ syn: comp\\sc: \langle \rangle \\sem: dat(ontwaakt(jan))
}, \langle jan,ontwaakt\rangle,\langle\rangle).}
\equery
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage505}%
\query{parse(\avm{ syn: comp\\
         sc: \langle \rangle  \\
        sem: dat(ontwaakt(jan))\\
       phon: \avm{ left: \langle \rangle \\
                 head: \langle dat \rangle \\
                right: \langle jan, ontwaakt \rangle } \\
     string: \langle dat, jan, ontwaakt \rangle},\langle dat,jan,ontwaakt\rangle,\langle\rangle). 
}\equery
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}


\setlength{\unitlength}{1pt}%

\setlength{\unitlength}{1pt}
{\newpage\clearpage
\lthtmlfigureA{figure511}%
\begin{figure}
\begin{Tree}
\node{\type{text}\external\cntr{dat,comp[v]}}
\node{\type{text}\external\cntr{ontwaakt, v[n]}}
\node{\type{text}\external\cntr{jan}}
\node{\type{text}\unary\cntr{n}}
\node{\type{text}\cntr{v[]}}
\node{\type{text}\unary\cntr{v[]}}
\node{\type{text}\cntr{comp[]}}
\node{\type{text}\unary\cntr{comp[]}}
\end{Tree}\hspace{200pt}\usebox{\TeXTree}\setlength{\unitlength}{1pt}%
\par\begin{picture}
(0,0)(0,240)
% numbers: prediction: fbox
%          head _corner:  bf
%          parse:  sl
\par\put(155,500){\fbox{1}}\put(190,550){\vector(-1,-4){25}}  
\put(192,470){\bf 2}\put(197,497){\vector(1,2){0}}
\put(220,470){\sl 3}\put(227,449){\vector(1,-2){0}}
\put(190,380){\fbox{4}}\put(219,430){\vector(-1,-4){25}}  
\put(222,350){\bf 5}\put(227,377){\vector(1,2){0}}
\put(249,350){\sl 6}\put(257,329){\vector(1,-2){0}}
\put(276,294){\fbox{7}}\put(269,315){\vector(0,-1){44}}
\put(245,294){\bf 8}\put(260,317){\vector(0,1){0}}
\put(236,410){\bf 9}\put(230,437){\vector(0,1){0}}
\put(204,530){\bf 10}\put(200,557){\vector(0,1){0}}
\end{picture}
\end{figure}%
\lthtmlfigureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage558}%
\begin{exam}
Hoort Arie Bob sla bestellen?
\end{exam}
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlpictureA{tex2html_wrap1477}%
\includegraphics[scale=0.6]{aresla.ps}%
\lthtmlpictureZ
\lthtmlcheckvsize\clearpage}

\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmldisplayA{makeimage574}%
\begindcg
bag(a,3,bag(b,2,bag(c,1,bag)))
\enddcg
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage579}%
\pr\pred
\head{start\_parse(Sign) {\mbox{\tt :-}}}
\body{string(Sign,String),}
\body{list\_to\_bag(String,Bag),}
\body{parse(Sign,Bag,bag).}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage585}%
\pr\pred
\head{subbag( \langle\rangle,Bag,Bag).}
\head{subbag( \langle El/0 | R\rangle,Bag,Rest) {\mbox{\tt :-}}}
\body{     subbag(R,Bag,Rest).}
\head{subbag( \langle El/s(X)|R\rangle,\langle El/s(Y)|R2\rangle,Rest) {\mbox{\tt :-}}}
\body{     subbag( \langle El/X | R\rangle,\langle El/Y | R2\rangle,Rest).}
\head{subbag( \langle El/s(I) | R),\langle X/Y | Bag\rangle,\langle X/Y | Rest\rangle) {\mbox{\tt :-}}}
\body{     subbag( \langle El/s(I) | R\rangle,Bag,Rest).}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
\stepcounter{subsubsection}
{\newpage\clearpage
\lthtmldisplayA{makeimage603}%
\pr\pred
\head{lex(ANode,\langle s(A),B,C\rangle,\langle A,B,C\rangle).}
\head{lex(BNode,\langle A,s(B),C\rangle,\langle A,B,C\rangle).}
\head{lex(CNode,\langle A,B,s(C)\rangle,\langle A,B,C\rangle).}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{makeimage608}%
\pr\pred
\head{predict\_head(Goal,Lex,P_0,P) {\mbox{\tt :-}}}
\body{    head(Goal,Lex), }
\body{    lex(Lex,P_0,P).}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsubsection}
{\newpage\clearpage
\lthtmldisplayA{makeimage615}%
\pr\pred
\head{head\_corner(Sign,Sign,P,P,String).}
\head{head\_corner(Small,Big,P_0,P,String) {\mbox{\tt :-}}}
\body{    rule(Small, Mid, Others,Call),}
\body{    parse\_rest(Others,P_0,P_1,String),}
\body{    call(Call),}
\body{    string(Mid,Sub),}
\body{    subseq(Sub,String),}
\body{    head\_corner(Mid,Big,P_1,P,String).}
\epred
\pred
\head{subseq(\langle\rangle,Seq).}
\head{subseq(\langle H|T\rangle,\langle H|T_2\rangle){\mbox{\tt :-}}}
\body{ subseq(T,T_2).}
\head{subseq(\langle H|T\rangle,\langle H_2|T_2\rangle){\mbox{\tt :-}}}
\body{ subseq(\langle H|T\rangle,T_2).}
\epred\epr
%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsubsection}

\end{document}