\batchmode





%


\documentstyle[twoside,fleqn,leqno,11pt]{report}
\makeatletter
\pagestyle{headings}

\setlength{\oddsidemargin}{0.625in}
\setlength{\evensidemargin}{0.625in}
\setlength{\textwidth}{5.5in}

\setlength{\topmargin}{-0.25in}
\setlength{\textheight}{9.0in}


\setlength{\headsep}{0.275in}            

\sloppy

\raggedbottom


%





\newcommand {\annotate}[1]{\begin{quote} \vspace{-8pt} {\small #1} \end{quote}}

\newcommand {\errorcond}[2]{\mbox{ } \\ [-6pt] {\tt #1} \begin{quote}
\vspace{-4pt} #2 \end{quote}}

\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\begin{document}
\pagestyle{empty}
{\newpage
\clearpage
\samepage \fbox{\Huge\bf ALE}
}

\stepcounter{chapter}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\beta$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2722: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\beta$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2724: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\setcounter{page}{1}
\stepcounter{chapter}
\stepcounter{chapter}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{chapter}
\stepcounter{section}
\stepcounter{section}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{${\cal O}(n^2)$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2728: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{${\cal O}(n \cdot \mbox{\it ack}^{-1}(n))$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2756: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{${\it ack}^{-1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2758: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{section}
\stepcounter{section}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\pi_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2764: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\pi_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2766: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{${\sf ExtType} \subseteq {\sf Type}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2768: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\sigma \in {\sf ExtType}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2770: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\tau$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2772: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\sigma$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2774: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\tau$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2776: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\sigma \in {\sf ExtType}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2778: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\sigma$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2780: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\tau$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2782: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\tau \in {\sf
ExtType}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2784: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\asymp$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2786: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$F_{1} \asymp F_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2788: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$F_{1} \neq F_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2790: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$F_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2792: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\sigma$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2794: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$F_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2796: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\sigma \in
{\sf ExtType}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2798: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\sigma$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2802: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$F_{1}^{f}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2804: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$F_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2808: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$F_{2}^{f}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2810: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$F_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2814: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$F_{1}^{f} \asymp F_{2}^{f}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2816: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$F_{1} \asymp F_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2818: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$F_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2820: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$F_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2822: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\ldots$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2824: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\ldots$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2826: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\asymp$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2828: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$[1] \asymp [0]$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2830: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{${\tt ext([}ext_{1}, \ldots, ext_{n}{\tt ]).}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2832: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{section}
\stepcounter{section}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\backslash$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2834: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\backslash$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2836: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\phi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2838: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\psi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2840: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\phi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2842: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\psi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2844: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mbox{\sc
NP}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2846: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$2^n$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2848: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$2^n$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2852: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
{\newpage
\clearpage
\samepage \begin{figure}{\em Puzzle}:
Three different houses each contain a different pet, a different
drink, and an inhabitant of a different nationality.  The following
six facts are true about these houses:
\begin{enumerate}
\item The man in the third (middle) house drinks milk.
\item The Spaniard owns the dog.
\item The Ukranian drinks the tea.
\item The Norwegian lives in the first house.
\item The Norwegian lives next to the tea-drinker.
\item The juice-drinker owns the fox.
\end{enumerate}
{\em Questions}: Who owns the zebra?  Who drinks juice? 
\label{zebra-fig}
\end{figure}
}

{\newpage
\clearpage
\samepage \begin{figure}\setlength{\unitlength}{.5cm}
\begin{center}
   \begin{picture}(32,15)(0,1)
     \put(16,1){\makebox(0,0){{\bf $\bot$}}}
%
     \put(13,6){\makebox(0,0){{\bf descriptor}}}
%
     \put(4,6){\makebox(0,0){{\bf house}}} 
     \put(.8,5){\makebox(0,0){\sc {nationality}}}
     \put(1.9,4){\makebox(0,0){\sc {animal}}}
     \put(1.3,3){\makebox(0,0){\sc {beverage}}}
%
     \put(28,6){\makebox(0,0){{\bf background}}}
     \put(30,5){\makebox(0,0){\sc {house1}}}
     \put(30,4){\makebox(0,0){\sc {house2}}}
     \put(30,3){\makebox(0,0){\sc {house3}}}
%
     \put(6,10){\makebox(0,0){{\bf nat-type}}}
     \put(11,10){\makebox(0,0){{\bf ani-type}}}
     \put(16,10){\makebox(0,0){{\bf bev-type}}}
     \put(28,10){\makebox(0,0){{\bf clue}}}
%
     \put(7,12){\makebox(0,0){\it{spaniard}}}
     \put(7,13){\makebox(0,0){\it{ukranian}}}
     \put(7,14){\makebox(0,0){\it{norwegian}}}
%
     \put(12,12){\makebox(0,0){\it{dog}}}
     \put(12,13){\makebox(0,0){\it{fox}}}
     \put(12,14){\makebox(0,0){\it{zebra}}}
%
     \put(28,14){\makebox(0,0){{\bf maximality}}}
%
     \put(17,12){\makebox(0,0){\it{tea}}}
     \put(17,13){\makebox(0,0){\it{milk}}}
     \put(17,14){\makebox(0,0){\it{orange-juice}}}
%
     \put(16,2){\line(-4,1){12}}
     \put(16,2){\line(-1,1){3}}
     \put(16,2){\line(4,1){12}}
%
     \put(13,7){\line(-3,1){6}}
     \put(13,7){\line(-1,1){2}}
     \put(13,7){\line(1,1){2}}
%
     \put(28,7){\line(0,1){2}}
     \put(28,11){\line(0,1){2}}
%
     \put(4,10){\line(0,1){4}}
     \put(4,10){\line(1,0){.2}}
     \put(4,12){\line(1,0){.4}}
     \put(4,13){\line(1,0){.4}}
     \put(4,14){\line(1,0){.4}}
%
     \put(10.3,10.5){\line(0,1){3.5}}
     \put(10.3,12){\line(1,0){.4}}
     \put(10.3,13){\line(1,0){.4}}
     \put(10.3,14){\line(1,0){.4}}
%
     \put(14,10){\line(0,1){4}}
     \put(14,10){\line(1,0){.1}}
     \put(14,12){\line(1,0){.4}}
     \put(14,13){\line(1,0){.4}}
     \put(14,14){\line(1,0){.4}}
%
   \end{picture}
\end{center}

\label{inher-fig}
\end{figure}
}

\stepcounter{chapter}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\setminus$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2862: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{section}
\stepcounter{chapter}
\stepcounter{section}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$C'$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2866: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$C'$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2870: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{section}
\stepcounter{section}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$X/X$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2872: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$C_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2874: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$C_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2876: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$C_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2880: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$C_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2882: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{section}
\stepcounter{section}
\stepcounter{chapter}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{chapter}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
{\newpage
\clearpage
\samepage \begin{tabular}% latex2html id marker 1268
{llp{3.0in}r}
Keyword & Kind & Description & Page \\ 
{\tt ,}               & Desc./DCL                      &
  Conjunction       
 & \pageref{COMMADESC}, \pageref{COMMADCL} \\ 
{\tt -->}             & Signature                      &
  Declare lexical entry.
 & \pageref{ARROW} \\ 
{\tt :}               & Description                    &
  Feature value.
 & \pageref{COLON} \\ 
{\tt ;}               & Desc./DCL                      &
  Disjunction.
 & \pageref{SEMIDESC}, \pageref{SEMIDCL} \\ 
{\tt ==}              & Description                    & 
  Equation.
 & \pageref{EQUAL} \\ 
{\tt =@}              & Def. Clause                    &
  Predefined token-identity definite clause predicate.
 & \pageref{EQAT} \\ 
{\tt \verb+=\=+}      & Description                    &
  Inequation.
 & \pageref{INEQ} \\ 
{\tt @}               & Description                    &
  Macro instantiation.
 & \pageref{AT} \\ 
{\tt [$\ldots$]}      & Description                    &
  Predefined list macro.
 & \pageref{LIST} \\ 
{\tt \%}              & Prolog                         &
  Comment delimiter.
 & \pageref{PERCENT} \\ 
{\tt abort}           & {\tt rec}                      &
  Abort parse.
 & \pageref{ABORT} \\ 
{\tt add}             & {\tt rec}                      &
  Add the current edge.
 & \pageref{ADD} \\ 
{\tt approp}          & {\sc ale}                      &
  Show value restriction on a feature at a type.
 & \pageref{APPROP} \\  
{\tt assert}          & Prolog                         &
  Add clause to Prolog database.
 & \pageref{ASSERT} \\ 
{\tt bot}             & Type                           &
  In an {\sc ale} signature, this type must appear, and must subsume all of the
  other types.
 & \pageref{BOT} \\ 
{\tt break}           & {\tt rec}                      &
  Invoke Prolog break.
 & \pageref{BREAK} \\ 
{\tt compile\_gram}   & {\sc ale}                      &
  Compile {\sc ale} signature (or parts of it --- see table, 
  p.~\pageref{TABLE}).
 & \pageref{COMPILEGRAM} \\ 
{\tt compile}         & Prolog                         &
  Compile a Prolog file.
 & \pageref{COMPILE} \\ 
{\tt cons}            & Signature                      &
  Declare type constraint.
 & \pageref{CONS}, \pageref{GOAL} 
\end{tabular}
}

{\newpage
\clearpage
\samepage \begin{tabular}% latex2html id marker 1321
{llp{3.0in}r}
Keyword & Kind & Description & Page \\ 
{\tt consult}         & Prolog                         &
  Load Prolog file (such as an {\sc ale} signature) into database.
 & \pageref{CONSULT} \\ 
{\tt control-c}       & Prolog                         &
  Prolog interrupt.
 & \pageref{CTRLC} \\ 
{\tt control-z}       & Unix                           &
  Unix interrupt.
 & \pageref{CTRLZ} \\ 
{\tt dtr-}{\em N}     & {\tt rec}/{\tt dtr}/{\tt edge} &
  Display {\em N}th daughter edge of current edge.
 & \pageref{DTRN} \\ 
{\tt edge}            & {\sc ale}                      &
  Show a chart edge.
 & \pageref{EDGE} \\ 
{\tt empty}           & {\sc ale}                      &
  Show empty categories.
 & \pageref{EMPTY} \\ 
{\tt empty}           & Signature                      &
  Declare empty category.
 & \pageref{EMPTYSIG} \\ 
{\tt ext}             & Signature                      &
  Declare extensional types.
 & \pageref{EXT} \\ 
{\tt feature}         & {\sc ale}                      &
  Test if feature exists.
 & \pageref{FEATURE} \\ 
{\tt go}              & {\tt rec}                      &
  Add current and all subsequent edges.
 & \pageref{GO} \\ 
{\tt go-}{\em N}      & {\tt rec}                      &
  Add current and all subsequent edges until node {\em N} is reached.
 & \pageref{GON} \\ 
{\tt halt}            & Prolog                         &
  Exit from Prolog.
 & \pageref{HALT} \\ 
{\tt if}              & Def. Clause                    &
  Definite clause language equivalent of {\tt :-}.
 & \pageref{IF} \\ 
{\tt interp}          & {\sc ale}                      &
  Turn on mini-interpreter.
 & \pageref{INTERP} \\ 
{\tt introduce}       & {\sc ale}                      &
  Test if a feature was introduced by a type.
 & \pageref{INTRODUCE} \\ 
{\tt lex}             & {\sc ale}                      &
  Show lexical entry.
 & \pageref{LEX} \\ 
{\tt lex\_rule}       & {\sc ale}                      &
  Show lexical rule.
 & \pageref{LEXRULE} \\ 
{\tt lex\_rule}        & Signature                      &
  Declare lexical rule.
 & \pageref{LEXRULESIG} \\ 
{\tt lex\_rule\_depth}  & {\sc ale}                      &
  Set bound on lexical rule application.
 & \pageref{LEXRULEDEPTH} \\ 
{\tt list}            & Type                           &
  This type, along with types {\tt e\_list} and {\tt ne\_list}, and features 
  {\tt HD} and {\tt TL}, must be defined in an {\sc ale} signature in order to 
  use the predefined {\tt [$\ldots$]} macro in descriptions, or the {\tt cats>}
  list-argument operator in grammatical rules.
 & \pageref{LIST}, \pageref{CATS} \\ 
{\tt macro}           & {\sc ale}                      &
  Show macro definition.
 & \pageref{MACRO} \\ 
{\tt macro}           & Signature                      &
  Declare macro.
 & \pageref{MACROSIG} \\ 
{\tt mgsat}           & {\sc ale}                      &
  Find most general satisfier(s) of a type.
 & \pageref{MGSAT} \\ 
{\tt next}            & {\tt edge}                     &
  Proceed to next edge.
 & \pageref{NEXT} \\ 
{\tt no\_write\_feat} & {\sc ale}                      &
  Hide a feature and its value.
 & \pageref{NOWRITEFEAT} \\ 
{\tt no\_write\_type} & {\sc ale}                      &
  Hide a type.
 & \pageref{NOWRITETYPE} \\ 
{\tt noadd}           & {\tt rec}                      &
  Don't add the current edge.
 & \pageref{NOADD} \\    
{\tt nointerp}        & {\sc ale}                      &
  Turn off mini-interpreter.
 & \pageref{NOINTERP} \\ 
{\tt parent}          & {\tt dtr}                      &
  Return to parent edge.
 & \pageref{PARENT} \\ 
{\tt prolog}          & Def. Clause                    &
  Definite clause hook to Prolog.
 & \pageref{PROLOG} \\  
{\tt query}           & {\sc ale}                      &
  Evaluate a definite clause.
 & \pageref{QUERY} \\ 
{\tt quiet}           & {\tt rec}                      &
  Add current and all subsequent edges without displaying them.
 & \pageref{QUIET} \\ 
{\tt rec}             & {\sc ale}                      &
  Parse a string.
 & \pageref{REC} \\ 
{\tt reload}          & {\sc ale}                      &
  Reload signature from compiled files.
 & \pageref{RELOAD} \\ 
{\tt retract}         & {\tt dtr}/{\tt edge}           &
  Retract current edge.
 & \pageref{RETRACTMI} \\ 
{\tt retract}         & Prolog                         &
  Remove clause from Prolog database.
 & \pageref{RETRACTPRO} \\ 
{\tt rule}            & {\sc ale}                      &
  Show grammatical rule.
 & \pageref{RULE} \\ 
{\tt rule}            & Signature                      &
  Declare grammatical rule.
 & \pageref{RULESIG} \\ 
{\tt show\_clause}    & {\sc ale}                      &
  Show a definite clause.
 & \pageref{SHOWCLAUSE} 
\end{tabular}
}

{\newpage
\clearpage
\samepage \begin{tabular}% latex2html id marker 1446
{llp{3.0in}r}
Keyword & Kind & Description & Page \\ 
{\tt show\_cons}      & {\sc ale}                      &
  Show constraint for a type.
 & \pageref{SHOWCONS} \\ 
{\tt show\_type}      & {\sc ale}                      &
  Show subtypes, supertypes, constraint and most general satisfiers for a type.
 & \pageref{SHOWTYPE} \\ 
{\tt sub}             & Signature                      &
  Declare subtyping relationship.
 & \pageref{SUB} \\ 
{\tt sub\_type}       & {\sc ale}                      &
  Test subsumption between two types.
 & \pageref{SUBTYPE} \\ 
{\tt true}            & Def. Clause                    &
  Definite clause that is always satified (also used to construct ground 
  clauses in def. clause language).
 & \pageref{TRUE} \\ 
{\tt type}            & {\sc ale}                      &
  Test if type exists.
 & \pageref{TYPE} \\ 
{\tt unify\_type}     & {\sc ale}                      &
  Unify two types.
 & \pageref{UNIFYTYPE} \\ 
{\tt write\_feat}     & {\sc ale}                      &
  Don't hide a feature.
 & \pageref{WRITEFEAT} \\ 
{\tt write\_feats}    & {\sc ale}                      &
  Don't hide any features.
 & \pageref{WRITEFEATS} \\ 
{\tt write\_type}     & {\sc ale}                      &
  Don't hide a type.
 & \pageref{WRITETYPE} \\ 
{\tt write\_types}    & {\sc ale}                      &
  Don't hide any types.
 & \pageref{WRITETYPES}
\end{tabular}
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\psi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2912: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\appendix
\appendix
\stepcounter{section}
\stepcounter{section}
\appendix
\stepcounter{section}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2918: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2920: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2924: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2926: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\phi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2958: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\pi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2972: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\pi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2974: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2978: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2980: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2982: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2984: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2986: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2988: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2990: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2992: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\pi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3006: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\pi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3010: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{section}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3022: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3024: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3026: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3028: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3030: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3032: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3034: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3038: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3040: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T
= T_{1} + T_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3042: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{1}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3044: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$T_{2}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline3046: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\appendix
\appendix
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{chapter}

\end{document}
