typo

nlsem-framework/note.tex

@@ -36,7 +36,7 @@ Natural language semantics studies systems that represent and compute the meanin
 natural language utterances. It focuses on models that can predict the truth conditions of
 an utterance $u$, i.e. for all possible contexts $C$ of $u$, it can predict whether $C(u)$
 is valid. Following the ``\defemph{method of fragments}'' introduced in Montague's seminal
-paper ``\emph{The proper Treatment of Quantifiers in ordinary Emnglish}''
+paper ``\emph{The proper Treatment of Quantifiers in ordinary English}''
 (PTQ~\cite{Montague:tptoqi73}) such models usually involve
 \begin{compactenum}
 \item a \defemph{grammar formalism} $G$ that determines a natural language fragment and