diff --git a/lib/src/abstract/Extra.gf b/lib/src/abstract/Extra.gf
index 3db7aa6a6..855199d30 100644
--- a/lib/src/abstract/Extra.gf
+++ b/lib/src/abstract/Extra.gf
@@ -82,4 +82,8 @@ abstract Extra = Cat ** {
 
     ExistsNP : NP -> Cl ;  -- there exists a number / there exist numbers
 
+-- infinitive for purpose AR 21/8/2013
+
+    PurposeVP : VP -> Adv ;  -- to become happy
+
 }
diff --git a/lib/src/english/ExtraEng.gf b/lib/src/english/ExtraEng.gf
index 70bb5ea16..f7a35cff2 100644
--- a/lib/src/english/ExtraEng.gf
+++ b/lib/src/english/ExtraEng.gf
@@ -174,6 +174,8 @@ lin
       mkClause "there" (agrP3 (fromAgr np.a).n) 
         (insertObj (\\_ => np.s ! NPAcc) (predV (regV "exist"))) ;
 
+   PurposeVP vp = {s = infVP VVInf vp Simul CPos (agrP3 Sg)} ; --- agr
+
 ------------
 --- obsolete: use UncNeg : Pol