| FALSE (* falso *)
| <string> IS <string> (* case sensitive matching *)
-<pattern> := <quoted-constant-string> (* pattern costante *)
+<pattern> := <"-quoted-constant-string> (* pattern costante *)
-<string> := <quoted-constant-string> (* costante letterale *)
+<string> := <'-quoted-constant-string> (* costante letterale *)
| CONCLUSION | HYPOTHESIS | BODY (* costanti simboliche *)
| MAINCONCLUSION | MAINHYPOTHESIS
| <rvar> (* variabile *)
teorema ci sono?
- L'ordinamento di default e' quello alfabetico crescente in base al nome
delle rvar
+- Note su <pattern>
+ Contiene un'espressione regolare per selezionare delle "reference"
+ (cioe` delle uri eventualmente seguite da un fragment identifier)
+ L'espressione regolare contiene i seguenti costrutti:
+
+ costrutto semanticamente fa match con
+ ? un singolo carattere diverso da / # :
+ * la piu' lunga sottostringa che non contiene / # :
+ ** la piu' lunga sottostringa che non contiene # :
+ altro carattere solo se' stesso
+
+ costrutto puo' appareire in
+ ? "body"
+ * dovunque
+ ** "body" e "fragment"
+ altro carattere dovunque
+
+ "body" parte compresa fra le occorrenze di ":/" e "#1" escluse
+ "fragment" parte successiva all'occorrenza "#1"