co-localization evidence used in automatic assertion