From 1ca5e5398abd42fe71d4fe541e84318df0351e20 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 19 Nov 2003 17:33:06 +0000 Subject: Extending resource. --- grammars/database/Database.gf | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 grammars/database/Database.gf (limited to 'grammars/database/Database.gf') diff --git a/grammars/database/Database.gf b/grammars/database/Database.gf new file mode 100644 index 000000000..eb0c08d9f --- /dev/null +++ b/grammars/database/Database.gf @@ -0,0 +1,33 @@ +abstract Database = { + +flags startcat=Query ; + +cat + Query ; + Category ; Subject ; Value ; Property ; Relation ; Comparison ; Name ; + Feature ; + +fun + WhichAre : Category -> Property -> Query ; + IsThere : Category -> Query ; + AreThere : Category -> Query ; + IsIt : Subject -> Property -> Query ; + WhatIs : Value -> Query ; + + MoreThan : Comparison -> Subject -> Property ; + TheMost : Comparison -> Category -> Value ; + Relatively : Comparison -> Category -> Property ; + + RelatedTo : Relation -> Subject -> Property ; + + Individual : Name -> Subject ; + AllN : Category -> Subject ; + Any : Category -> Subject ; + MostN : Category -> Subject ; + EveryN : Category -> Subject ; + + FeatureOf : Feature -> Subject -> Subject ; + ValueOf : Feature -> Name -> Value ; + + WithProperty : Category -> Property -> Category ; +} ; -- cgit v1.2.3