diff options
| author | aarne <unknown> | 2003-11-19 17:33:06 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-19 17:33:06 +0000 |
| commit | 1ca5e5398abd42fe71d4fe541e84318df0351e20 (patch) | |
| tree | 5fe4564ed8270aaedc30f0ca070ae5195f4b9efa /grammars/database/DatabaseEngRes.gf | |
| parent | 18dfde370ec276835c99a3bac9754d5562d6ff7b (diff) | |
Extending resource.
Diffstat (limited to 'grammars/database/DatabaseEngRes.gf')
| -rw-r--r-- | grammars/database/DatabaseEngRes.gf | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/grammars/database/DatabaseEngRes.gf b/grammars/database/DatabaseEngRes.gf new file mode 100644 index 000000000..e00501a47 --- /dev/null +++ b/grammars/database/DatabaseEngRes.gf @@ -0,0 +1,11 @@ +resource DatabaseEngRes = open Prelude in { +oper + mkSent : SS -> SS -> SS1 Bool = \long, short -> + {s = table {b => if_then_else Str b long.s short.s}} ; + + mkSentPrel : Str -> SS -> SS1 Bool = \prel, matter -> + mkSent (ss (prel ++ matter.s)) matter ; + + mkSentSame : SS -> SS1 Bool = \s -> + mkSent s s ; +} ; |
