Modified Files:

[helm.git] / helm / mathql / core_grammar.txt

diff --git a/helm/mathql/core_grammar.txt b/helm/mathql/core_grammar.txt
index 737741c483c98cb359e8cda4bd06d86fb562f422..2ef292c99782ec25e47a3380e5996f5b2eec70d3 100644 (file)
--- a/helm/mathql/core_grammar.txt
+++ b/helm/mathql/core_grammar.txt
@@ -17,7 +17,7 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
        |  SELECT <rvar> IN <set> WHERE <bool>  (* selezione *)
        |  LET <svar> BE <set> IN <set>         (* assegnazione a set-var in 
                                                   contesto *)
-       |  RELATION <quoted-constant-string> <set> ATTR <vvar-list>           
+       |  <relation> <quoted-constant-string> <set> ATTR <vvar-list>           
                                                (* unione insieme risorse in
                                                  relazione specificata con le
                                                  risorse in set, ognuna con 
@@ -25,6 +25,12 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
        |  <set> UNION <set>                    (* unione *)
        |  <set> INTERSECT <set>                (* intersezione *)
 
+<relation> := RELATION                        (* relazione (proprieta') *)
+          |  SUBRELATION                      (* proprieta' e 
+                                                 sotto-proprieta' *)
+          |  SUPERRELATION                    (* proprieta' e 
+                                                 super-proprieta' *)
+
 <vvar-list> := <vvar>
             |  <vvar> , <vvar-list>
 
@@ -50,9 +56,10 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
              |  <rvar>.<vvar>                      (* variabile per insieme
                                                      stringhe, relativa a 
                                                      riferimento *)
-            |  <function> <quoted-constant-string> <rvar> 
+            |  <function> <quoted-constant-string> <string-set> 
                                                   (* applicazione di funzione
-                                                     specificata a riferim. *)
+                                                     specificata a riferimento
+                                                     o insiemi di rif. o var*)
 
 <quoted-constant-string-set> := <quoted-constant-string>
                             |  <quoted-constant-string> , <quoted-constant-string-set>                                           
@@ -99,4 +106,8 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
                    HYPOTHESIS, MAINCONCLUSION, CONCLUSION, BODY
   CONSTRUCTORS
   INTHEORY con attributo ITEMTYPE (riferimenti oggetti contenuti in teorie)
-  THEORYREFTO con attributo ITEMTYPE (riferimenti teorie referenti a oggetti)
\ No newline at end of file
+  THEORYREFTO con attributo ITEMTYPE (riferimenti teorie referenti a oggetti)
+- <string-set> invece di <set> come argomento di <function> poiche' la REF non
+  e' piu' restrittiva su argomento/i e quindi e' inutile imporne l'uso quando
+  si passano i riferimenti alle funzioni. Con <string-set> l'utente e' libero
+  di passare direttamente le stringhe dei riferimenti.
\ No newline at end of file