fprintf(outsort,"\t\t<h:refSort rdf:parseType=\"Resource\">");
fprintf(outsort,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainHypothesis\"/>");
fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\"/>",uri);
fprintf(outsort,"\n\t\t\t\t<h:depth>%d</h:depth>",curr->val);
fprintf(outsort,"\n\t\t</h:refSort>\n");
fprintf(outsort,"\t\t<h:refSort rdf:parseType=\"Resource\">");
fprintf(outsort,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainHypothesis\"/>");
fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\"/>",uri);
fprintf(outsort,"\n\t\t\t\t<h:depth>%d</h:depth>",curr->val);
fprintf(outsort,"\n\t\t</h:refSort>\n");