maximal_prefixes)
in
(* Printf.fprintf stderr "all: %d\n" (List.length all);flush_all (); *)
+(*
List.filter (function (_,uri) ->
- prerr_endline ("W" ^UriManager.string_of_uri uri);
- at_most ~dbd ~where constants uri) all
+ at_most ~dbd ~where constants uri)
+*)
+ all
in
let equal_to = compute_exactly ~dbd ~facts ~where main prefixes in
greater_than @ equal_to