X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fgrammar.txt;h=877bd075fddc85f7955296612a7f388eacb2e53b;hb=c534f0f12f9369670d93dd0eb30e8f9a85ff6498;hp=399a529f123320d802822f7873a9f42aca3fdb58;hpb=4d8f96c20608512ddd425f57547cd33ce9a9d8b0;p=helm.git

diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt
index 399a529f1..877bd075f 100644
--- a/helm/mathql/grammar.txt
+++ b/helm/mathql/grammar.txt
@@ -7,7 +7,8 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
        |  <list> UNION <list>                  (* unione *)
        |  <list> INTERSECT <list>              (* intersezione *)
        |  <list> DIFF <list>                   (* differenza *)
-       |  <list> SORTEDBY <order>
+       |  <list> SORTEDBY <order> <function>   (* unione lista ordinata secondo
+                                                  ordine e valore funzione *)
        |  SELECT <rvar> IN <list> WHERE <bool> (* selezione *)
        |  EXISTS <rvar> IN <list> WHERE <bool> (* esistenziale *)
        |  USE <list> POSITION <svar>           (* unione lista backward *)
@@ -43,6 +44,9 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
 	 |  <function> <rvar>                  (* applicazione di funzione *)
 	 
 <function> := NAME			       (* rvar -> nome_oggetto *)
+	   |  <property>
+
+<property> := THEORY                           (* URI -> valore_Proprieta' *)
            |  TITLE			       (* URI -> valore_Prop_DC *)
            |  CONTRIBUTOR
            |  CREATOR
@@ -62,20 +66,15 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
 	   |  CONTACT
 	   |  FIRSTVERSION
 	   |  MODIFIED
-           |  <refineop> <function>
+           |  <refineprop> <property>
 
-<refineop> := SUB			       (* proprieta' e sotto-proprieta'
+<refineprop> := SUB			       (* proprieta' e sotto-proprieta'
                                                   di *) 
-           |  SUPER			       (* proprieta' e super-proprieta'
+             |  SUPER			       (* proprieta' e super-proprieta'
                                                   di *)
 
-<order>    := THEORY                           (* ordinamento alfabetico in 
-                                                  base a teorie e default per
-					          gli oggetti *)
+<order>    := DESC                             (* ordinamento decrescente *)
 	   |  ASC			       (* ordinamento crescente *) 
-	   |  DESC                             (* ordinamento decrescente *) 
-	   |  KEY			       (* ordinamento in base a parole
-                                                  chiave o soggetto *)
 
 <rvar> := <not-reserved-identifier>            (* variabile per risorse *)
 <svar> := $ <not-reserved-identifier>          (* variabile per stringhe *)
@@ -99,6 +98,3 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
   teorema ci sono? 
 - L'ordinamento di default e' quello alfabetico crescente in base al nome 
   delle rvar
- 
-
-