%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% File covington.tex
%%
%% Documentation of covington
%%
%% This file is part of the covington LaTeX package
%%
%% Original author:
%% ================
%% Michael A. Covington
%% Artificial Intelligence Programs
%% The University of Georgia
%% Athens, Georgia 30602-7415 USA
%% mcovingt@aisun1.ai.uga.edu
%%
%% Current maintainer:
%% ===================
%% Juergen Spitzmueller <juergen@spitzmueller.org>
%%
%% This work may be distributed and/or modified under the
%% conditions of the LaTeX Project Public License, either version 1.3
%% of this license or (at your option) any later version.
%% The latest version of this license is in
%%   http://www.latex-project.org/lppl.txt
%% and version 1.3 or later is part of all distributions of LaTeX
%% version 2003/12/01 or later.
%%
%% This work has the LPPL maintenance status "maintained".
%% 
%% The Current Maintainer of this work is Juergen Spitzmueller.
%%
%% Code repository and issue tracker: https://github.com/jspitz/covington
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\documentclass[english]{article}

\usepackage{metre}
\usepackage[libertine]{newtxmath}
\usepackage[osf]{libertine}
\usepackage[scaled=0.75]{beramono}
\usepackage[T1]{fontenc}
\usepackage[latin9]{inputenc}

\usepackage{covington}

\usepackage{url}
\usepackage[bookmarks=true,
			bookmarksnumbered=false,
			bookmarksopen=false,
			breaklinks=false,
			pdfborder={0 0 0},
			backref=false,
			colorlinks=false
]{hyperref}
\hypersetup{%
	pdftitle={The covington manual},
	pdfauthor={Jürgen Spitzmüller},
	pdfkeywords={latex,linguistics}
}

\usepackage{microtype}

% Tweak the TOC (make it more compact)
\usepackage{tocloft}
\setlength{\cftbeforesecskip}{0pt}
\renewcommand{\cfttoctitlefont}{\normalsize\bfseries}
\renewcommand{\cftsecfont}{\small}
\renewcommand{\cftsecpagefont}{\small}
\renewcommand{\cftsubsecfont}{\small}
\renewcommand{\cftsubsecpagefont}{\small}
\renewcommand{\cftsubsubsecfont}{\footnotesize}
\renewcommand{\cftsubsubsecpagefont}{\footnotesize}
\tocloftpagestyle{empty}

\usepackage{babel}

\usepackage{listings}
\lstset{language={[LaTeX]TeX},
	basicstyle={\small\ttfamily},
	frame=single}

