match to sequence model evidence used in automatic assertion