quantum mechanics/molecular mechanics simulation evidence used in automatic assertion