X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week5_system_F.mdwn;h=76725d65c823c90eff55286d05ab827660bf3a88;hp=24f0dad0e00c5c111ead11bc2e543e1d5b19b231;hb=6338e2431dd0efb7b1277071f645854f97675a3d;hpb=114bb41bc1654608633596c9fe426e01bff98913

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.