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
    (MQIntersect
     (
                 (MQSelect
                   (
                    (*SELECT*) "uri0",
                    (*  IN  *) MQUse
                     (MQPattern
	              (
	                Some "cic",
	                [MQBD; MQBC"Algebra"; MQBD; MQBC "Basics"; MQBD; MQBSS],
                        []
	              ),
                     "$s0"
                     ),
      (*WHERE *)   MQIs
                    (
	             MQStringSVar "$s0",
	             MQConclusion
                    )
                   )
                 ),
                 (MQSelect
                   (
                    (*SELECT*) "uri0",
                    (*  IN  *) MQUse
                     (MQPattern
	              (
	                Some "cic",
	                [MQBD; MQBC"Algebra"; MQBD; MQBC "Basics"; MQBD; MQBC "max.con"],
                        []
	              ),
                     "$s0"
                     ),
      (*WHERE *)   MQIs
                    (
	             MQStringSVar "$s0",
	             MQConclusion
                    )
                   )
                 )               
     )
    )
   )
   with MQRefs l -> l
  );

;;