6 open Mathql_semantics;;
9 (* stampa tutti i documenti che fanno match con un pattern di input *)
11 (function atturi -> print_endline ("output: " ^ atturi))
23 [MQBD; MQBC"Algebra"; MQBD; MQBC "Basics"; MQBD; MQBSS],
42 [MQBD; MQBC"Algebra"; MQBD; MQBC "CC_Props"; MQBD; MQBSS],