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/ParamBasic.gf | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 examples/SUMO/RGLExt/ParamBasic.gf (limited to 'examples/SUMO/RGLExt/ParamBasic.gf') diff --git a/examples/SUMO/RGLExt/ParamBasic.gf b/examples/SUMO/RGLExt/ParamBasic.gf new file mode 100644 index 000000000..83471801a --- /dev/null +++ b/examples/SUMO/RGLExt/ParamBasic.gf @@ -0,0 +1,5 @@ +resource ParamBasic = { +param Flag = ExistS NumQuant | ForallS NumQuant | NothingS ; +param SentForm = Indep | Attrib ; +param NumQuant = One | Many ; +} \ No newline at end of file -- cgit v1.2.3