diff options
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 ; +} ; |
