x-ray crystallography evidence used in automatic assertion