From your Cambridge English Corpus The sample, constrained via the ontology, is asserted right into a know-how foundation that is regularly queried for proof of the intrusion or an assault. From your Cambridge English Corpus A logic engine normally has specifics asserted, and queries requested, in a