Sentence examples for evaluation clauses from inspiring English sources

The evaluation clauses for the other connectives are classical.

In this extended vocabulary one may consider further negation principles, in particular the De Morgan inferences from (22): The first three De Morgan rules are valid on any compatibility frame (if the standard evaluation clauses for $\wedge$ and $\vee$ are assumed), and they can be proved utilizing standard inference rules for $\wedge$ and $\vee$ (cf. Restall 2000).

Accordingly, Priest uses an evaluation clause for implication in possible worlds models ensuring that $(A \rightarrow B)$ is true only if $A$ is satisfiable (true at some possible world): ${\cal M}, w \models (A \rightarrow B)$ iff (i) there is a world $w'$ with ${\cal M}, w' \models A$, and (ii) for every world $u$, ${\cal M}, u \models A$ implies ${\cal M}, u \models B$.

Check phase: clause 9 Performance Evaluation defines requirements for monitoring, measurement, analysis and evaluation, as well as, Internal Audit and Management Review.

We note that traditional evaluation which explores unit-clause consequences of random hard 3-CNF formulas does not tell the full story, and we complement that evaluation with experiments based on a variety of assumptions about queries and the underlying knowledge base.

MEPs did, however, introduce a review clause, requiring an evaluation of the impact of deep-sea fishing gear on vulnerable species and ecosystems after 4 years.

This clause is essentially an evaluation of his mother's state of being, but the next is a more overt evaluation of his mother's mental state through the Mental clause: "she's not thinking clearly".

Constraints are used to restrict the evaluation of the event, condition, and/or action clauses of a policy rule, which is much richer than Ponder's usage.

Clauses that made the entire evaluation process contingent on union negotiations, he said, prevented enforcement.

As defined by Stiles, et al. [ 72] "The coding unit for both forms and intent is the utterance, defined as an independent clause, nonrestrictive dependent clause, multiple predicate, or term of acknowledgment, evaluation or address".

Balslev et al. [ 20] compared the effects of a video case and a paper case on the verbal group interaction among residents and showed that the video case group yielded higher frequencies of clauses relating to data exploration, theory building and theory evaluation than the group using the paper case.