From f7f0112256b738a7c640c37d5bcbfc8a33bdb307 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 17 Feb 2010 11:07:24 +0000 Subject: added examples/SUMO --- examples/SUMO/RGLExt/ExtraLexicon.gf | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 examples/SUMO/RGLExt/ExtraLexicon.gf (limited to 'examples/SUMO/RGLExt/ExtraLexicon.gf') diff --git a/examples/SUMO/RGLExt/ExtraLexicon.gf b/examples/SUMO/RGLExt/ExtraLexicon.gf new file mode 100644 index 000000000..fa5ea52bd --- /dev/null +++ b/examples/SUMO/RGLExt/ExtraLexicon.gf @@ -0,0 +1,7 @@ +abstract ExtraLexicon = Cat ** { +fun + time_N : N ; + square_A : A ; + value_N : N ; + element_N : N ; +} -- cgit v1.2.3