diff --git a/experimental/ulo/queries/counts.sparql b/experimental/ulo/queries/counts.sparql
new file mode 100644
index 0000000000000000000000000000000000000000..fd52136db01a8ee073d8ae323b56add22ebe8b5c
--- /dev/null
+++ b/experimental/ulo/queries/counts.sparql
@@ -0,0 +1,6 @@
+prefix ulo: <https://mathhub.info/ulo#>
+prefix onto: <http://www.ontotext.com/>
+
+select * from onto:count where {
+ ?s ulo:universe ?o.
+}
diff --git a/experimental/ulo/ulo-used-predicates.txt b/experimental/ulo/ulo-used-predicates.txt
new file mode 100644
index 0000000000000000000000000000000000000000..a2bde628a48d56845899997e97906ceb29184ff7
--- /dev/null
+++ b/experimental/ulo/ulo-used-predicates.txt
@@ -0,0 +1,78 @@
+0 - https://mathhub.info/ulo#action-times
+0 - https://mathhub.info/ulo#aligned-with
+0 - https://mathhub.info/ulo#alternative-for
+0 - https://mathhub.info/ulo#antonym
+0 - https://mathhub.info/ulo#automatically-proved
+0 - https://mathhub.info/ulo#axiom
+131601 - https://mathhub.info/ulo#check-time
+0 - https://mathhub.info/ulo#constructs
+0 - https://mathhub.info/ulo#contains
+0 - https://mathhub.info/ulo#counter-example-for
+0 - https://mathhub.info/ulo#crossrefs
+0 - https://mathhub.info/ulo#declaration
+233523 - https://mathhub.info/ulo#defines
+1024932 - https://mathhub.info/ulo#definition
+0 - https://mathhub.info/ulo#deprecated
+1545427 - https://mathhub.info/ulo#derived
+0 - https://mathhub.info/ulo#docref
+0 - https://mathhub.info/ulo#example
+0 - https://mathhub.info/ulo#example-for
+41298 - https://mathhub.info/ulo#experimental
+7040 - https://mathhub.info/ulo#external-size
+0 - https://mathhub.info/ulo#file
+0 - https://mathhub.info/ulo#folder
+0 - https://mathhub.info/ulo#formalizes
+167694 - https://mathhub.info/ulo#function
+0 - https://mathhub.info/ulo#generated-by
+0 - https://mathhub.info/ulo#hypernym
+0 - https://mathhub.info/ulo#hyponym
+0 - https://mathhub.info/ulo#implementation-uses
+0 - https://mathhub.info/ulo#implementation-uses-implementation-of
+0 - https://mathhub.info/ulo#implementation-uses-interface-of
+1495 - https://mathhub.info/ulo#important
+3148 - https://mathhub.info/ulo#inductive-on
+0 - https://mathhub.info/ulo#inspired-by
+5246 - https://mathhub.info/ulo#instance-of
+0 - https://mathhub.info/ulo#inter-statement
+0 - https://mathhub.info/ulo#interface-uses
+0 - https://mathhub.info/ulo#interface-uses-implementation-of
+0 - https://mathhub.info/ulo#interface-uses-interface-of
+0 - https://mathhub.info/ulo#internal-size
+534988 - https://mathhub.info/ulo#justifies
+0 - https://mathhub.info/ulo#last-checked-at
+0 - https://mathhub.info/ulo#library
+0 - https://mathhub.info/ulo#library-group
+0 - https://mathhub.info/ulo#logical
+0 - https://mathhub.info/ulo#mutual-block
+2175591 - https://mathhub.info/ulo#name
+0 - https://mathhub.info/ulo#nyms
+0 - https://mathhub.info/ulo#organizational
+241708 - https://mathhub.info/ulo#para
+241708 - https://mathhub.info/ulo#paratype
+0 - https://mathhub.info/ulo#phrase
+0 - https://mathhub.info/ulo#physical
+79157 - https://mathhub.info/ulo#predicate
+1356 - https://mathhub.info/ulo#primitive
+0 - https://mathhub.info/ulo#proof
+0 - https://mathhub.info/ulo#proposition
+0 - https://mathhub.info/ulo#revision
+0 - https://mathhub.info/ulo#rule
+0 - https://mathhub.info/ulo#same-as
+29551 - https://mathhub.info/ulo#section
+0 - https://mathhub.info/ulo#see-also
+0 - https://mathhub.info/ulo#similar-to
+0 - https://mathhub.info/ulo#size-properties
+2145989 - https://mathhub.info/ulo#sourceref
+2215971 - https://mathhub.info/ulo#specified-in
+2215971 - https://mathhub.info/ulo#specifies
+1538234 - https://mathhub.info/ulo#statement
+0 - https://mathhub.info/ulo#superseded-by
+0 - https://mathhub.info/ulo#theorem
+12423 - https://mathhub.info/ulo#theory
+12243 - https://mathhub.info/ulo#type
+0 - https://mathhub.info/ulo#typedec
+551 - https://mathhub.info/ulo#unimportant
+1264 - https://mathhub.info/ulo#universe
+209417517 - https://mathhub.info/ulo#uses
+0 - https://mathhub.info/ulo#uses-implementation
+0 - https://mathhub.info/ulo#uses-interface
diff --git a/experimental/ulo/ulo-used.txt b/experimental/ulo/ulo-used.txt
deleted file mode 100644
index fe8418e8082edb59d6da7417dec233797d54e87f..0000000000000000000000000000000000000000
--- a/experimental/ulo/ulo-used.txt
+++ /dev/null
@@ -1,50 +0,0 @@
-The following is a list of ULO IRIs used as predicate in the Coq
-and Isabelle Distribution (not AFP) datasets
-
- http://ulo.mathhub.infoderived
- http://ulo.mathhub.infodocref
- http://ulo.mathhub.infouses
- http://ulo.mathhub.infointernal-size
- http://ulo.mathhub.infosourceref
- http://ulo.mathhub.infostatement
- http://ulo.mathhub.infoproposition
- http://ulo.mathhub.infodefinition
- http://ulo.mathhub.infodeclares
- http://ulo.mathhub.infoobject
- http://ulo.mathhub.infotheory
- http://ulo.mathhub.infotype
- http://ulo.mathhub.infoaxiom
- http://ulo.mathhub.infoprimitive
- http://ulo.mathhub.infopredicate
- http://ulo.mathhub.infoexample
- http://ulo.mathhub.infolibrary
- http://ulo.mathhub.inforevision
- http://ulo.mathhub.infofolder
- http://ulo.mathhub.infofile
- http://ulo.mathhub.infolibrary-group
- https://mathhub.info/ulotheory
- https://mathhub.info/ulocheck-time
- https://mathhub.info/uloexternal-size
- https://mathhub.info/ulospecifies
- https://mathhub.info/ulospecified-in
- https://mathhub.info/uloname
- https://mathhub.info/ulosection
- https://mathhub.info/ulosourceref
- https://mathhub.info/ulouniverse
- https://mathhub.info/ulouses
- https://mathhub.info/ulopredicate
- https://mathhub.info/ulodefines
- https://mathhub.info/ulostatement
- https://mathhub.info/uloderived
- https://mathhub.info/uloinstance-of
- https://mathhub.info/ulojustifies
- https://mathhub.info/ulotype
- https://mathhub.info/ulofunction
- https://mathhub.info/ulopara
- https://mathhub.info/uloparatype
- https://mathhub.info/uloprimitive
- https://mathhub.info/ulodefinition
- https://mathhub.info/uloimportant
- https://mathhub.info/ulounimportant
- https://mathhub.info/uloinductive-on
- https://mathhub.info/uloexperimental