Reported hits are evaluated on precision, recall, results ranking and (if present) score. Hits without subformula identifiers (i.e. where the URI reference only identifies the document will be penalized by losing half of the points they would contribute to the results. Hits with dangling references are eliminated from the result. Moreover, reported hits will be de-duplicated by removing any reported hits that point to the same formula (the id identifiers reference subexpressions of the same