inference from background scientific knowledge used in automatic assertion