computational structure modeling evidence used in manual assertion