(*
 select uri0
  in use pattern "cic:/Coq/Reals/Rdefinitions/Rlt.con" position $s0
  where $s0 is mainconclusion
*)



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

    )
   ) 
   with MQRefs l -> l
  );



;;