--- /dev/null
+
+-- table mapping sources to number of distinct constants occurring everywhere
+-- except body
+INSERT INTO no_concl_hyp
+SELECT source, COUNT(DISTINCT h_occurrence)
+FROM refObj
+WHERE NOT (h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#InBody")
+GROUP BY source;
+