Bug fixed: when trying to insert coercions after an Uncertain, a RefineFailure

[helm.git] / metadata / sql / fill_no_concl_hyp.sql

-- 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;