Sentence examples for another predicate from inspiring English sources

One has to exchange the predicate by another predicate that formalizes the semantics of the alternative MCDC criterion.

The problem of extrinsic properties arises because there are analytic connections between one predicate holding of a thing and another predicate holding of some other thing.

In an expression such as plur child), both the plur operator, which transforms a predicate into another predicate, and the resulting collective predicate, are of nonstandard types.

If a predicate can be predicated of another predicate only if the former is of a type higher than the latter, then self-predication is banished and Russell's paradox cannot even be formulated.

Predicates have a fixed finite arity in FOL, and nothing precludes binding at once a variable in the first argument of one predicate and in the second argument of another predicate.

If you think that a negation of a proposition is a proposition (so that in particular a negation of an atomic proposition is a proposition) then you also believe that a negation (or complement or whatever you want to call it) of a predicate is another predicate.

Consider a language LAr+ which is like LAr but has besides another individual constant, "2", and another dyadic predicate, "Pd", whose desired interpretations are the number 2 and the relation of being the immediate predecessor of, respectively.

When one thing is predicated of another, all that which is predicable of the predicate will be predicable also of the subject.

Multiculturalism was easy, whereas deep knowledge of another place, predicated as it usually is on linguistic competence, is hard.

Having embedded themselves amid the revelry, members of Mr. Fox's company soon emerge from the tumult as players in another drama predicated on delirium, objectification and sexual humiliation.

Another way of predicate refinement is to add new predicates into a given set of predicates, for example, the guards of the given EFSM specification that are defined only over context variables.