compositional similarity evidence used in automatic assertion