evidence based on logical inference from manual annotation used in automatic assertion