automatically integrated combinatorial evidence used in automatic assertion