diff --git a/lib/resource-1.0/api/Constructors.gf b/lib/resource-1.0/api/Constructors.gf
index f2290bbfa..10bb8c953 100644
--- a/lib/resource-1.0/api/Constructors.gf
+++ b/lib/resource-1.0/api/Constructors.gf
@@ -71,11 +71,11 @@ incomplete resource Constructors = open Grammar in {
mkS : overload {
mkS : Cl -> S ; -- John walks
mkS : Tense -> Cl -> S ; -- John walked
- mkS : Ant -> Cl -> S ; -- John is walking
+ mkS : Ant -> Cl -> S ; -- John has walked
mkS : Pol -> Cl -> S ; -- John doesn't walk
- mkS : Tense -> Ant -> Cl -> S ; -- John was walking
+ mkS : Tense -> Ant -> Cl -> S ; -- John had walked
mkS : Tense -> Pol -> Cl -> S ; -- John didn't walk
- mkS : Ant -> Pol -> Cl -> S ; -- John isn't walking
+ mkS : Ant -> Pol -> Cl -> S ; -- John hasn't walked
mkS : Tense -> Ant -> Pol -> Cl -> S ; -- John wouldn't have walked
mkS : Conj -> S -> S -> S ; -- John walks and Mary talks
mkS : DConj -> S -> S -> S ; -- either I leave or you come
diff --git a/lib/resource-1.0/doc/gfdoc/Constructors.html b/lib/resource-1.0/doc/gfdoc/Constructors.html
index 00369c663..c5662a61a 100644
--- a/lib/resource-1.0/doc/gfdoc/Constructors.html
+++ b/lib/resource-1.0/doc/gfdoc/Constructors.html
@@ -6,7 +6,7 @@
Constructors: the High-Level Syntax API
-Last update: 2007-05-07 14:48:26 CEST
+Last update: 2007-05-09 17:49:53 CEST
@@ -120,11 +120,11 @@ to this.
mkS : overload {
mkS : Cl -> S ; -- John walks
mkS : Tense -> Cl -> S ; -- John walked
- mkS : Ant -> Cl -> S ; -- John is walking
+ mkS : Ant -> Cl -> S ; -- John has walked
mkS : Pol -> Cl -> S ; -- John doesn't walk
- mkS : Tense -> Ant -> Cl -> S ; -- John was walking
+ mkS : Tense -> Ant -> Cl -> S ; -- John had walked
mkS : Tense -> Pol -> Cl -> S ; -- John didn't walk
- mkS : Ant -> Pol -> Cl -> S ; -- John isn't walking
+ mkS : Ant -> Pol -> Cl -> S ; -- John hasn't walked
mkS : Tense -> Ant -> Pol -> Cl -> S ; -- John wouldn't have walked
mkS : Conj -> S -> S -> S ; -- John walks and Mary talks
mkS : DConj -> S -> S -> S ; -- either I leave or you come