--- /dev/null
+
+
+
+open Mathql_semantics;;
+open MathQL;;
+
+(* stampa tutti i documenti che fanno match con un pattern di input *)
+List.iter
+ (function atturi -> print_endline ("output: " ^ atturi))
+ (match Mqint2.execute
+ (MQList
+ (MQPattern
+ (
+ Some "cic",
+ (* [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBSS],*)
+ [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBD;
+ MQBC"Z_exh.con"],
+ (*[MQBSS; MQBC ".var"],*)
+ []
+ )
+ )
+ ) with MQRefs l -> l
+ );
+
+
+
+ ;;
+