neural network method evidence used in automatic assertion