
-- table mapping sources to number of distinct constants occurring in hypothesis
INSERT INTO no_hyp
SELECT source, COUNT(DISTINCT h_occurrence)
FROM refObj
WHERE (h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#MainHypothesis"
    OR h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#InHypothesis")
GROUP BY source;

INSERT IGNORE INTO no_hyp
SELECT source, 0
FROM refObj
WHERE NOT (h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#MainHypothesis"
    OR h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#InHypothesis")
GROUP BY source;
