% -*- Mode:LaTeX -*-

\documentclass[11pt]{article}

\usepackage{lsalike,proof,tipa,lingmacros,tree-macros}

\title{\LaTeX{}  Example File}

\author{David Dowty}

\bibliographystyle{lsalike}
%\bibliographystyle{apac}

\begin{document}

\maketitle{}

\section{First Section Heading}

%Comments can be written anywhere; as long as they are preceded by %,
%they will not print out.

You can change the type size from \tiny tiny to \footnotesize
footnotesize to \small small to \normalsize normal size to \large
to \Large Large to \huge huge. \normalsize  Other type faces that are
available include \emph{italic (``emphasized'')}, \textbf{boldface},
\textsc{small caps}, and \textsl{slanted}.

You can write formulas containing all sorts of logical and
mathematical symbols, either in-line in the text, $x^2 = \phi$, or
displayed in a separate line: 

\[ \lambda x \forall y [P^3(x) \leftrightarrow x=y \vee x\not= z_{1,e}]
\quad{} \subseteq{}, \sqsubseteq{}, \alpha{}, \beta{}, \gamma{},
\Uparrow{}, \aleph{}_0, 2^{\aleph_0}, 2^{(2^n)} \simeq{}, \oplus, \Re \]

In the TIPA package, all IPA symbols are available [\textipa{\dh{}@
  k\ae{}t Iz On \dh{}@ m\ae{}t}], including rare ones:
\textipa{\texthth{}, \textturnrrtail{}, \texthtb{}, \textbardotlessj{},
  \texthtk{}}. Phonetic symbols come in other fonts, e.g.
\textipa{\sffamily [\textipa{\dh{}@ k\ae{}t Iz On \dh{}@ m\ae{}t}]}.


\subsection{A sub-section heading}

The ``itemize'' environment can be used to display lists like this:

\begin{itemize}
\item Each item is marked with a bullet.
\item Indentation and spacing are handled automatically.
\item Instead of a bullet, items could be numbered (1., 2., 3.,) or
  introduced with a \textbf{boldface} head word: these environments
  are called \texttt{enumerate} and \texttt{description}, respectively.
\end{itemize} 

Tables are constructed with the \texttt{tabular} environment:

\begin{tabular}[t]{rlrcl}

i. & be & 37 & this & two \\
ii. & beba & 472 & column & five \\
iii. & bebabe & 3 & is & nine \\
iv. & baba  & 42 & centered & four \\
\end{tabular}

\medskip{}

Lines can be added to ``box'' a table:

\begin{tabular}[t]{|r|ll||c|l|} \hline

 & word & count & comment & position \\ \hline
i. & be & 37 & this & two \\  \hline
ii. & beba & 472 & column & five \\ \hline
iii. & bebabe & 3 & is & nine \\ \hline
iv. & baba  & 42 & centered & four \\ \hline
\end{tabular}

\bigskip{}

Also, any text in a line can be \framebox{boxed}.  Footnote numbering is
automatic.\footnote{For a footnote, you write out the note where its
  number should appear in the text, and latex will print the content
  of the note at the bottom of the page, with the right number.}  For
numbering sentences, the ``enumsentence'' command (from lingmacros.sty) is handy:
\enumsentence{This is a new example.}
\enumsentence{This is an example sentence about a camel.\label{camel}}

I prefer to define \verb|\es| as an abbreviation for
\verb|\enumsentence|, 

\newcommand{\es}{\enumsentence}

\es{This is an example sentence too.}

\eenumsentence{\item[1.] This example has two lines.
\item This is the second line.  
\item This is the third line.}

\es{\shortex{7}{Schnee & ist & wei\ss & und & Gra\ss & ist & gr\"un.}
           {Snow & is & white & and & grass & is & green.}
           {``Snow is white and grass isn't.''}}

You can later refer to an example, (\ref{camel}), by its label.

You can define your own macros to produce symbols, etc.~that latex
doesn't include.

\newcommand{\den}[2]{\lbrack \negthinspace \lbrack{#1} \rbrack \negthinspace \rbrack ^{#2} }

\es{$\den{[\phi \wedge \psi]}{M,g} = 1$ iff $\den{\phi}{M,g} = 1$ and
$\den{\psi}{M,g} = 1.$}

The following kind of proof tree, which is used in linear logic and
in categorial grammar, uses proof.sty:

\es{%
\infer[\backslash{}E]{s}{%
       \infer{np}{\emph{John}}
       &
      \infer[\backslash{}E]{vp}{%
            \infer[/E]{vp}{%
                   \infer{vp/np}{\emph{promise}}
                   &
                   \infer{np}{\emph{Mary}}
                   }
             &
             \infer{vp\backslash{}vp}{\emph{to fix the sink}}
             }
       }
 }


To show you how easy it is to define your own configurations, here is
an example of a tree constructed with a simple tree package I wrote
myself (and I'm no programmer).  Warning: don't use my tree style
yourself; in the advanced latex tutorial, you will learn about
the ``real'' tree packages.

\tree{200}{230}{70}{
\setlength{\unitlength}{.6pt}
\mbr{s}
       {\ubr{np}{\emph{Mary}}}
       {\mbr{vp (= np$\backslash$s)}
            {\br{vp}
             {\ubr{vp/np}{\emph{touched}}}
             {\ubr{np}{\emph{John}}}
            }
        {\ubr{vp$\backslash${}vp}{\emph{slowly}}}
       }
}
\qquad{}\qquad{}\qquad{}
    \tree{100}{150}{0}
     {\br{\textit{vp}}
        {\subr{\emph{vp}}{\textit{speak$_1$}}}
        {\sbr{\textit{vp$\backslash$vp}}
          {\subr{\emph{(vp$\backslash$vp)/np}}{\emph{to}}}
          {\subr{\textit{np}}{\emph{Mary}}}
        }
     }
%\newcommand{\dottedtree}[3]{%
%\put(-50,-70){\begin{picture}(100,140)(-50,-70)%
%\put(0,0){\makebox(0,0){#1}}%
%%\put(-50,-70){\framebox(100,70){}}%
%\multiput(-50,-60)(4,4){13}{\circle*{1}}%
%\put(0,-10){\line(1,-1){50}}%
%\put(-50,-70){\makebox(0,0){#2}}%
%\put(50,-70){\makebox(0,0){#3}}%
%\end{picture}}}

  \tree{225}{280}{200}{
  \setlength{\unitlength}{.8pt}
       {\dottedtree{A}
          {\sbr{A}
                  {\sbr{A}
                          {\ubr{A/B}{Head}}
                          {\ubr{B}{Argument}}}
                  {\ubr{A$\backslash$A}{Adjunct}}}
          {\ubr{A$\backslash$A}{Adjunct}}
       }
  }


Your bibliography  can be created
automatically from the items you cite, such as \cite{goossens:93}, 
\namecite{kopka:99}, using your (permanent) BibTeX data base.

\bibliography{example}

\end{document}


%%% Local Variables: 
%%% mode: latex
%%% TeX-master: 
%%% End: