molecular mechanics simulation evidence used in automatic assertion