The constraints adopted in this paper are considered as relations between variables that cannot be represented in the solution (a Gantt chart).
This is intuitively plausible, since ∃v does indeed throw away previous values stored under v. Full distributivity means that the update functions can be considered as relations.
It should be noted that in contrast with Traditional Relation Extraction that uses specific types of relations as synonymy, antonymy, hyponymy and lexical inheritance, meronymy, entailment, and presupposition, Open IE considers that all connections among concepts, entities, events, and also those expressed by means of attributes can be considered as relations.
A narrow plurality think that homosexual relations will be considered as legitimate as heterosexual relations and a similar plurality that marriage will decline.
Variables related to use of contraceptive method: "Use of safe method in the last commercial vaginal relation" (considered as safe methods: condoms, oral contraceptives, intrauterine devices, diaphragm with spermicide; ligation; hormonal implants and intramuscular contraceptives).
And considered as the relation between these mutable things, the relation is "time".
Considered as the relation of God to the divine names and attributes (Intelligences or archetypes), the relation is "everlastingness".
Considered as the relation between the Intelligences, or archetypes, and their reflections in the mutable things of the world below, the relation is "eternity".
Russell at times used the word "relation" in a broad sense so as to include qualities, which could be considered as "monadic" relations, i.e., relations that only involve one relatum.
In relational semantics a program is thought of as a binary input-output relation over some state space; in predicate transformer semantics a program is a mapping from predicates to predicates; in information systems (and Hoare logic) a program is considered as a relation between predicates, and in domain theory a program is a multifunction mapping states to sets of states.
