structural ensemble generation evidence used in automatic assertion