protein separation evidence used in automatic assertion