protein separation followed by direct sequencing evidence used in automatic assertion