From: chris <chris@web>
Date: Thu, 26 Feb 2015 18:42:15 +0000 (-0500)
Subject: (no commit message)
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=3af99fcb0e8ee0724d5fdb7bd7c30155d4bc6e78

---

diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn
index 24f0dad0..76725d65 100644
--- a/topics/_week5_system_F.mdwn
+++ b/topics/_week5_system_F.mdwn
@@ -259,7 +259,7 @@ Hendriks' 1992:74 dissertation, generalized coordination is
 implemented as a method for generating a suitable set of translation
 rules, which are in turn expressed in a simply-typed grammar.
 
-There is some work using System F to express generalization about
+There is some work using System F to express generalizations about
 natural language: Ponvert, Elias. 2005. Polymorphism in English Logical
 Grammar. In *Lambda Calculus Type Theory and Natural Language*: 47--60.