DROP TABLE refObj;
DROP TABLE refSort;
DROP TABLE refRel;
DROP TABLE objectName;
DROP TABLE no_inconcl_aux;
DROP TABLE no_concl_hyp;
DROP TABLE no_hyp;
DROP TABLE owners;
DROP TABLE count;
