diff options
Diffstat (limited to 'old-examples/regulus/toy0/Toy0I.gf')
| -rw-r--r-- | old-examples/regulus/toy0/Toy0I.gf | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/old-examples/regulus/toy0/Toy0I.gf b/old-examples/regulus/toy0/Toy0I.gf new file mode 100644 index 000000000..efb6e730a --- /dev/null +++ b/old-examples/regulus/toy0/Toy0I.gf @@ -0,0 +1,18 @@ +incomplete concrete Toy0I of Toy0 = open Syntax, Lexicon in { + +lincat + Spec = Det ; + Noun = N ; + NP = Utt ; + +lin + SpecNoun spec noun = mkUtt (mkNP spec noun) ; + + One = mkDet n1_Numeral ; + Two = mkDet n2_Numeral ; + + Felis = cat_N ; + Canis = dog_N ; + +} + |