Common use of Interim summary Clause in Contracts

Interim summary. In this section, I introduced some common axioms that apply to relations. In particular, I argue that I/O-Correspondence and φ-Correspondence are both heterogenous relations that adhere to the axioms of symmetric inverse and minimum distance. In section 2.1.3.2, I argue that two types of relations are of the same kind if and only if they share the exact same set of axioms. Since I/O-Correspondence and φ- Correspondence adhere to the same set of axioms, and no other axiom exists for either I/O-Correspondence or φ-Correspondence, I conclude that the model satisfies Hypothesis I, reproduced here: I/O Correspondence, O/I Correspondence, and all φ-Correspondence relations are different types of the same kind of correspondence relation. This is a true, but purely theoretical statement that applies to the model defined so far. From chapter 3 on, I show that the proposed theory is empirically adequate and phonologically sound.

Interim summary. ‌ In this section, I introduced some common axioms that apply to relations. In particular, I argue that I/O-Correspondence and φ-Correspondence are both heterogenous relations that adhere to the axioms of symmetric inverse and minimum distance. In section 2.1.3.2, I argue that two types of relations are of the same kind if and only if they share the exact same set of axioms. Since I/O-Correspondence and φ- Correspondence adhere to the same set of axioms, and no other axiom exists for either I/O-Correspondence or φ-Correspondence, I conclude that the model satisfies Hypothesis I, reproduced here: I/O Correspondence, O/I Correspondence, and all φ-Correspondence relations are different types of the same kind of correspondence relation. This is a true, but purely theoretical statement that applies to the model defined so far. From chapter 3 on, I show that the proposed theory is empirically adequate and phonologically sound.