Edman degradation evidence used in automatic assertion