combinatorial experimental evidence used in automatic assertion