pairwise sequence alignment evidence used in automatic assertion