GitHub/gf-rgl
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-10-26 09:43:19 -06:00
Code Issues Packages Projects Releases Wiki Activity

arranging argument type layout in COnstructors

Browse Source
This commit is contained in:
aarne committed 2007-05-31 15:21:34 +00:00
1 parent 49c6f32e4d
commit 7fb7a2318e
1 file changed
+7 -7
Download Patch File Download Diff File Expand all files Collapse all files
resource-1.0/api/Constructors.gf
+7 -7
View File
@@ -71,13 +71,13 @@ incomplete resource Constructors = open Grammar in {
--2 Sentences, and clauses
mkS : overload {
mkS : Cl -> S ; -- John walks
mkS : Tense -> Cl -> S ; -- John walked
mkS : Ant -> Cl -> S ; -- John has walked
mkS : Pol -> Cl -> S ; -- John doesn't walk
mkS : Tense -> Ant -> Cl -> S ; -- John had walked
mkS : Tense -> Pol -> Cl -> S ; -- John didn't walk
mkS : Ant -> Pol -> Cl -> S ; -- John hasn't walked
mkS : Cl -> S ; -- John walks
mkS : Tense -> Cl -> S ; -- John walked
mkS : Ant -> Cl -> S ; -- John has walked
mkS : Pol -> Cl -> S ; -- John doesn't walk
mkS : Tense -> Ant -> Cl -> S ; -- John had walked
mkS : Tense -> Pol -> Cl -> S ; -- John didn't walk
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