test script for query

2010-06-18 07:07:32 +00:00
parent 2069d9c9eb
commit cca3039505
3 changed files with 566 additions and 3 deletions
--- a/examples/query/Query.gf
+++ b/examples/query/Query.gf
@@ -32,6 +32,7 @@ fun
  AAct   : Set  -> Activity -> Answer ; -- S As

  SAll   : Kind -> Set ;  -- all Ks | the Ks
+  SRel   : Set  -> Relation -> Set ;  -- S's Rs
  SOne   : Kind -> Set ;  -- one K
  SIndef : Kind -> Set ;  -- a K
  SPlural : Kind -> Set ;  -- Ks