Sentence examples for predicate over from inspiring English sources

(Here -ness is a predicate modifier that transforms the predicate polite, which applies to ordinary (usually human) individuals, into a predicate over quantities of the abstract stuff, politeness).

The observed result can then be formulated as a predicate over the values of the different components of the system.

In the most simple case, the specification can be expressed as a predicate over the current state of the system.

In ch. 10, section 102, Russell also gives a form of Cantor's theorem, which captures the logical essence of diagonalization (this version is by now folklore): no binary relation can parameterize all unary predicates over a given domain U (i.e., no binary relation R exists such that for all unary predicates P over U, there is an object a in U for which one has: for all x in U, R a, x) ↔ P x)).

The overall process is modeled as different Time Petri Net (TPN) models (each one modeling a local process) that interact with each other via guarded transitions that becomes enabled only when certain conditions (expressed as predicates over the marking of some places) are satisfied (the guard is true).

In this paper we address this gap by showing how to map an architectural style, expressed formally in an architectural description language, into a relational model that can then be checked for properties, such as whether a style is consistent, whether a style satisfies some predicates over its architectural structure, and whether two styles are compatible for composition.

Corresponding Coq definitions for values are straightforward predicate definitions over term.

Note that this form of intensionality does not commit us to a higher-order logic we are not quantifying over predicate extensions or intensions so far, only over individuals (aside from the need to allow for plural entities, as noted).

3. Quine's view as to exactly how names should be eliminated in favor of predicates evolved over the years.

In this sense, the finite-state machine (FSM) presented in the following can be considered as an extended finite-state machine (EFSM), which is an FSM extended with input and output parameters, context variables, operations and predicates defined over context variables and input parameters [19].

Quantification over definable properties can then be mimicked in a language with a truth predicate by quantifying over formulas.