2 -- table mapping sources to number of distinct constants occurring in hypothesis
4 SELECT source, COUNT(DISTINCT h_occurrence)
6 WHERE (h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#MainHypothesis"
7 OR h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#InHypothesis")
10 INSERT IGNORE INTO no_hyp
13 WHERE NOT (h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#MainHypothesis"
14 OR h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#InHypothesis")