\documentstyle{article}
\setlength{\parindent}{0in}
\setlength{\parskip}{.2in}
\font\tenu=cmu10 % unslanted italic
\setlength{\textwidth}{6.5 in}
\setlength{\oddsidemargin}{0 in}
\setlength{\evensidemargin}{0 in}
\setlength{\topmargin}{-37 pt}
\setlength{\textheight}{9 in}
\pagestyle{headings}
\newcommand{\pfc}{$P_{fc}$}
\newcommand{\example}
{\begin{quote}
\small
\setlength{\rightmargin}{0in}
\begin{verbatim}}
\newcommand{\figline}{\centerline{\rule{\linewidth}{1pt}}}
\newenvironment{compactitemize}
{\begin{itemize} \setlength{\itemsep}{-.05in} }{\end{itemize}}
\newcommand{\gloss}[1] {\bigskip {\large\bf {#1}} \smallskip \\ \figline \bigskip}
\newcommand{\prolog}[1]{{\tt\bf {#1}}}
\begin{document}
\bibliographystyle{plain}
\title{\pfc\ User Manual}
\author{
Tim Finin\\
Unisys Paoli Research Center \\
PO Box 517\\
Paoli, PA 19301\\
\ \\
215-648-7446\\
finin@prc.unisys.com}
\date{\today}
\maketitle
\tableofcontents
\clearpage
\input{intro}
\input{lang}
\input{predicates}
\input{examples}
\newpage
\bibliography{/mn2/AI/ai}
\end{document}