Sentence examples for sets of assertions from inspiring English sources

The case of a Brooklyn man who says he was sodomized by police officers at a subway station last week presents two sets of assertions, and they are hard to reconcile.

In this case, the sets are not necessary finite and can be described using sets of assertions.

Suppose we have terminology (mathcal{T }_R) and domain (mathcal{D }={mathsf{bob }, mathsf{paper }}), There are several possible sets of assertions that are obtained by grounding.

While it is true that the quality of the assertions varies substantially, it is also true that these structured sets of assertions represent a major resource in constructing automated annotation systems.

In that sense, this isn't even a plan, it's just a set of assertions.

It's hard to know even how to engage this set of assertions.

An ABox is a set of assertions.

The main issue in defeasible inheritance is to characterize the set of assertions that are supported by a given network.

The evidence is the given set of assertions; the size of this set has great impact in inference effort.

We also show that the verification aids can be efficiently used to determine the completeness of the set of assertions in a simulation-based verification environment.

The static tools build a context-free grammar that describes the sequences of system calls the process may issue and a set of assertions on the process state, one for each invocation.