Note that crc(P ) is not necessarily injective; that is, there can be two full paths P 1 = P 2 satisfying crc(P 1 ) = crc(P 2 ).
in effect, score D (r | s) is determined by the best evidence of r; that is, Note that our final scoring function essentially views P as a clique rather than a path.