computational structure modeling evidence used in automatic assertion