% markup
\newcommand*\jmacro[1]{\textbf{\texttt{#1}}}
\newcommand*\jenv[1]{\textbf{\texttt{#1}}}
\newcommand*\jcsmacro[1]{\jmacro{\textbackslash{#1}}}
\newcommand*\joption[1]{\textbf{\texttt{#1}}}
\newcommand*\jfmacro[1]{\texttt{#1}}
\newcommand*\jfenv[1]{\texttt{#1}}
\newcommand*\jfcsmacro[1]{\jfmacro{\textbackslash{#1}}}
\newcommand*\jparam[1]{\angus #1\angud}

% Strings
\newcommand*{\cvt}{\textsf{covington}}
\newcommand*{\Cvt}{\textsf{Covington}}

%
% Titling
%
\def\pversion{Version 2.14}
\def\pdate{December 11, 2023}

\title{\textbf{The \cvt\ Package\\\Large Macros for Linguistics}}
\author{Michael A. Covington \and J\"urgen Spitzm\"uller\thanks{Current maintainer.
		Please report issues via \protect\url{https://github.com/jspitz/covington}}}

\date{\pversion, \pdate}

\begin{document}

\maketitle

\begin{abstract}
\noindent This package, initially a collection of Michael A. Covington's private macros, provides
numerous customizable \LaTeX\ macros that are helpful for linguists, including macros that allow
for multiple diacritics on the same letter, numbered linguistic examples, interlinear glosses
(word-by-word translations), Discourse Representation Structures, phrase structure rules and disjunctions,
linguistic feature structures, and for semantic markup commonly used in linguistic notation.
\end{abstract}

\enlargethispage{2\baselineskip}
\tableofcontents

\section{Introduction}\label{sec:intro}

This is the documentation for \MakeLowercase{\pversion}
of \cvt\ (\pdate), which is a \LaTeX\ package providing macros
for typing some special notations common in linguistics.%
\footnote{The package has a long history. It started off as a collection of private macros back in the
\LaTeX\ 2.09 days and was initially released as \texttt{covingtn.sty} (following the old 8.3 \textsc{fat}
file name limit). In em\TeX\ under \textsc{ms-dos}, the file was distributed as \texttt{covingto.sty}.
Eventually, it has been renamed to \cvt\ and adapted to \LaTeXe. The current version requires a reasonably
recent version of \LaTeXe, as it employs some newer kernel features.}

To use \cvt, load the package as usual by adding the command 
\begin{lstlisting}
\usepackage[<options>]{covington}
\end{lstlisting}
to your document preamble. The package has the following options to customize its behavior:
\begin{description}
	\item{\joption{force=\jparam{true|false}}} Default: \emph{false}.
		Enforce the redefinition of environments that have already been defined by other packages or the class.
		
		This applies to the \jenv{example}, \jenv{examples}, \jenv{subexamples} and \jenv{exercise} environments,
		which are by default not touched if they have already been defined before \cvt\ is loaded.
		See sec.~\ref{sec:ex}, \ref{sec:exs}, \ref{sec:subexs} and \ref{sec:exercises} for details.
	\item{\joption{keeplayout=\jparam{true|false}}} Default: \emph{false}. Do not tweak the layout.
	
		\Cvt\ sets \jfcsmacro{raggedbottom} and redefines the value of the \jfcsmacro{textfloatsep} length.
		This just follows the preferences of the original package author and is not necessary
		for the package's functionality. Yet for backwards compatibility reasons, we cannot change this.
		Thus, we provide the option described here to opt out this presetting. And we actually encourage you to use it.
	\item{\joption{noglossbreaks=\jparam{true|false}}} Default: \emph{false}.
		If this option is set to \joption{true}, \cvt\ will try hard to prevent page breaks within glosses.
	
		If this option is not set, page breaks can occur between interlinearized text and free translation of a gloss, as
		well as between gloss preamble and interlinearized text, which is usually not what you will want.
		Nonetheless the option is not set by default. This is for backwards compatibility reasons (in order to not change
		page breaking of existing documents). Note that page breaks might still occur in some cases even if the option is set.
		In order to prevent them definitely, you can put the gloss in a parbox or minipage.
	\item{\joption{owncounter=\jparam{true|false}}} Default: \emph{false}. Use an own counter for numbered examples.

		By default, \cvt\ uses \LaTeX's equation counter for example numbering, so that if you use equations and numbered examples
		in the same	paper, you get a single continuous series of numbers. While some people (including the original author of this package)
		consider this a feature, others might prefer to number equations and linguistic examples separately. If you count to the latter sort,
		use this option. Note that the default appearance of the own counter and the equation counter differs if the document has chapters.
		See sec.~\ref{sec:cbc} for details.
	\item{\joption{fnexamplecounter=\jparam{main|own|own-reset}}} Default: \emph{main}.
		Specifics of the counter for numbered examples in footnotes.
	
		By default, \cvt\ numbers examples in footnotes in sequence with the numbering used in the main text (this conforms to
		the default value of this option, \joption{fnexamplecounter=main}). If you set \joption{fnexamplecounter=own},
		examples in footnotes get a different numbering which is incremented throughout the whole footnote apparatus.%
		\footnote{The previous option \joption{ownfncounter} is still supported,
			but deprecated.} 
		If you set \joption{fnexamplecounter=own-reset}, examples in footnotes get an own counter as well, but this variant
		resets the counter at each footnote	(similar to \textsf{linguex} and \textsf{gb4e}).\footnote{The previous option
			\joption{ownfncounter*} is still supported,	but deprecated.} 
		Both own counters use lowercase Roman numbering by default (see sec.~\ref{sec:ex} on how to change this)
\end{description}
%
Please note the following package-related caveats:
\begin{itemize}
	\item If you are using \cvt\ and the \textsf{uga} (University of Georgia thesis style) package together, you should load \textsf{uga} before \cvt.
	\item If you are using \cvt\ with \textsf{beamer-article}, you should load \textsf{beamer-article} before \cvt.
	\item If you are using \cvt\ with the \textsf{drs} package, you should load \textsf{drs} before \cvt. See sec.~\ref{sec:drs}.
\end{itemize}
%
In what follows we presume that you know how to use \LaTeX\ and have 
access to \LaTeX\ manuals.

\section{Stacked diacritics}\label{sec:accents}

\LaTeX\ provides a generous range of diacritics that can be placed on or below any
letter, such as:
\begin{flushleft}
\`{x} \'{x} \^{x} \"{x} \~{x} \={x} \H{x} \t{xx} \c{x} \d{x} \b{x}
\end{flushleft}
which are typed, respectively, as:
\begin{lstlisting}
\`{x} \'{x} \^{x} \"{x} \~{x} \={x} \H{x} \t{xx} \c{x} \d{x} \b{x}
\end{lstlisting}
Out of the box, however, \LaTeX\ doesn't give you a convenient way to put \emph{two}
diacritical marks on the same letter.  To fill this gap, \cvt\ provides
the following macros:
\begin{flushleft}
	\jcsmacro{twodias\{<upper diac.>\}\{<lower diac.>\}\{<char>\}}\\to combine any two diacritics, e.\,g.,
	               \lstinline[moretexcs={twodias}].\twodias{\~}{\=}{a}. = \twodias{\~}{\=}{a}\\[6pt]
	\jcsmacro{acm\{\ldots\}} \quad for acute over macron, e.\,g., \lstinline[moretexcs={acm}].\acm{a}. = \acm{a}\\
	\jcsmacro{grm\{\ldots\}} \quad for grave over macron, e.\,g., \lstinline[moretexcs={grm}].\grm{a}. = \grm{a}\\
	\jcsmacro{cim\{\ldots\}} \quad for circumflex over macron, e.\,g., \lstinline[moretexcs={cim}].\cim{a}. = \cim{a}
\end{flushleft}
The first of these is the general case\footnote{%
	Alternatively, there's also the old syntax \jcsmacro{twoacc[<upper diac.>|<char with lower diacr.>],}
	e.\,g. \jfcsmacro{twoacc[\textbackslash\textasciitilde|\textbackslash=\{a\}]} to the same effect, which is however discouraged
	due to its rather odd form.} and the latter three are special
cases that are often used in Greek transcription. Now you can type
\emph{Koin\acm{e}} with both accents in place.

The vertical distance between the two diacritics can be adjusted via the macro \jcsmacro{SetDiaOffset\{<length>\}}
which lets you increase or decrease the vertical space that is currently in effect.
If you'd use \verb"\SetDiaOffset{-0.25ex}", the above examples would come out as

\SetDiaOffset{-.25ex}
\begin{flushleft}
	\jcsmacro{twodias\{<upper diac.>\}\{<lower diac.>\}\{<char>\}}\\to combine any two diacritics, e.\,g.,
	\lstinline[moretexcs={twodias}].\twodias{\~}{\=}{a}. = \twodias{\~}{\=}{a}\\[6pt]
	\jcsmacro{acm\{\ldots\}} \quad for acute over macron, e.\,g., \lstinline[moretexcs={acm}].\acm{a}. = \acm{a}\\
	\jcsmacro{grm\{\ldots\}} \quad for grave over macron, e.\,g., \lstinline[moretexcs={grm}].\grm{a}. = \grm{a}\\
	\jcsmacro{cim\{\ldots\}} \quad for circumflex over macron, e.\,g., \lstinline[moretexcs={cim}].\cim{a}. = \cim{a}
\end{flushleft}
with a slightly better matching distance for the font used here.

Note that not all accent macros work in the \jfenv{tabbing} environment.
Use the \jfenv{Tabbing} package or refer to \cite{pakin} for alternative solutions.


\section{Numbered examples}

Linguistic papers often include numbered examples. With \cvt, generating those is straightforward.
In this section, we describe how you can typeset a self-stepping example number (see section~\ref{sec:exno}),
a single numbered example (sec.~\ref{sec:ex}), a consecutive range of numbered examples (sec.~\ref{sec:exs}),
and alpha-numerically labeled sub-examples (sec.~\ref{sec:subexs}).

\Cvt's numbered examples can be customized in many ways. For instance, you can make them by default be
typeset in italics, as common in linguistics, you can adjust the way the numbers
are displayed, and you can customize the spacing and indentation if the default
settings do not suit you. This can be achieved via example options that can be set locally to a specific
environment as optional arguments or globally via the \jcsmacro{setexampleoptions} macro (see sec.~\ref{sec:ex}
for details).

All numbered examples can be referred to in the text via \jfcsmacro{label} and \jfcsmacro{ref} as usual,
or with a convenience macro \jcsmacro{pxref} that adds the parentheses that are usually used
in example references (see sec.~\ref{sec:ref} for details).

\subsection{Example numbers}\label{sec:exno}

The macro \jcsmacro{exampleno} generates a new example number, stepped by 1. It can be 
used anywhere you want the number to appear.  For example, to display a 
sentence with a number at the extreme right, do this:
\begin{lstlisting}[moretexcs={exampleno}]
\begin{flushleft}
This is a sentence. \hfill (\exampleno)
\end{flushleft}
\end{lstlisting}
Here's what you get:
\begin{flushleft}
This is a sentence. \hfill (\exampleno)
\end{flushleft}
If you want to output the (current) number without stepping it at the same time, the starred form
\jcsmacro{exampleno*} will do that. 

Normally, however, you do not need to manually place \jcsmacro{exampleno} yourselves,
as in the example above. For the common case where example numbers in parentheses are
placed left to the example, \cvt\ provides more convenient solutions. These are described in turn.


\subsection[The \jenv{example} environment]{The \jenv{example} environment}\label{sec:ex}

The \jenv{example} environment (alias \jenv{covexample}\footnote{\label{fn:fallbacks}%
   As of version 1.1, \cvt\ checks if there is already an \jfenv{example} environment defined (e.\,g., by the class).
   If so, \cvt\ does not define its own one. The alias environment \jenv{covexample} which can be used in order to
   produce \texttt{covington's} example, however, is always defined and can be used in such cases.
   If you use the package option \joption{force}, \cvt\ will override  existing \jfenv{example} environments.
   In any case, the package will issue a warning if \jfenv{example} is already defined (this is the case,
   for instance, if you use \cvt\ with the \texttt{beamer} class).}%
) displays a single example
with a generated example number to the left of it.
If you type
\begin{lstlisting}
\begin{example}
This is a sentence.
\end{example}
\end{lstlisting}
or
\begin{lstlisting}
\begin{covexample}
This is a sentence.
\end{covexample}
\end{lstlisting}
you get:
\begin{example}
This is a sentence.\label{expl}
\end{example}
The example can be of any length; it can consist of many lines (separated by \verb"\\"), or even whole paragraphs.

The \jenv{example} environment provides the following options which also allow for customization of their appearance:

\begin{description}
	\item[\joption{fs=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		Adjusts the font settings of the example text.
		Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
	\item[\joption{fsno=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		Adjusts the font settings of the example number.
		Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
	\item[\joption{judge=\{\jparam{arbitrary text}\}}] Insert grammaticality judgments (such as * or ?)
	    to an example. This will be inserted before the example text with a small space and uses its own
	    markup. For convenience, the following shorthand options are also provided:
	    \joption{*}, \joption{?}, \joption{*?}, \joption{??}, and \joption{\#} (as alias to
	    \joption{judge=*} etc.).
	\item[\joption{fsjudge=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		Adjusts the font settings of the grammaticality judgment.
		Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
	\item[\joption{preamble=\{\jparam{arbitrary text}\}}] Arbitrary text that is inserted on an own line
		after the example number (preceding the example text). This might be useful, for instance,
		to give context information, to specify the language or the source in case of cited examples.
		The advantage over just adding a line manually in the example is that you can globally or locally
		set the markup with the \joption{fspreamble} option. Also, judgment markers are properly set
		after the preamble.
	\item[\joption{postamble=\{\jparam{arbitrary text}\}}] Arbitrary text that is appended to the example
	    (on the	same line after a space).
	    This might be useful to add a reference or an explanation to the translation.
	    The advantage over just adding text manually in the example is that that you can globally or locally
	    set the markup with the \joption{fspostamble} option.
	\item[\joption{postamble*=\{\jparam{arbitrary text}\}}] A variant of \joption{postamble} that does not add
		a space. This might be preferred if you want to add a footnote.
		Note that \joption{postamble} and \joption{postamble*} are mutually exclusive.
		
		If you want the postamble text to be on a line of its own, simply add a line break
		(i.\,e., \verb|postamble={\\Text}| or, to the same effect, \verb|postamble*={\\Text}|).
	\item[\joption{fspreamble=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		Adjusts the font settings of the preamble text.
		Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
	\item[\joption{fspostamble=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		Adjusts the font settings of the postamble text.
		Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
	\item[\joption{leftmargin=\{\jparam{length}\}}] Default: \verb|{0pt}|.
	    Lets you change the indentation of examples (including number). Positive values will increase,
	    negative values will decrease the indentation of the example.
	 \item[\joption{addnumbersep=\{\jparam{length}\}}] Default: \verb|{0pt}|.
	    Increases or (with negative values) decreases the spacing between example number and example.
	 \item[\joption{judgewidth=\{\jparam{text}\}}] 
	 	Sets the width that is reserved for the judgment marker. This is automatically set to the input
	 	of \joption{judge}. By default and notably in the \jenv{examples} and \jenv{examples} environments
	 	which use an angular \jcsmacro{item} argument rather than the \joption{judge} option,
	 	this is preset to \verb|{?}|.
	 \item[\joption{addjudgesep=\{\jparam{length}\}}] Default: \verb|{0pt}|.
	    Increases or (with negative values) decreases the spacing between judgment mark and example
	    (which amounts to 0.2\,em by default).
	 \item[\joption{numberformat=\{\jparam{template}\}}] Default: \verb|{(1)}|.
	    The format of the example number. The option takes templates as known from the \textsf{enumerate}
	    package \cite{enumerate}.
	    Arabic numbering is represented by \jparam{1}, Roman by \jparam{i} and \jparam{I}, alphabetic by
	    \jparam{a} and \jparam{A}. Any text before and after the number are inserted as is.
	    
	    For instance, \verb|numberformat={[a.]}| results in lower alphabetic numbering followed by a dot,
	    embraced in brackets.
	    
	    Note that if the equation counter is used with chapters, this resets the separator between chapter
	    number and example number to the default (a dot). To override this, you might redefine the macro
	    \jcsmacro{covchapexsep}, which is predefined to \verb|{.}|.
	 \item[\joption{fnnumberformat=\{\jparam{template}\}}] Default: \verb|{(i)}|.
	    The format of the example number if \joption{fnexamplecounter=own} or \joption{fnexamplecounter=own-reset}
	    and example is in a footnote. For the template format, see \joption{numberformat}.
\end{description}
%
If you pass them to an environment (as optional argument of the environment), the options will only apply to that
very environment. If you want to make a global change, you can use the macro
\begin{lstlisting}[moretexcs={setexampleoptions}]
\setexampleoptions{<options>}
\end{lstlisting}
and pass either of the above options to it (as usual separated by comma). This will apply to all subsequent examples
(the \jenv{example} environment described here as well as \jenv{examples}, \jenv{subexamples} and glosses with the 
\joption{ex} option) until further global change and unless an option is altered locally via optional argument.

Please refer to sec.~\ref{sec:exex} for exemplifications of the options.

\subsection[The \jenv{examples} environment]{The \jenv{examples} environment}\label{sec:exs}

To display a series of examples together, each with its own example number, use \jenv{examples}
(or \jenv{covexamples}\footnote{%
	The fallback mechanism described in	footnote~\ref{fn:fallbacks} for \jfenv{example} apply here, too.%
}) instead of \jenv{example} or \jenv{covexample}.
There can be more than one example with this environment, and each of them has to be introduced
by \jfcsmacro{item}, like this:
\begin{lstlisting}
\begin{examples}
\item This is the first sentence.
\item This is the second sentence.
\end{examples}
\end{lstlisting}
or, respectively:
\begin{lstlisting}
\begin{covexamples}
\item This is the first sentence.
\item This is the second sentence.
\end{covexamples}
\end{lstlisting}
This prints as:
\begin{examples}
\item This is the first sentence.
\item This is the second sentence.
\end{examples}
%
Besides to the normal optional item argument (see below), the examples environment provides an optional angular
argument which allows you to pass a judgment marker. Consider:
\begin{lstlisting}
\begin{examples}
\item<*> This sentence not is well-formed.
\item This is a well-formed sentence.
\end{examples}
\end{lstlisting}
%
This is printed as:
\begin{examples}
	\item<*> This sentence not is well-formed.
	\item This is a well-formed sentence.
\end{examples}
%
If you use a wider marker such as \jparam{??}, you need to adjust the width of the reserved space for the marker.
To this end, the option \joption{judgewidth=\{\jparam{text}\}} is provided (e.\,g., \verb|judgewidth={??}|).
With even wider markers, you might also need to adjust \joption{addnumbersep} to prevent the marker from coming too
close to the example number.

The \jenv{examples} environments accepts the same options than the \jenv{example} environment (please refer to
sec.~\ref{sec:ex} for details).
However, there are some notable deviations and exceptions due to the fact that we are dealing with multiple examples
in a row here:
\begin{itemize}
	\item \joption{judge=\{\jparam{arbitrary text}\}} and its shorthand aliases (\joption{*}, \joption{?}, \joption{*?},
	      \joption{??}, and \joption{\#}) set the default judgment marker for all items in the environment.
	      It also sets the appropriate \joption{judgewidth} for the selected marker.
		  Use the aforementioned angular \jcsmacro{item} option to overwrite the preset marker or to set
		  one for indivual examples only.
	\item \joption{preamble} and \joption{postamble[*]} do not have any effect at all. Preambles and postambles,
	      after all, belong to individual examples in the set rather than to the whole set of examples (or their
	      first and last item, respectively).
	      Instead of these options, we thus provide per-item solutions, which are documented in what follows.
\end{itemize}
%
For preambles and postambles, we provide specific macros, namely \jcsmacro{expreamble} and \jcsmacro{expostamble},
which can be placed where they should appear in the example, and which take the same markup than the texts passed
via \joption{preamble} or \joption{postamble} option in the \jenv{example} environment.

Hence, also here, the advantage over just adding text as is in the example is that an own, globally settable markup is used.
This is particularly relevant if you globally set examples to be italicized via the \joption{fs} option (as we have done it
in our examples in sec.~\ref{sec:exex}).  Also, judgment markers are properly set after the preamble.\pagebreak[2]

\noindent Consider:
\begin{lstlisting}[moretexcs={expreamble}]
\begin{examples}
\item \expreamble{Here is Jakobson's famous poetic example:}
      I like Ike!
\item \expreamble{Here is the less poetic variant:}
      I am in favor of Mr. Eisenhower.
\end{examples}
\end{lstlisting}
%
This prints as follows:
\begin{examples}
	\item \expreamble{Here is Jakobson's famous poetic example:}
	      I like Ike!
	\item \expreamble{Here is the less poetic variant:}
	      I am in favor of Mr. Eisenhower.
\end{examples}
%
To see the advantage more clearly, let us locally set the markup of the example text:
\begin{lstlisting}[moretexcs={expreamble},morekeywords=fs]
\begin{examples}[fs={\itshape}]
\item \expreamble{Here is Jakobson's famous poetic example:}
      I like Ike!
\item \expreamble{Here is the less poetic variant:}
      I am in favor of Mr. Eisenhower.
\end{examples}
\end{lstlisting}
%
As you can see, the preamble text is untouched:
\begin{examples}[fs={\itshape}]
	\item \expreamble{Here is Jakobson's famous poetic example:}
	I like Ike!
	\item \expreamble{Here is the less poetic variant:}
	I am in favor of Mr. Eisenhower.
\end{examples}
%
Along the same line, consider:
\begin{lstlisting}[moretexcs={expostamble},morekeywords=fs]
\begin{examples}[fs={\itshape}]
\item I like Ike! \expostamble{(Jakobson 1960: 357)}
\item I am in favor of Mr. Eisenhower.\expostamble{\footnote{He actually wasn't.}}
\end{examples}
\end{lstlisting}
%
which results in:
\begin{examples}[fs={\itshape}]
	\item I like Ike! \expostamble{(Jakobson 1960: 357)}
	\item I am in favor of Mr. Eisenhower.\expostamble{\footnote{He actually wasn't.}}
\end{examples}
%
Like in any other \LaTeX\ list, the numbering can be freely set via the optional argument of \jfcsmacro{item}.
For a somewhat realistic example, observe how:
\begin{lstlisting}[moretexcs={covexnumber,exampleno}]
\begin{examples}
\item A proposition.
\item[\covexnumber{\exampleno*'}] An alternative proposition.
\end{examples}
\end{lstlisting}
%
results in:
\begin{examples}
	\item A proposition.
	\item[\covexnumber{\exampleno*'}] An alternative proposition.
\end{examples}
%
If you need an angular (judgment) argument and an optional argument, pass the judgment argument first
(i.\,e., \verb|\item<judgment>[custom label]|).

\subsection[The \jenv{subexamples} environment]{The \jenv{subexamples} environment}\label{sec:subexs}

Sometimes a set of (paradigmatic) sub-examples gets only one main example number with alphabetic sub-numbering,
as in \pxref{sbex} below. An ad-hoc way to achieve this is to use \jfenv{itemize} or \jfenv{enumerate}
within an example with customized items, like this:
\begin{lstlisting}
\begin{example}
\begin{itemize}
\item[(a)] This is the first sentence.
\item[(b)] This is the second sentence.
\end{itemize}
\end{example}
\end{lstlisting}
This prints as:
\begin{example}
	\begin{itemize}
		\item[(a)] This is the first sentence.
		\item[(b)] This is the second sentence.
	\end{itemize}
\end{example}
However, the \jenv{subexamples} (or \jenv{covsubexamples}\footnote{The fallback mechanism described in
	footnote~\ref{fn:fallbacks} for \jfenv{example} apply here, too.%
}) environment, described in this section, is usually more convenient for
this task.
As opposed to \jenv{examples}\slash \jenv{covexamples}, this environment sub-numbers its items. Thus
\begin{lstlisting}
\begin{subexamples}
\item This is the first sentence.
\item This is the second sentence.
\end{subexamples}
\end{lstlisting}
or, respectively:
\begin{lstlisting}
\begin{covsubexamples}
\item This is the first sentence.
\item This is the second sentence.
\end{covsubexamples}
\end{lstlisting}
prints as:
\begin{subexamples}
	\item This is the first sentence.\label{sbex}
	\item This is the second sentence.
\end{subexamples}
%
Similar to the \jenv{examples} environment, the \jenv{subexamples} environment's item has an angular argument
to pass grammaticality judgment markers, as in:
%
\begin{subexamples}
	\item This is a well-formed sentence.
	\item<*> This not well-formed is.
\end{subexamples}
%
which was typed as:
\begin{lstlisting}
\begin{subexamples}
\item This is a well-formed sentence.
\item<*> This not well-formed is.
\end{subexamples}
\end{lstlisting}
%
The settings of the judgment markers (spacing and markup) is done via the options described in
sec.~\ref{sec:ex}.

The \jenv{subexamples}/\jenv{covsubexamples} environment provides the same options than the \jenv{example}
and \jenv{examples} environment (see sec.~\ref{sec:ex}) with the following deviations and additions:
\begin{description}
	\item[\joption{judge=\{\jparam{arbitrary text}\}}] and its shorthand aliases (\joption{*}, \joption{?},
	   \joption{*?}, \joption{??}, and \joption{\#}) set the default judgment marker for all items in the environment.
	   It also sets the appropriate	\joption{judgewidth} for the selected marker.
		Use the aforementioned angular \jcsmacro{item} option to overwrite the preset marker or to set
		one for indivual subexamples only. 
	\item[\joption{preamble=\{\jparam{arbitrary text}\}}] Arbitrary text is inserted here on the first line
		(after the main number and before the first sub-example, which then follows on a new line).
		This might be useful, for instance, to give context information, to specify the language or the source
		in case of cited sub-examples.
	\item[\joption{postamble=\{\jparam{arbitrary text}\}}] Arbitrary text is appended here after all sub-examples (on a
		new line). This might be useful to add a reference or an explanation to the whole set.
	\item[\joption{addsubnumbersep=\{\jparam{length}\}}] Default: \verb|{0pt}|.
		Increases or (with negative values) decreases the spacing between example subnumber and example text.
	\item[\joption{subnumberformat=\{\jparam{template}\}}] Default: \verb|{(a)}|.
		The format of the sub-example number. For the template format, consult the documentation of
		\joption{numberformat} in sec.~\ref{sec:ex}.
\end{description}
%
Also note that, if you set options globally via \jcsmacro{setexampleoptions}, the following derivating options
should be used to distinguish the \jenv{subexample} from the \jenv{example} case.
\begin{description}
	\item[\joption{subjudge=\{\jparam{text}\}}] sets the default judge marker for subexamples.
	\item[\joption{subpreamble=\{\jparam{arbitrary text}\}}] For a global preamble presetting in subexamples.
	\item[\joption{subpostamble=\{\jparam{arbitrary text}\}}] For a global postamble presetting in subexamples.
	\item[\joption{fssubpreamble=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		Adjusts the font settings of subexample's preamble text and the \jcsmacro{subexpreamble}
		macro described below.
		Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
	\item[\joption{fssubpostamble=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		Tweaks the sub\-example's postamble text font settings and the \jcsmacro{subexpostamble}
		macro described below.
		Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
\end{description}
%
For convenience, all these options actually also work (as aliases) in optional arguments passed to
\jenv{subexamples} environment.

To add additional text preceding or following specific subitems, you can principally use the \jcsmacro{expreamble} and
\jcsmacro{expostamble} macros desribed in sec.~\ref{sec:exs}. To allow for separating the markup of such texts
in subexample from the example case, we also provide specific macros, \jcsmacro{subexpreamble} and
\jcsmacro{subexpostamble} which use their own font settings (and the same than the \joption{preamble} and
\joption{postamble} options of this environment).  With all these macros, judgment markers are properly set after
the preamble.

For example:
\begin{lstlisting}[moretexcs={subexpreamble},morekeywords=preamble]
\begin{covsubexamples}[preamble={Here are two sentences:}]
\item \subexpreamble{English:} This is the first sentence.
\item \subexpreamble{German:} Das ist der zweite Satz.
\end{covsubexamples}
\end{lstlisting}
%
\begin{covsubexamples}[preamble={Here are two sentences:}]
	\item \subexpreamble{English:}
	      This is the first sentence.
	\item \subexpreamble{German:}
	      Das ist der zweite Satz.
\end{covsubexamples}
%
Analoguously, with:
\begin{lstlisting}[moretexcs={subexpostamble}]
\begin{subexamples}
\item This is the first sentence. \subexpostamble{(Miller 2022: 15)}
\item This is the second sentence.\subexpostamble{\footnote{My own.}}
\end{subexamples}
\end{lstlisting}
%
you will get:
\begin{subexamples}
	\item This is the first sentence. \subexpostamble{(Miller 2022: 15)}
	\item This is the second sentence.\subexpostamble{\footnote{My own.}}
\end{subexamples}
%
More customization possibilities of examples and subexamples are elaborated in the following section.

\subsection{Examples of examples}\label{sec:exex}

As already noted, all example environments can be customized in many aspects via the example options.
If passed as an optional argument to the respective environment, the change only applies to this very environment.
If passed via \jcsmacro{setexampleoptions}, the change will apply to any subsequent \jenv{example}, \jenv{examples},
or \jenv{subexamples} environment unless a local option overrides a setting.

For this section and the purpose of demonstration, we globally set the markup of example sentences to italics,
as common in linguistics. As you now already know, this is very easy to do, via:
\begin{lstlisting}[morekeywords=fs,moretexcs={setexampleoptions}]
\setexampleoptions{fs=\itshape}
\end{lstlisting}
\setexampleoptions{fs=\itshape}
%
which applies from now on. If we now enter:
\begin{lstlisting}[morekeywords={preamble,postamble}]
\begin{example}[preamble={Consider this example:},
                postamble={(German)}]
Das ist ein Satz.
\end{example}
\end{lstlisting}
%
We will get:
\begin{example}[preamble={Consider this example:},
	            postamble={(German)}]
	Das ist ein Satz.
\end{example}
%
And with a similar subexample:
\begin{lstlisting}[morekeywords={preamble,postamble}]
\begin{subexamples}[preamble={Here are two sentences},
                    postamble={(Doe 1974: 12)}]
\item This is the first sentence.
\item This is the second sentence.
\end{subexamples}
\end{lstlisting}
we get the following output:
\begin{subexamples}[preamble={Here are two sentences},postamble={(Doe 1974: 12)}]
	\item This is the first sentence.
	\item This is the second sentence.
\end{subexamples}
%
Let us briefly demonstrate the judgment feature. If we want to mark an example as being ungrammatical,
we use the conventional asterisk mark, like this:
\begin{lstlisting}[morekeywords=judge]
\begin{example}[judge=*]
Dies ein ungrammatischem Satz ist.
\end{example}
\end{lstlisting}
%
or, shorter:
\begin{lstlisting}[morekeywords={*}, alsoletter={*}]
\begin{example}[*]
Dies ein ungrammatischem Satz ist.
\end{example}
\end{lstlisting}
%
to get:
\begin{example}[judge=*]
	Dies ein ungrammatischem Satz ist.
\end{example}
%
With the \jenv{examples} and \jenv{subexamples} environment, we need to pass the marker to the item's
angular argument instead, as already demonstrated in sec.~\ref{sec:exs}:
\begin{lstlisting}
\begin{examples}
\item<*> Dies ein ungrammatischem Satz ist.
\item Dies ist ein grammatisch wohlgeformter Satz.
\end{examples}
\end{lstlisting}
%
\begin{examples}
	\item<*> Dies ein ungrammatischem Satz ist.
	\item Dies ist ein grammatisch wohlgeformter Satz.
\end{examples}
%
With wider markers, we need to adjust the marker width via \joption{judgewidth}, and
since we have a larger count of examples now, we also adjust \joption{addnumbersep}
to have a good space to the number:
\begin{lstlisting}[morekeywords={judgewidth,addnumbersep}]
\begin{examples}[judgewidth={??},addnumbersep={1ex}]
\item<??> Kann ich ein gratis Bier haben?
\item Kann ich ein Bier gratis haben?
\end{examples}
\end{lstlisting}
%
\begin{examples}[judgewidth={??},addnumbersep={1ex}]
	\item<??> Kann ich ein gratis Bier haben?
	\item Kann ich ein Bier gratis haben?
\end{examples}
%
\Cvt\ takes care that judgment markers are also properly set with preambles (with the
\jcsmacro{expreamble} and \jcsmacro{subexpreamble} macros, this requires an extra
\LaTeX\ pass). Observe how:
%
\begin{lstlisting}[moretexcs={expreamble}]
\begin{examples}
\item \expreamble{Compare this:} Oh, I am so well-formed!
\item<*> \expreamble{with this:} Lucky are you!
\end{examples}
\end{lstlisting}
%
comes out as expected:
\begin{examples}
	\item \expreamble{Compare this:}
	      Oh, I am so well-formed!
	\item<*> \expreamble{with this:}
	      Lucky are you!
\end{examples}
%
In what follows, we demonstrate further adjustments of the spacing of examples.
The space between the example number and the text (or the subnumber in case of subexamples)
can be adjusted, as documented above, by means of the \joption{addnumbersep} example option.
So, for instance,
\begin{lstlisting}[morekeywords={addnumbersep}]
\begin{example}[addnumbersep={2em}]
Look, I am shifted right!
\end{example}
\end{lstlisting}
will come out like this:

\begin{example}[addnumbersep={2em}]
	Look, I am shifted right!
\end{example}
%
The indentation (left margin) of examples and subexamples is controlled by the \joption{leftmargin}
example option. Doing \joption{leftmargin=1em}, for instance, will increase the indentation by 1\,em,
negative values will decrease it accordingly.
For the latter, consider:
\begin{lstlisting}[morekeywords={leftmargin}]
\begin{example}[leftmargin={-2.6em}]
This is a marginal case.
\end{example}
\end{lstlisting}
which will come out like this:
%
\begin{example}[leftmargin={-2.6em}]
This is a marginal case.
\end{example}
%
In case of \jenv{subexamples}, the distance between example subnumber and text can be changed
via the \joption{addsubnumbersep} option.
Again, a positive value will increase, a negative value will decrease the distance.
Doing 
\begin{lstlisting}[morekeywords={addnumbersep,addsubnumbersep}]
\begin{subexamples}[addnumbersep={-0.4em},addsubnumbersep={0.4em}]
\item My numbers have been moved.
\item Mine as well.
\end{subexamples}
\end{lstlisting}
for instance, will yield:

\begin{subexamples}[addnumbersep={-0.4em},addsubnumbersep={0.4em}]
	\item My numbers have been moved.
	\item Mine as well.
\end{subexamples}
%
The example also demonstrates how, in subexamples, \joption{addnumbersep} alters (here: decreases) the spacing
between main number and subnumber.

Next, we showcase how to change the display of the example number or subnumber via the \joption{numberformat} and
\joption{subnumberformat} options. As described in sec.~\ref{sec:ex}, these take a `mini template' as known from
the \textsf{enumerate} package \cite{enumerate}. In these templates, the first occurrence of the characters \jparam{1},
\jparam{i}, \jparam{I}, \jparam{a}, and \jparam{A} represents the numeric system where the respective character marks
the first positive value. All the rest of the template (including following occurrences of the mentioned characters)
is interpreted literally.
For instance, \jparam{(1)} is an alphabetic number in parentheses, \jparam{a.} a lower alphabetic value followed by a dot,
etc.

So to equip the examples with a dot after the number, we use \joption{numberformat=\{(1.)\}}
To remove the parentheses from the subexample letter, for instance, we can use \joption{subnumberformat=\{a\}}.
The following example demonstrates both options:
\begin{lstlisting}[morekeywords={numberformat,subnumberformat}]
\begin{subexamples}[numberformat={(1.)},subnumberformat={a}]
\item This is a statement.
\item This is an adjacent statement.
\end{subexamples}
\end{lstlisting}
%
And we get what we want:
\begin{subexamples}[numberformat={(1.)}, subnumberformat={a}]
	\item This is a statement.
	\item This is an adjacent statement.
\end{subexamples}
%
Note that the \joption{numberformat} option by default also changes the numbers of examples in footnotes, even if
\joption{fnexamplecounter=own[-reset]} is used. This does not apply to the counter format,
however. So \joption{numberformat=\{[1.])\}} will also make the example numbers in footnote appear in brackets and with the 
dot, but it will still use the lower Roman numbering. Use \joption{fnnumberformat} to fully change the appearance.

With the last examples, we return to example markup. Remember, we have globally set the markup of example sentences to italics
at the beginning of this section. Now if we want to have it bold instead for one single occurence, we can reset it for the one
case via the environment options (if we wanted to change it globally from now on, we would use \jcsmacro{setexampleoptions} once more).
Observe how:
\begin{lstlisting}[morekeywords={fs,preamble,postamble}]
\begin{example}[fs=\bfseries,preamble={Note:},
                postamble={(in any respect)}]
This is a bold statement!
\end{example}
\end{lstlisting}
%
results in:
\begin{example}[fs=\bfseries,preamble={Note:},
	postamble={(in any respect)}]
	This is a bold statement!
\end{example}
%
As outlined in sec.~\ref{sec:ex} and \ref{sec:subexs}, all elements of examples and subexamples
(number, actual example text, pre- and postamble) can be marked up independently via \joption{fsno},
\joption{fspreamble}, \joption{fspostamble}, etc. Hence, many useful (and also lots of nonsensical)
example formats are easily achievable.

\subsection{Referring to examples}\label{sec:ref}

References to examples and sub-examples can be made the usual way via the \jcsmacro{ref} command
(which refers to a \jcsmacro{label} that is placed in the respective example paragraph).
The references do not have parentheses by default, i.\,e., a reference to the example
in section~\ref{sec:ex} would be printed as \ref{expl}, a reference to the sub-example
in section~\ref{sec:subexs} as \ref{sbex}.
For convenience, though, \cvt\ provides a command \jcsmacro{pxref} that also prints the parentheses,
as in \pxref{expl} and \pxref{sbex}. It is defined as follows and can be redefined if needed:
\begin{lstlisting}[moretexcs={providecommand,pxref}]
\providecommand*\pxref[1]{(\ref{#1})}
\end{lstlisting}


\subsection{Numbering per chapter or continuously}\label{sec:cbc}

With the default (equation) counter which is used for examples, examples automatically get numbered
per chapter if the document has chapters (e.g., (2.1) for the first example in chapter~2).
If you want continuously numbered examples instead, use
\begin{lstlisting}[moretexcs={counterwithout}]
\counterwithout{equation}{chapter}
\end{lstlisting}
which also will change the equation numbering behavior.

With \joption{owncounter}, on the other hand, examples are always continuously numbered by default.
If you want examples numbered per chapter, do:
\begin{lstlisting}[moretexcs={counterwithin,ownexcounterprep}]
\counterwithin*{covex}{chapter}
\renewcommand\ownexcounterprep{\thechapter.}
\end{lstlisting}


\section{Glossing sentences word-by-word}\label{sec:gloss}

To gloss a sentence is to annotate it word-by-word.  Most commonly, a 
sentence in a foreign language is followed by a word-for-word 
translation (with the words lined up vertically) and then a smooth 
translation (not lined up), like this:
\digloss{Dit is een Nederlands voorbeeld}
        {This is a Dutch example}
        {This is an example in Dutch.}
\Cvt\ provides different ways to typeset such glosses. The most convenient
way is via gloss macros (see sec.~\ref{sec:gmacros}), an alternative (and the
traditional) way is via a set of commands (see sec.~\ref{sec:glosscmds}).
Both are described in turn.

\subsection{Gloss macros}\label{sec:gmacros}

\Cvt\ provides two gloss macros:
\begin{lstlisting}[moretexcs={digloss}]
\digloss[<options>]
        {<gloss line 1>}[<optional comment line 1>]
        {<gloss line 2>}[<optional comment line 2>]
        {<free translation>}
\end{lstlisting}
typesets two-line glosses with a translation line, and optionally comments to the right side
of the gloss lines (the macro name puns on Greek \lexp{diglossía}, lit. \lmean{two tongues},
\lmean{bilingualism}).
\begin{lstlisting}[moretexcs={trigloss}]
\trigloss[<options>]
         {<gloss line 1>}[<optional comment line 1>]
         {<gloss line 2>}[<optional comment line 2>]
         {<gloss line 3>}[<optional comment line 3>]
         {<free translation>}
\end{lstlisting}
typesets three-line\footnote{The additional line can be useful for instance
to gloss cited forms, morphology, or an additional translation.
See sec.~\ref{sec:glossex} for examples.}
glosses with a translation line and optional comments (cf. Greek \lexp{triglossía},
lit. \lmean{three tongues}, \lmean{trilingualism}).

The example given above would thus be typed as:
\begin{lstlisting}[moretexcs={digloss}]
\digloss{Dit is een Nederlands voorbeeld}
        {This is a Dutch example}
        {This is an example in Dutch.}
\end{lstlisting}
%
Note that:
\begin{itemize}
	\item The \jparam{free translation} argument can be left empty. In this case, no translation line is added
	      (and no extra space taken).
	\item The macros automatically markup the lines.
		  By default, the first gloss line is in italics, subsequent lines are set upright, and the
		  free translation in single quotation marks (using the language-sensitive \textsf{csquotes}
		  \cite{csquotes} macros if this package is loaded). This can be customized, though, via the
		  macro options or globally via the macro \jcsmacro{setglossoptions} which will be documented below.
    \item By default, page breaks might occur within glosses. In order to prevent it, the package option
          \joption{noglossbreaks} (see sec.~\ref{sec:intro}) will help in many cases.
          If it doesn't, you can wrap the whole gloss into a minipage or parbox.
    \item The words do not have to be typed lining up; \TeX\ counts and aligns them.
    \item On the other hand, multiple blanks are ignored, so you can, but do not need to,
          use the space key to line up the words to your liking in the \TeX\ file.
          The example above could thus also have been input like this, with no change to the output:
\begin{lstlisting}[moretexcs={digloss}]
\digloss{Dit  is een Nederlands voorbeeld}
        {This is a   Dutch      example}
        {This is an example in Dutch.}
\end{lstlisting}
    \item If the words in the two languages do not correspond one-to-one, you can use curly brackets
          to group words and a pair of empty curly brackets to mark null forms.
          For example, to print
          \digloss{Dit  is een voorbeeldje      in het Nederlands}
                  {This is a   {little example} in {}  Dutch}
                  {This is a little example in Dutch.}
          you would type:
\begin{lstlisting}[moretexcs={digloss}]
\digloss{Dit  is een voorbeeldje      in het Nederlands}
        {This is a   {little example} in {}  Dutch}
        {This is a little example in Dutch.}
\end{lstlisting}
\end{itemize}

\medskip
\noindent The following \joption{\jparam{options}} (key-value pairs) are provided for the two gloss macro:%
\footnote{Please consult sec.~\ref{sec:glossex} below for examples that showcase these options.}

\begin{description}
	\item[\joption{ex=\jparam{true|false}}] Default: \emph{false}. Wraps the gloss in an example environment
	      (i.\,e., it is numbered). In this case, any example settings done via \jcsmacro{setexampleoptions}
	      (sec.~\ref{sec:ex}) apply.
	\item[\joption{tlr=\jparam{true|false}}] Default: \emph{false}. If set to true, the translation line (content
          of the \jparam{free translation} argument) is set right to the gloss lines, rather than into a new line below,
          and shifted towards the right margin. In contrast to the normal translation line, the content is not enquoted.
          Since the gloss itself is set in a box, the \jparam{free translation} will appear lined up with the
          first line of the gloss. This can be useful when no translation, but an aligned number or something similar,
          is to be inserted right to the gloss (please refer to sec.~\ref{sec:glossex} for an example).
          
          Note that this option defuncts the optional gloss line comments.
	\item[\joption{tlr*=\jparam{true|false}}] Default: \emph{false}. A variant of \joption{tlr} which is
	     suitable for setting real free translations (enquoted) right to the gloss (after a small space).
	     Both the gloss and the translation line are placed in a box with limited width in this case.
	     The maximum width of the translation line can be adjusted via the \joption{glosscommentwidth} option
	     described below, the maximum width of the gloss and the space between gloss and translation line via
	     \joption{glosswidth} and \joption{glosssep}, respectively.
	\item[\joption{fsi=\{\jparam{font settings}\}}]. Default: \verb|{\normalfont\itshape}|.
		 Adjusts the font settings of the first gloss line.
	     Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
	\item[\joption{fsii=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		 Adjusts the font settings of the second gloss line.
	     Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
	\item[\joption{fsiii=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		 Adjusts the font settings of the third gloss line (in case of \jcsmacro{trigloss}).
		 Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
	\item[\joption{fstl=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		 Adjusts the font settings of the translation line.
		 Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
	\item[\joption{enquotetl=\jparam{true|false}}] Default: \emph{true}.
	     By default, the translation line is embraced in single quotation marks. Set this option to
	     \jparam{false} to omit this.
		 
		 Note that for \joption{enquotetl=true}, \cvt\ checks at document begin whether the \textsf{csquotes}
		 \cite{csquotes} package is loaded. If so, it uses its language-sensitive \jcsmacro{enquote*} macro
		 for enquoting the translation.
		 If not, a fallback quotation (using English single quotation marks) is used. The usage of
	     \textsf{csquotes} is highly recommended!
	\item[\joption{addlinesepi=\{\jparam{length}\}}]. Default: \verb|{0pt}|.
	     Increases or (with negative values) decreases the vertical spacing after the first gloss line.
	\item[\joption{addlinesepii=\{\jparam{length}\}}] Default: \verb|{0pt}|.
		 Increases or (with negative values) decreases the vertical spacing after the second gloss line
		 (in \jcsmacro{digloss}, this is only done if a translation line follows).
	\item[\joption{addlinesepiii=\{\jparam{length}\}}] Default: \verb|{0pt}|.
		 Increases or (with negative values) decreases the vertical spacing after the third gloss line
		 if a translation line follows (in case of \jcsmacro{trigloss}).
	\item[\joption{judge=\{\jparam{arbitrary text}\}}] Insert grammaticality judgments (such as * or ?)
		to the gloss. This will be prepended to the first gloss line with a small space and uses its own
		markup. For convenience, the following shorthand options are also provided:
		\joption{*}, \joption{?}, \joption{*?}, \joption{??}, and \joption{\#} (as alias to
		\joption{judge=*} etc.).
	\item[\joption{fsjudge=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		Adjusts the font settings of the grammaticality judgment.
		Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
	\item[\joption{addjudgesep=\{\jparam{length}\}}] Default: \verb|{0pt}|.
		Increases or (with negative values) decreases the spacing between judgment mark and gloss
		(which amounts to 0.2\,em by default).
	\item[\joption{preamble=\{\jparam{arbitrary text}\}}] Arbitrary text that is inserted on an own line
	     before the interlinearized gloss. This might be useful, for instance, to give context information,
	     to specify the language or the source in case of cited glosses.
	     
	     The advantages over just adding a line manually above the gloss are that you can locally and globally
	     set the markup with the \joption{fspreamble} option, and that such lines are kept on the same page than
	     the gloss with the option \joption{noglossbreaks} (at least as long as preamble does not exceed one line). 
	     Furthermore, this option is the only way to add such text when the \joption{ex} option is used.

	\item[\joption{postamble=\{\jparam{arbitrary text}\}}] Arbitrary text that is appended to the translation line, but after
	     the closing quotation mark. This might be useful to add a footnote or some additional text to the translation
	     line, after the actual translation.
	\item[\joption{fspreamble=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		 Adjusts the font settings of the preamble line.
		 Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
	\item[\joption{fspostamble=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		 Adjusts the font settings of the postamble line.
		 Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
     \item[\joption{glosswidth=\{\jparam{length}\}}] Default: \verb|{0.6\textwidth}|.
		 Sets the maximum width the gloss takes if optional comments or \joption{tlr*=true} are used.
     \item[\joption{glosssep=\{\jparam{length}\}}] Default: \verb|{1em}|.
		 Sets space between gloss and optional comments, or between gloss and free translation in
		 case of \joption{tlr*=true}, respectively.
     \item[\joption{glosscommentwidth=\{\jparam{length}\}}] 
		 Sets the maximum width of gloss comments, or of free translation in case of \joption{tlr*=true},
		 respectively. By default this is automatically calculated from the above two lengths.
	\item[\joption{fscomments=\{\jparam{font settings}\}}] Default: \verb|{\normalfont\upshape}|.
		Adjusts the font settings of the gloss comments.
		Valid values are \LaTeX\ font switches such as \jfcsmacro{itshape}, \jfcsmacro{bfseries} etc.
\end{description}
%
If passed to a \jcsmacro{digloss} or \jcsmacro{trigloss} macro, the options will only apply to
this very gloss. If you want to make a permanent change, you can use the macro
\begin{lstlisting}[moretexcs={setglossoptions}]
\setglossoptions{<options>}
\end{lstlisting}
and pass either of the above options to it. This will apply to all subsequent glosses (until further global
change and unless the setting is altered locally via macro option).

\subsection{Glossing with low-level commands}\label{sec:glosscmds}

The gloss macros described above build on low-level commands\footnote{The commands are adapted
with permission from \texttt{gloss.tex}, by Marcel R. van der Goot.} which can also
be used directly (this was actually the only way up to \cvt\ 2.0 which introduced the macros).
Low-level commands can be useful if you want to do fancy things in a gloss.
Note, though, that using them also has limitations:
Some commands cannot be used inside macros (such as footnotes), and the markup is not done automatically
in all cases (as documented in what follows); furthermore, you cannot make use of the options the macros have.
Thus, we strongly suggest to use the macros,
unless you have very good reasons not to do that.

The following is a complete list of all low-level glossing commands:
\begin{description}\setlength\itemsep{0pt}
	\item[\jcsmacro{gll}] introduces two lines of words vertically aligned, and 
	      activates an environment very similar to \jfenv{flushleft}.
	      The two lines are separated by a normal line break (carriage return).
	      This is possible since the command makes the line-ending character active.
	      As a consequence, however, this command does not work inside macros
	      (such as \jfcsmacro{footnote}).
	\item[\jcsmacro{glll}] is like \jcsmacro{gll} except that it introduces
	      \emph{three} lines of lined-up words.
	\item[\jcsmacro{xgll}] is similar to \jcsmacro{gll} except that it does not make
	       the line ending active. It thus works inside macros such as footnotes but
	       requires explicit gloss line termination via \jcsmacro{xgle}.
	\item[\jcsmacro{xglll}] is similar to \jcsmacro{glll} except that it does not make
	      the line ending active. It thus works inside macros such as footnotes but
	      requires explicit gloss line termination via \jcsmacro{xgle}.
	\item[\jcsmacro{xgle}] is a gloss line ending marker to be used with \jcsmacro{xgll}
	      and \jcsmacro{xglll}.
	\item[\jcsmacro{glt}] ends the set of lined-up lines and introduces a line 
	      (or more) of translation. Note that this command does not markup the translation
	      line (no automatic enquoting). Also, it outputs an empty line if no text follows.
	\item[\jcsmacro{gln}] is like \jcsmacro{glt} but does not start a new line 
	      (useful when no translation follows but you want to put a number on the 
	       right).
	\item[\jcsmacro{glot\{\jparam{free translation}\}}] is an alternative to \jcsmacro{glt}
	     and a smarter way to insert a translation line. Other than \jcsmacro{glt}, it marks up
	     (by default: enquotes) the translation line. Also, it does not add an empty line if the
	     translation is empty. 
	     This macro also takes an optional argument where a judgment marker can be passed.
	     This is for nice alignment with the gloss lines if such a marker is used.
	     
	     The markup can be customized by redefining the following macro:
\begin{lstlisting}[moretexcs={glosslinetrans,covenquote,cov@fstl,ifcov@enquote@tl}]
\newcommand*\glosslinetrans[1]{%
	\bgroup\cov@fstl\ifcov@enquote@tl\covenquote{#1}\else#1\fi\egroup}
\end{lstlisting}
	     Note that for \jcsmacro{covenquote}, as used in the default definition, \cvt\ checks at
	     document begin whether the \textsf{csquotes} \cite{csquotes} package is loaded. If so,
	     it uses its language-sensitive \jcsmacro{enquote*} macro for enquoting the translation.
	     If not, a fallback quotation (using English single quotation marks) is used. The usage of
	     \textsf{csquotes} is highly recommended! 
	     
	     The \jcsmacro{ifcov@enquote@tl} boolean checks for the \joption{enquotetl} option of the gloss
	     macro. The macro \jcsmacro{cov@fstl} holds the font settings as set via the \joption{fstl} gloss option.
	     These are both relevant also for low-level commands if you set the respective options via
	     \jcsmacro{setglossoptions}.
	     
	     In general, please take care when redefining this macro that the functioning of some gloss environment
	     options relies on some of the macros contained in the default definition.
	\item[\jcsmacro{glosspreamble\{\jparam{arbitrary text}\}}] lets you enter text that is printed immediately
	     before the interlinearized gloss (on a line of its own). This might be useful, for instance,
	     to give context information, to specify the language or the source in case of cited glosses.
	     The advantages over just adding a line manually above the gloss are that you can globally set the markup
	     and that such lines are kept on the same page than the gloss with the option \joption{noglossbreaks}.
	     Note, however, that page breaks might occur if this text spans multiple lines.
	     In this case, you can wrap the whole gloss into a minipage.
	     This command has been introduced in \cvt\ 2.1.
	\item[\jcsmacro{glend}] ends the special \jfenv{flushleft}-like environment.
\end{description}
%
Using the low-level commands, the examples given in the previous section would be
coded as follows:
\begin{lstlisting}[moretexcs={gll,glt,glend}]
\gll Dit is een Nederlands voorbeeld. 
     This is a Dutch example. 
\glt `This is an example in Dutch.'
\glend
\end{lstlisting}
\begin{lstlisting}[moretexcs={gll,glt,glend}]
\gll Dit is een voorbeeldje     in het Nederlands
     This is a {little example} in {}  Dutch
\glt `This is a little example in Dutch.'
\glend
\end{lstlisting}
%
Observe that you need to markup (i.\,e., enquote) the translation line yourself if you use \jcsmacro{glt}.
This is not so if you use \jcsmacro{glot}:
\begin{lstlisting}[moretexcs={gll,glot,glend}]
\gll Dit is een Nederlands voorbeeld
     This is a Dutch example
\glot{This is an example in Dutch.}
\glend
\end{lstlisting}
%
The advantage of \jcsmacro{glot} is that you can easily customize the translation markup globally.
Also, \jcsmacro{glot} uses the language-sensitive \textsf{csquotes} \cite{csquotes} macros if
this package is loaded (see sec.~\ref{sec:gmacros}).

Since \jcsmacro{gll} and \jcsmacro{glll} locally activate the end of line in glosses in order to
identify the different lines of the gloss (via category code change), they do not work inside macros
(e.\,g., if the gloss is in a footnote). To work around this, special versions of the \jcsmacro{gll}
and \jcsmacro{glll} commands are provided that do without the character activation: \jcsmacro{xgll}
and \jcsmacro{xglll}, respectively.
These can also be used in macro arguments; however, the end of each gloss line needs to be explicitly
specified by the \jcsmacro{xgle} command in this case.
If you want to put the above gloss in a footnote, thus, you would type:
\begin{lstlisting}[moretexcs={xgll,xgle,glt,glend}]
\xgll Dit is een voorbeeldje     in het Nederlands.\xgle
      This is a {little example} in {}  Dutch.\xgle
\glt `This is a little example in Dutch.'
\glend
\end{lstlisting}
%
Note, again, that the macros described in sec.~\ref{sec:gmacros} do not have this problem.

To sum up: With low-level commands, every glossed sentence begins with either \jcsmacro{gll},
\jcsmacro{xgll}, \jcsmacro{glll} or \jcsmacro{xglll}, then contains either \jcsmacro{glt} or
\jcsmacro{gln}, and ends with \jcsmacro{glend}.
Layout is critical in the part preceding \jcsmacro{glt} or \jcsmacro{gln}, and fairly free afterward.


\subsection{Example glosses}\label{sec:glossex}

This section gives some further examples and showcases some options.
First, a sentence with three lines aligned, instead of just two:
\trigloss[fsii={\normalfont\scshape}]
         {Hoc est aliud exemplum}
         {n.sg.nom 3sg n.sg.nom n.sg.nom}
         {This is another example}
         {This is another example.}
In order to produce this, we use the \jcsmacro{trigloss} macro for a three-line gloss
and pass the \joption{fsii} option with the respective font switches in order to
get small capitals in the second line (\jcsmacro{normalfont} is needed here to
disable the italics set for the first line):
\begin{lstlisting}[moretexcs={trigloss},morekeywords=fsii]
\trigloss[fsii={\normalfont\scshape}]
         {Hoc est aliud exemplum}
         {n.sg.nom 3sg n.sg.nom n.sg.nom}
         {This is another example}
         {This is another example.}
\end{lstlisting}
%
Next, an example with a gloss but no translation, with an example number 
at the right:
\digloss[tlr]{Hoc habet numerum}
             {This has number}
             {(\exampleno)}
%
That one was typed using the option \joption{tlr}:
\begin{lstlisting}[moretexcs={digloss,exampleno},morekeywords=tlr]
\digloss[tlr]{Hoc habet numerum}
             {This has number}
             {(\exampleno)}
\end{lstlisting}
%
Third, we showcase the \joption{tlr*} option which is handy if
you want the free translation to the right:
\digloss[tlr*,glosscommentwidth={.6\textwidth}]
              {Tres faciunt collegium}
              {Three make society}
	          {Three persons constitute a group.}
%
This has been entered like this:
\begin{lstlisting}[moretexcs={digloss,exampleno},morekeywords={tlr,glosscommentwidth}]
\digloss[tlr*,glosscommentwidth={.6\textwidth}]
        {Tres faciunt collegium}
        {Three make society}
        {Three persons constitute a group.}
\end{lstlisting}
%
As you note, we also used the \joption{glosscommentwidth} option to
make the box which holds the translation line in this case a bit
wider (as the translation is rather long and the gloss itself rather short).

Now, we'll put a glossed sentence inside the \texttt{example} 
environment, which is a very common way of using it:
\digloss[ex]{Hoc habet numerum praepositum}
            {This has number preposed}
            {This one has a number in front of it.}
This last example was, of course, typed as:
\begin{lstlisting}[moretexcs={digloss},morekeywords=ex]
\digloss[ex]{Hoc habet numerum praepositum}
            {This has number preposed}
            {This one has a number in front of it.}
\end{lstlisting}
although you could also construct it manually as:
\begin{lstlisting}[moretexcs={digloss}]
\begin{example}
\digloss{Hoc habet numerum praepositum}
        {This has number preposed}
        {This one has a number in front of it.}
\end{example}
\end{lstlisting}
%
Here is an example that uses the \emph{Leipzig glossing rules} (\cite{leipzig},
cited example: p.~2) and also exemplifies the use of \joption{preamble}:
\digloss[ex, preamble={Lezgian (Haspelmath 1993:207)}]
            {Gila abur-u-n              ferma hamišalu\v{g} gü\v{g}üna amuq'-da-\v{c}.}
            {now  they-\textsc{obl-gen} farm  forever       behind     stay-\textsc{fut-neg}}
            {Now their farm will not stay behind forever.}
This has been input as follows:
\begin{lstlisting}[moretexcs={digloss},basicstyle={\footnotesize\ttfamily},
	               morekeywords={ex,preamble}]
\digloss[ex,preamble={Lezgian (Haspelmath 1993:207)}]
        {Gila abur-u-n              ferma hamišalu\v{g} gü\v{g}üna amuq'-da-\v{c}.}
        {now  they-\textsc{obl-gen} farm  forever       behind     stay-\textsc{fut-neg}}
        {Now their farm will not stay behind forever.}
\end{lstlisting}
%
Of course, you would use \jfcsmacro{cite} in a real document for the citation.
Also, if you adhere to the \emph{Leipzig glossing rules}, you might want to check out the \textsf{leipzig}
\LaTeX\ package \cite{leipzig-ltx} that facilitates the use of the gloss abbreviations that have
been entered and marked-up manually here.

Next, we showcase grammatical judgment. Similar to how this is done in examples, we
simply pass the respective \joption{judge} option or shorthand:
\begin{lstlisting}[moretexcs={digloss},basicstyle={\footnotesize\ttfamily},
	               alsoletter={??}, morekeywords={ex,??}]
\digloss[ex,??]
  {Hier werden                           Sie                  geholfen!}
  {Here become.\textsc{aux.pass.2sg.pst} you.\textsc{2sg.acc} help.\textsc{pass.ptcp}}
  {Here you will be helped!}
\end{lstlisting}
%
resulting in:
\digloss[ex,??]{Hier werden                           Sie                  geholfen!}
               {Here become.\textsc{aux.pass.2sg.pst} you.\textsc{2sg.acc} help.\textsc{pass.ptcp}}
               {You will be helped here!}
%
Gloss line comments allow you to set arbitrary text right to specific gloss lines, as in:
\digloss[ex]{Gut Ding will Weile haben}[(German proverb)]
            {Good thing want while have}
            {Slow and steady wins the race}
%
This was typed in with the help of the optional gloss arguments:
\begin{lstlisting}[moretexcs={digloss},basicstyle={\footnotesize\ttfamily}, morekeywords={ex}]
\digloss[ex]{Gut Ding will Weile haben}[(German proverb)]
            {Good thing want while have}
            {Slow and steady wins the race}
\end{lstlisting}
%
The final example exemplifies the use of \joption{postamble}. In what follows we add a footnote to the
translation line, but outside the translation (as marked-up by quotation marks):
\digloss[ex, postamble={\footnote{Yes, really!}}]
		{Mein Luftkissenboot ist voller    Aale}
		{My   hovercraft     is  {full of} eels}
		{Do you have matches?}
This has been input as follows:
\begin{lstlisting}[moretexcs={digloss},basicstyle={\footnotesize\ttfamily},
	               morekeywords={ex,postamble}]
\digloss[ex, postamble={\footnote{Yes, really!}}]
        {Mein Luftkissenboot ist voller    Aale}
        {My   hovercraft     is  {full of} eels}
        {Do you have matches?}
\end{lstlisting}

\section{Phrase structure rules}

To print phrase structure rules such as \psr{S}{NP~VP} you can use \texttt{covington's} macro
\jcsmacro{psr\{\jparam{constituent}\}\{\jparam{sub-constituents}\}} (for the given example,
\lstinline[moretexcs={psr}]"\psr{S}{NP~VP}").

\section{Feature structures}

To print a feature structure such as
\begin{flushleft}
\fs{case:nom \\ person:P}
\end{flushleft}
you can type:
\begin{lstlisting}[moretexcs={fs}]
\fs{case:nom \\ person:P}
\end{lstlisting}

The feature structure can appear anywhere -- in continuous text, in a
displayed environment such as \jfenv{flushleft}, or inside a
phrase-structure rule, or even inside another feature structure.

To put a category label at the top of the feature structure, like this,
\begin{flushleft}
\lfs{N}{case:nom \\ person:P}
\end{flushleft}
here's what you type:
\begin{lstlisting}[moretexcs={lfs}]
\lfs{N}{case:nom \\ person:P}
\end{lstlisting}
And here is an example of a \textsc{ps}-rule made of labeled feature structures:
\begin{flushleft}
\psr{\lfs{S}{tense:T}}
    {\lfs{NP}{case:nom \\  number:N}
     \lfs{VP}{tense:T \\ number:N} }
\end{flushleft}
which was obviously coded as:
\begin{lstlisting}[moretexcs={lfs,psr}]
\psr{\lfs{S}{tense:T}}
    {\lfs{NP}{case:nom \\  number:N}
     \lfs{VP}{tense:T \\ number:N} }
\end{lstlisting}


\section{Discourse Representation Structures}\label{sec:drs}

Several macros in \cvt\ facilitate display of \emph{Discourse Representation Structures}
(\textsc{drs}es) in the box notation introduced by Hans Kamp \cite{kamp}.
The simplest one is \jcsmacro{drs}, which takes two arguments:
a list of discourse variables joined by \verb"~", and a list of \textsc{drs} 
conditions separated by \verb"\\".  Nesting is permitted.  

Note that the \jcsmacro{drs} macro itself does not give you a displayed environment; you 
must use \jfenv{flushleft} or the like to display the \textsc{drs}.

\medskip
\noindent Here are some examples:

\begin{lstlisting}[moretexcs={drs}]
\begin{flushleft}
  \drs{X}
      {
       donkey(X)\\
       green(X)
      }
\end{flushleft}
\end{lstlisting}
%
prints as:
\begin{flushleft}
\drs{X}
    {
     donkey(X)\\
     green(X)
    }
\end{flushleft}

\medskip

\begin{lstlisting}[moretexcs={drs}]
\begin{flushleft}
  \drs{X}
      {
       named(X,`Pedro')\\
       \drs{Y}
           {
            donkey(Y)\\
            owns(X,Y)
           }
       ~~{\large $\Rightarrow$}~
       \drs{~}
           {feeds(X,Y)}
      }
\end{flushleft}
\end{lstlisting}
%
comes out as:
\begin{flushleft}
  \drs{X}
      {
       named(X,`Pedro')\\
	   \drs{Y}
	       {
	       	donkey(Y)\\
	       	owns(X,Y)
       	   }
	   ~~{\large $\Rightarrow$}~
	   \drs{~}
	   {feeds(X,Y)}
      }
\end{flushleft}
%
Note that the alignment of the input is fairly free, so you can also write the
two arguments of \jcsmacro{drs} in one line, like:
\begin{lstlisting}[moretexcs={drs}]
\drs{X}{donkey(X)\\green(X)}
\end{lstlisting}

\medskip
\noindent To display a sentence above the \textsc{drs}, use \jcsmacro{sdrs}, which has one
extra argument for this purpose, as in:
\begin{lstlisting}[moretexcs={sdrs}]
\begin{flushleft}
  \sdrs{A donkey is green.}
       {X}
       {donkey(X)\\green(X)}
\end{flushleft}
\end{lstlisting}
which prints as:
%
\begin{flushleft}
	\sdrs{A donkey is green.}{X}{donkey(X)\\green(X)}
\end{flushleft}
%
Some \textsc{drs} connectives are also provided (normally for forming
\textsc{drs}es that are to be nested within other \textsc{drs}es).
The macro \jcsmacro{negdrs} forms a \textsc{drs} preceded by a negation symbol, so
\begin{lstlisting}[moretexcs={negdrs}]
\negdrs{X}
       {
        donkey(X)\\
        green(X)
       }
\end{lstlisting}
%
comes out as
%
\begin{flushleft}
\negdrs{X}{donkey(X)\\green(X)}
\end{flushleft}
Finally, \jcsmacro{ifdrs} forms a pair of \textsc{drs}es joined by a big arrow,
like this:
\begin{lstlisting}[moretexcs={ifdrs}]
\ifdrs{X}
      {
       donkey(X)\\
       hungry(X)
      }
      {~}
      {feeds(Pedro,X)}
\end{lstlisting}
\begin{flushleft}
\ifdrs{X}{donkey(X)\\hungry(X)}
      {~}{feeds(Pedro,X)}
\end{flushleft}
If you have an ``if''-structure appearing among ordinary predicates 
inside a \textsc{drs}, you may prefer to use \jcsmacro{alifdrs}, which is just like 
\jcsmacro{ifdrs} but shifted slightly to the left for better alignment:
\begin{flushleft}
\alifdrs{X}{donkey(X)\\hungry(X)}
        {~}{feeds(Pedro,X)}
\end{flushleft}

\medskip
\noindent Note that for more extended \textsc{drs} representations, dedicated packages are meanwhile available,
most notably the \textsf{drs} \cite{drs} and the \textsf{sdrt} \cite{sdrt} package.
Both packages actually draw on \cvt, add some additional features and, in some cases, tweak the layout to
(what strikes those package authors) the better. If the rather basic \textsc{drs} macros provided by \cvt\
do not suit you, please check if one of those packages does.

Note, though, that while \textsf{sdrt} introduces new (capitalized) macro naming which lets the package peacefully
coexist with \cvt, \textsf{drs} simply re-uses \cvt's macro names, which makes the two packages incompatible.
In order to fix this, \cvt\ checks whether the \textsc{drs} macros are already defined when it is loaded; if so, it does not define its own ones.
So if you want to use the \textsc{drs} macros of the \textsf{drs} package together with \cvt's non-\textsc{drs} features, you can do so,
provided that \textsf{drs} is loaded \emph{before} \cvt. In that case, \cvt's own \textsc{drs} macros are disabled.

\section{Exercises}\label{sec:exercises}

The \jenv{exercise} environment (alias \jenv{covexercise}) generates an exercise numbered according 
to chapter, section, and subsection (suitable for use in a large book; 
in this example, the subsection number is going to come out as 0). Here is an example:
\begin{exercise}[Project]
Prove that the above assertion is true.
\end{exercise}
This was coded as
\begin{lstlisting}
\begin{exercise}[Project]
Prove that the above assertion is true.
\end{exercise}
\end{lstlisting}
The argument (\verb"[Project]" in the example) is optional.

Note that, as of version 1.1, \cvt\ checks if there is already an \jenv{exercise} environment
defined (e.\,g., by the class). If so, \cvt\ does not define its own one. However, there is always
the alias environment \jenv{covexercise} which can be used in order to produce \texttt{covington's} exercise.
If you use the package option \joption{force}, \cvt\ will override existing \jenv{exercise}
environments. In any case, the package will issue a warning if \jenv{exercise} is already defined.

\section{Reference Lists}\label{sec:reflists}

To type a simple \textsc{lsa}-style hanging-indented reference list, you can use the \jenv{reflist}
environment.  (\emph{Note:} \jenv{reflist} is not integrated with Bib\TeX\ in any way.%
\footnote{For Bib\TeX, there are several options: the \textsc{lsa} style, as used in the journal \emph{Language},
can be obtained by means of the style files \texttt{lsalike.bst}
(\url{http://www.icsi.berkeley.edu/ftp/pub/speech/jurafsky/lsalike.bst}) or \texttt{language.bst}
(\url{http://ron.artstein.org/resources/language.bst}); the latter uses \texttt{natbib}.
The so-called \emph{Unified Style Sheet for Linguistics}, as proposed by the \textsc{cel}x\textsc{j}
(\emph{Committee of Editors of Linguistics Journals}), which slightly differs from the \textsc{lsa} style,
is followed by the style file \texttt{unified.bst} (available at \url{http://celxj.org/downloads/unified.bst}).
A \texttt{biblatex} style file for the unified style is available at
\url{https://github.com/semprag/biblatex-sp-unified} or on \textsc{ctan} as part of the \textsf{univie-ling} bundle.})  For example,
\begin{lstlisting}
\begin{reflist}
Barton, G. Edward; Berwick, Robert C.; and Ristad, Eric Sven.  1987.
Computational complexity and natural language.  Cambridge, 
Massachusetts: MIT Press.

Chomsky, Noam.  1965.  Aspects of the theory of syntax.  Cambridge,
Massachusetts: MIT Press.

Covington, Michael.  1993.  Natural language processing for Prolog
programmers.  Englewood Cliffs, New Jersey: Prentice-Hall.
\end{reflist}
\end{lstlisting}
prints as:
\begin{reflist}
Barton, G. Edward; Berwick, Robert C.; and Ristad, Eric Sven.  1987.
Computational complexity and natural language.  Cambridge, 
Massachusetts: MIT Press.

Chomsky, Noam.  1965.  Aspects of the theory of syntax.  Cambridge,
Massachusetts: MIT Press.

Covington, Michael A.  1993.  Natural language processing for Prolog 
programmers.  Englewood Cliffs, New Jersey: Prentice-Hall.
\end{reflist}
By default, the references have a hanging indentation of 3\,em. This can
be globally changed by altering the length \jcsmacro{reflistindent}.
Doing \lstinline|\setlength\reflistindent{1.5em}|, for instance,
will shorten the indentation by half. Likewise, the length \jcsmacro{reflistitemsep}
(6\,pt by default) and \jcsmacro{reflistparsep} (ca. 4\,pt by default) can be adjusted
to alter the vertical separation (\jfcsmacro{itemsep} and \jfcsmacro{parsep}, for that
matter) of reference entries.

Notice that within the reference list, ``French spacing'' is in effect 
--- that is, spaces after periods are no wider than normal spaces. Thus 
you do not have to do anything special to avoid excessive space after 
people's initials.


\section{Semantic markup}\label{sec:markup}

The macro \jcsmacro{sentence} displays an italicized sentence (it is a 
combination of \jfenv{flushleft} and \jfmacro{itshape}).  If you type
\begin{lstlisting}[moretexcs={sentence}]
\sentence{This is a sentence.}
\end{lstlisting}
you get:
\sentence{This is a sentence.}
%
The font shape can be modified by redefining the following macro:
\begin{lstlisting}[moretexcs={sentencefs}]
\newcommand*\sentencefs{\itshape}
\end{lstlisting}
%
The following macros provide further markup options common in linguistics:

\begin{itemize}
	\item \lstinline[moretexcs={lexp}]|\lexp{word}| is used to mark word forms
	      (italic by default, as in \lexp{word})
	\item \lstinline[moretexcs={lcon}]|\lcon{concept}| is used to mark concepts
	       (small caps by default, as in \lcon{concept})
	\item \lstinline[moretexcs={lmean}]|\lmean{meaning}| is used to mark meaning
	      (single quotes by default, as in \lmean{meaning})
\end{itemize}
%
Note that for \jcsmacro{lmean}, \cvt\ checks at document begin whether the \textsf{csquotes}
\cite{csquotes} package is loaded. If so, it uses its language-sensitive \jcsmacro{enquote*}
macro for quoting. If not, a fallback quotation (using English single quotation marks) is used.
The usage of \textsf{csquotes} is highly recommended!

Here are the definitions of the macros. They can be redefined via \jcsmacro{renewcommand}:
\begin{lstlisting}[moretexcs={providecommand,lexp,lcon,lmean,covenquote}]
\providecommand*\lexp[1]{\textit{#1}}
\providecommand*\lcon[1]{\textsc{#1}}
\providecommand*\lmean[1]{\covenquote{#1}}
\end{lstlisting}
%

\section{Big curly brackets (disjunctions)}

Last of all, the two-argument macro \jcsmacro{either} expresses alternatives
within a sentence or \textsc{ps}-rule:
\begin{flushleft}
\lstinline[moretexcs={either}]"the \either{big}{large} dog" $=$ the \either{big}{large} dog \\
\end{flushleft}
\begin{flushleft}
\lstinline[moretexcs={either,psr}]"\psr{A}{B~\either{C}{D}~E} " $=$ \psr{A}{B~\either{C}{D}~E}
\end{flushleft}
%
That's all there is for now.
Suggestions for improving \cvt\ are welcome, and bug
reports are actively solicited (via \url{https://github.com/jspitz/covington}).  Please note, however, that this is free
software, and the authors make no commitment to do any further work on 
it.

\section{Release history}

\subsection*{2.14 (2023 December 11)}
\begin{itemize}
	\item Add \jcsmacro{ownexcounterprep} macro to add a prefix (e.g., the chapter)
	      to the (owncounter) example counter. See sec.~\ref{sec:cbc}.
	\item Document how to (not) number examples per chapter.
\end{itemize}

\subsection*{2.13 (2023 December 2)}
\begin{itemize}
	\item Fix example numbering with chapters.
\end{itemize}

\subsection*{2.12 (2023 June 25)}
\begin{itemize}
	\item Fix issue with redefinitions of \jcsmacro{glosslineone}\slash\jcsmacro{glosslinetwo}\slash
	      \jcsmacro{glosslinethree}, which could get lost along the text.
\end{itemize}

\subsection*{2.11 (2023 June 17)}
\begin{itemize}
	\item Add support for judgment markers in examples and glosses.
	\item Add support for customization of spacing between gloss lines.
	\item Add support for gloss comment lines via optional arguments.
	\item Add support for translation lines on the right side of glosses
	      (via new \joption{tlr*} option).
\end{itemize}

\subsection*{2.10 (2023 June 2)}
\begin{itemize}
	\item Use \LaTeXe's own keyval mechanism rather than \textsf{xkeyval}.
	\item Introduce a better interface to customize the appearance of examples. Now everything can
	      be easily adjusted globally and locally via key-val options. This entails the following changes:
	      \begin{itemize}
	      	\item Allow to globally set example options via the new macro \jcsmacro{setexampleoptions}.
	      	\item Add way to customize example and subexample number format (see sec.~\ref{sec:subexs}).
	      	\item Add new example options: \joption{fs}, \joption{fsno}, \joption{fspreamble}, \joption{fspostamble},
			      \joption{leftmargin}, \joption{addnumbersep}, \joption{addsubnumbersep}, \joption{numberformat},
			      \joption{subnumberformat}, as well as \joption{fnnumberformat} (see sec.~\ref{sec:ex}).
	      \end{itemize}
	\item Add new gloss options: \joption{fspreamble}, \joption{fspostamble}, \joption{fstl},
	      and \joption{enquotetl}. This allows for full customization of glosses via options,
	      both locally and globally (see sec.~\ref{sec:gloss}).
	\item Package options now all have a key-value format as well.
	\item Introduce new package choice-option \joption{fnexamplecounter} that
	      supersedes the two boolean, mutually exclusive options \joption{ownfncounter}
	      and \joption{ownfncounter*} (which are still supported for backwards
	      compatibility reasons).
	\item Major documentation revisions.
\end{itemize}

\subsection*{2.9 (2023 May 26)}
\begin{itemize}
	\item Add \joption{postamble} and \joption{postamble*} options to \jenv{example} and \jenv{subexamples} environment
	      (sec.~\ref{sec:exs} and \ref{sec:subexs}).
	\item Add \jcsmacro{expreamble}, \jcsmacro{subexpreamble}, \jcsmacro{expostamble} and \jcsmacro{subexpostamble}
	      macros (sec.~\ref{sec:exs} and \ref{sec:subexs}).
	\item Some documentation fixes.
\end{itemize}

\subsection*{2.8 (2022 August 30)}

\begin{itemize}
	\item Add \joption{ownfncounter} and \joption{ownfncounter*} options to allow for separate counting of examples
	in footnotes. The starred option resets the counter at each footnote. See sec.~\ref{sec:intro}.
	\item Add \joption{preamble} option to \jenv{example} environment. See sec.~\ref{expl}.
\end{itemize}

\subsection*{2.7 (2021 September 1)}

\begin{itemize}
\item Add \joption{postamble} gloss macro option for arbitrary text that is appended to the free
      translation line (after closing quotation marks). See sec.~\ref{sec:gmacros}.
\item Add \jcsmacro{glosslinepostamble} command to markup this text.
\end{itemize}

\subsection*{2.6 (2021 May 19)}

\begin{itemize}
	\item New length \jcsmacro{exampleind} to adjust (increase/decrease)
	      the indentation (left margin) of examples.
	      See sec.~\ref{sec:ex} for details.
\end{itemize}

\subsection*{2.5 (2021 March 21)}

\begin{itemize}
	\item Fix metrics of stacked diacritics with XeTeX/LuaTeX.
\end{itemize}


\subsection*{2.4 (2020 January 2)}

\begin{itemize}
	\item Fix definition of covexercise theorem when no subsection counter is defined.
\end{itemize}

\subsection*{2.3 (2019 June 21)}

\begin{itemize}
	\item Add preamble option to subexamples environment. See sec.~\ref{sec:subexs}.
	\item Allow to use \cvt\ together with the \textsf{drs} package.
	\item Documentation fixes and restructuring.
\end{itemize}

\subsection*{2.2 (2019 June 4)}

\begin{itemize}
	\item Add new option \joption{owncounter} that makes \cvt\ use an own counter for examples (rather than the equation counter).
	\item Add starred \jcsmacro{exampleno*} command that outputs the current example number value without stepping it.
	      See sec.~\ref{sec:exno}.
	\item Add macros \jcsmacro{covexamplefs} and \jcsmacro{covexamplenofs} for global setting of example text markup.
\end{itemize}

\subsection*{2.1 (2019 May 12)}

\begin{itemize}
	\item Add new option \joption{noglossbreaks} that tries to prevent page breaks within glosses.
	\item Add \jcsmacro{glosspreamble} command and \joption{preamble} gloss macro option for arbitrary text preceding glosses.
\end{itemize}

\subsection*{2.0 (2018 December 10)}

\begin{itemize}
	\item Add new gloss macros (\jcsmacro{digloss} and \jcsmacro{trigloss})
	      for a more convenient, flexible and robust gloss insertion. See sec.~\ref{sec:gmacros}.
	\item Add \jcsmacro{glot} command for customizable gloss translation line, together with customization possibilities.
	      See sec.~\ref{sec:glosscmds}.
	\item Add possibility to customize \jcsmacro{sentence} font setting. See sec.~\ref{sec:markup}.
	\item Add \jcsmacro{lexp}, \jcsmacro{lcon} and \jcsmacro{lmean} markup macros. See sec.~\ref{sec:markup}.
\end{itemize}

\subsection*{1.8 (2018 December 7)}

\begin{itemize}
	\item Fix font markup of second gloss line (do not force rm).
	\item Add possibility to customize gloss line font setting. See sec.~\ref{sec:ex}.
	\item Add possibility to customize example number display. See sec.~\ref{sec:ex}.
\end{itemize}

\subsection*{1.7 (2018 September 8)}

\begin{itemize}
	\item Fix alignment in \jenv{subexamples}.
	\item Improve manual.
\end{itemize}

\subsection*{1.6 (2018 September 7)}

\begin{itemize}
	\item Introduce new environment \jenv{subexamples} (see sec.~\ref{sec:subexs}).
	\item Introduce new command \jcsmacro{pxref} (see sec.~\ref{sec:ref}).
\end{itemize}

\subsection*{1.5 (2018 August 24)}

\begin{itemize}
	\item Introduce new option \joption{keeplayout} which allows to opt-out the
	      layout presettings \cvt\ does (\jfcsmacro{raggedbottom}, \jfcsmacro{textfloatsep}).
\end{itemize}

\subsection*{1.4 (2017 May 23)}

\begin{itemize}
	\item Introduce a new macro \jcsmacro{twodias} that supersedes the rather odd \jcsmacro{twoacc}
	      (which is kept for backwards compatibility). See sec.~\ref{sec:accents} for details.
	\item Introduce macro \jcsmacro{SetDiaOffset} for more convenient setting of vertical distance
	      in stacked diacritics. See sec.~\ref{sec:accents} for details.
	\item \LaTeX\ 2.09 is no longer officially supported (it might continue to work, but is not
	      tested).
\end{itemize}

\subsection*{1.3 (2017 April 5)}

\begin{itemize}
	\item Gloss variants \jcsmacro{xgll} and \jcsmacro{xglll} that work
	      inside macros (such as footnotes) but require explicit gloss
	      line end markers (\jcsmacro{xgle}). See sec.~\ref{sec:gloss} for details.
	\item New lengths \jcsmacro{reflistindent}, \jcsmacro{reflistparsep} and
	      \jcsmacro{reflistitemsep} to globally adjust the indentation or vertical
	      space, respectively, of reflist items.
	      See sec.~\ref{sec:reflists} for details.
\end{itemize}

\subsection*{1.2 (2016 August 26)}

\begin{itemize}
	\item New length \jcsmacro{examplenumbersep} to adjust (increase) the horizontal space
	between example number and example text. See sec.~\ref{sec:ex} for details.
	\item Add some more info about bibliography generation.
\end{itemize}

\subsection*{1.1a (2016 July 7)}

\begin{itemize}
	\item Fix encoding problem in documentation and some typos. No change in functionality.
\end{itemize}

\subsection*{1.1 (2016 July 6)}

\begin{itemize}
	\item The package now uses \textsc{nfss} font commands if available (fallback for \LaTeX\ 2.09 is still provided).
	\item Work around clash with classes\slash packages that define their own \jenv{example} and
               \jenv{examples} environments (most notably the \texttt{beamer} class) as well as \jenv{execise} environments.
               The \cvt\ package no longer blindly attempts to define these environments. By default, it does not
               define them if they are already defined (\texttt{covington's} own environments, however, are still available via aliases).
               By means of a new package option, a redefinition can also be forced.  See sec.~\ref{sec:ex} and \ref{sec:exs} for details.
	\item New length \jcsmacro{twoaccsep} allows for the adjustment of the distance between stacked accents (see sec.~\ref{sec:accents}).
	\item Update manual.
	\item New maintainer: J. Spitzm\"uller.
	\item License has been changed to \textsc{lppl} (in agreement with M. Covington)
	\item Introduce version numbers. Arbitrarily, we start with 1.1.
\end{itemize}

\subsection*{2014 May 16}

\begin{itemize}
	\item Patches by Robin Fairbairns:
	\begin{itemize}
		\item Setting of \jfcsmacro{textfloatsep} uses \jfcsmacro{setlength} rather than \jfcsmacro{renewcommand}
		\item Style file converted to un*x line endings
	\end{itemize}
\end{itemize}

\subsection*{2001 March 27}

\begin{itemize}
	\item It is no longer necessary to type \jfcsmacro{it} to get proper italic type in feature structures.
	\item Instructions have been rewritten with \LaTeXe\ users in mind.
\end{itemize}

\subsection*{Older versions}

\begin{itemize}
	\item Multiple accents on a single letter (e.\,g., \emph{\acm{a}}) are supported.
	\item This package is now called \cvt\ (with the o)
	and is compatible with \LaTeXe\ and \textsc{nfss} as well as \LaTeX\ 2.09.
	\item The vertical placement of labeled feature structures has 
	been changed
	so that the category labels line up regardless of the size of
	the structures.
\end{itemize}

\begin{thebibliography}{99}
	\bibitem{leipzig} Bickel, Balthasar, Bernard Comrie, and Martin Haspelmath:
		\emph{The Leipzig glossing rules: Conventions for interlinear morpheme
		by morpheme glosses}. Revised version of February 2008. Department
		of Linguistics, Max Plank Institute for Evolutionary Anthropology.
		\url{http://www.eva.mpg.de/lingua/resources/glossing-rules.php}.
	\bibitem{enumerate} Carlisle, David: \emph{The enumerate package}. July 23, 2015.
	    \url{https://www.ctan.org/pkg/enumerate}.
	\bibitem{drs} Dimitriadis, Alexis: \emph{drs -- Typeset Discourse Representation Structures (DRS)}.
	     June 10, 2010. \url{https://ctan.org/pkg/drs}.
	\bibitem{sdrt} Isambert, Paul: \emph{sdrt -- Macros for Segmented Discourse Representation Theory}.
	     May 13, 2007. \url{https://ctan.org/pkg/sdrt}.
	\bibitem{kamp} Kamp, Hans: A Theory of Truth and Semantic Representation.
	      In Jeroen A.\,G. Groenendijk, Theo M.\,V. Janssen, and Martin J.\,B. Stokhof (eds.):
	      Formal Methods in the Study of Language. Amsterdam: Mathematics Center, 1981, 277--322.
	\bibitem{csquotes} Lehman, Philipp and Joseph Wright:
	    \emph{csquotes: Context sensitive quotation facilities}. April 4, 2018.
	    \url{https://www.ctan.org/pkg/csquotes}.
	\bibitem{pakin} Pakin, Scott: The Comprehensive \LaTeX\ Symbol List.
	     November 30, 2015. \url{https://www.ctan.org/pkg/comprehensive}.
	\bibitem{leipzig-ltx} Weber, Nathalie: \emph{leipzig: Typeset and index linguistic
	     gloss abbreviations}. June 16, 2017. \url{https://ctan.org/pkg/leipzig}.
\end{thebibliography}

\end{document}

