RELATE and IDENT Sample Clauses
RELATE and IDENT. 2.3.1.1 RELATE-X The first constraint schema corresponds to MAX and DEP (and replaces CORR in ABC). Since I extend the definition to feature nodes, and in order to highlight the templatic nature of its definition, I refer to it with the more general name RELATE-X. A RELATE-X constraint is satisfied when all elements in the domain of a correspondence relation (e.g., the set of input root nodes) are in a correspondence relation with at least one element in the range (e.g., the set of output root node). It is defined as follows. RELATE-X definition. Given a correspondence relation ℛX-Y, assign a violation for each element in X that is not in ℛX-Y. RELATE-X considers a single tier of elements connected by a precedence relation (root nodes or feature nodes) and assigns a violation for each element not in a correspondence relation. Because of symmetric inverse, correspondence relation types always come in symmetric pairs. Applying the definition of RELATE-X to a pair of correspondence relations thus results in two constraints: RELATE-I, which corresponds to MAX, and RELATE-O, which corresponds to DEP. The same constraints exist for φ-Correspondence. The only parts of the constraint definition that varies are the variables that refer to the range and to the domain of the relation (i.e., the distinguishing factors of the relation types themselves). Let us start by considering only the φ-Correspondence relations with the dependent as the domain. Because of Hypothesis II, for each φ-Correspondence type there must be a correspondence constraint named RELATE-φ, where φ is the name of the feature nodes in the relation (e.g., RELATE-[+sib], RELATE-[+voc], etc.). These constraints all impose the same requirement: totality is instantiated at the feature node level.20 In each case, the domain is the set of non-head feature nodes in the output and the requirement is that each of these nodes corresponds to a head. Examples of RELATE-[+sib] and RELATE-I constraint definitions are given below.
RELATE and IDENT. 2.3.1.1 RELATE-X The first constraint schema corresponds to MAX and DEP (and replaces CORR in ABC). Since I extend the definition to feature nodes, and in order to highlight the templatic nature of its definition, I refer to it with the more general name RELATE-X. A RELATE-X constraint is satisfied when all elements in the domain of a correspondence relation (e.g., the set of input root nodes) are in a correspondence relation with at least one element in the range (e.g., the set of output root node). It is defined as follows.