sequence alignment evidence used in automatic assertion