From your Cambridge English Corpus The sample, constrained with the ontology, is asserted into a know-how base which can be continuously queried for evidence of the intrusion or an assault. From the Cambridge English Corpus A logic engine generally has specifics asserted, and queries asked for, in a