Added missing space in Constructors.gf whose absence introduced an extra space in the library synopsis.

This commit is contained in:
bjorn
2008-08-29 08:41:38 +00:00
parent 1919fe99a6
commit 27fdc19b20
3 changed files with 9 additions and 22 deletions

View File

@@ -358,7 +358,7 @@ incomplete resource Constructors = open Grammar in {
mkNP : Art N -> NP ; -- 1. the man
mkNP : Art -> (Num) -> CN -> NP ; -- 2. the five old men
mkNP : Quant -> N -> NP ; -- 3. this men
mkNP : Quant -> (Num) -> CN -> NP; -- 4. these five old men
mkNP : Quant -> (Num) -> CN -> NP ; -- 4. these five old men
mkNP : Det -> N -> NP ; -- 5. the first man
mkNP : Det -> CN -> NP ; -- 6. the first old man
mkNP : Numeral -> N -> NP ; -- 7. twenty men