The marking treats S, A and P alike.
- IsNeutral m = (m ArgumentRole.S = m ArgumentRole.A ∧ m ArgumentRole.S = m ArgumentRole.P)
Used by instDecidableIsNeutral, marking_cases, AlignmentType.Classifies
Used in Dixon1994, Woolford1997
Docs / Syntax / Clause / Alignment
import Linglib.Syntax.Clause.Alignment · namespace Alignment
A marking of the argument roles, by case, agreement or constituent order, is a function out of
ArgumentRole, and its alignment is which of the three core roles S, A and P it identifies, the
kernel of the marking on the core roles, as Comrie and Dixon define it. A three-element set has five
partitions, so a marking has one of five alignments: neutral,
accusative, with S marked like A, ergative, with S marked like P, horizontal, with A marked like P,
and tripartite. Ditransitive alignment reads P, T and R the same way. A marking may also depend on a
condition besides the role, and hierarchy effects are its fit to an order on the
conditions.
The predicates classify a marking; Alignment.AlignmentType is Comrie's observational
classification of languages in WALS chapters 98 to 100, which AlignmentType.Classifies links to
them. The two differ on purpose: no WALS chapter has a horizontal type, and AlignmentType.active,
the split-S systems, identifies no fixed pair of roles and so is not the alignment of a single
marking.
The marking treats S, A and P alike.
Used by instDecidableIsNeutral, marking_cases, AlignmentType.Classifies
Used in Dixon1994, Woolford1997
The marking treats S like A and unlike P.
Used by instDecidableIsAccusative, marking_cases, IsAccusative.not_isErgative, IsErgative.not_isAccusative, IsIndirective, AlignmentType.Classifies
Used in Discourse/Centering/GrammaticalRole, Fragments/Mayan/Agreement, Fragments/Mayan/Kaqchikel/Agreement, Fragments/Mayan/Yukatek/Agreement, Bobaljik2008 and 3 more
The marking treats S like P and unlike A.
Used by instDecidableIsErgative, marking_cases, IsAccusative.not_isErgative, IsErgative.not_isAccusative, IsSecundative, AlignmentType.Classifies
Used in Fragments/Dargwa/Tanti/Case, Fragments/Mayan/Agreement, Fragments/Mayan/Yukatek/Agreement, Syntax/Case/Dependent, Bobaljik2008 and 4 more
The marking treats A like P and unlike S.
Used by instDecidableIsHorizontal, marking_cases
The marking treats S, A and P all differently.
Used by instDecidableIsTripartite, marking_cases, AlignmentType.Classifies
Used in Fragments/Mayan/Mam/Agreement, Dixon1994, Woolford1997
Built from
Built from
Built from
Built from
The definition is too large to print here; read it in the source.
Built from
Every marking has one of the five alignments, the five partitions of a three-element set.
Built from , , , ,
Built from ,
Built from ,
Ditransitive alignment compares how a marking codes P, T and R, and Haspelmath draws its triangle like the monotransitive one, with P in the place of S, T in that of A and R in that of P. The ditransitive alignment of a marking is the alignment of the marking read through that correspondence, so indirective alignment, T with P and R apart, is the counterpart of accusative alignment, and secundative alignment, R with P and T apart, the counterpart of ergative alignment.
The ditransitive role in the place of each monotransitive role in Haspelmath 2011's (6): P for S, T for A and R for P. R and T, outside the monotransitive triangle, stay fixed.
Used by IsIndirective, IsSecundative
The marking treats T like P and unlike R.
Built from ,
Used by isIndirective_iff, instDecidableIsIndirectiveOfDecidableEq
Used in Amato2025, Woolford1997
The marking treats R like P and unlike T.
Built from ,
Used by isSecundative_iff, instDecidableIsSecundativeOfDecidableEq
Used in Amato2025, Woolford1997
Built from
Built from
Built from
Built from
Morphosyntactic alignment type, the classification of WALS chapters 98 to 100 (Comrie 2013): how a language groups S, A and P.
S, A and P alike.
S with A, P apart.
S with P, A apart.
S, A and P all distinct.
Split-S, with S marked like A for some predicates and like P for others.
Derives DecidableEq, Repr, Inhabited, Fintype.
Used by AlignmentType.Classifies, instDecidableClassifiesOfDecidableEq
Used in Fragments/HindiUrdu/Case, Syntax/Case/Dependent, Baker2015, Bobaljik2008, ClemDeal2026 and 2 more
The alignment a type names, as a property of a marking. The split-S type names none, since it identifies no fixed pair of roles.
Built from , , , ,
Used by instDecidableClassifiesOfDecidableEq
Used in Syntax/Case/Dependent, Bohnemeyer2004
The definition is too large to print here; read it in the source.
Built from ,
A marking may depend on a condition besides the role, such as the referential properties of the
argument or of its co-argument, or the tense of the clause. A conditioned marking
m : ArgumentRole → C → Option κ codes role r under condition c by the marker m r c, or by
none, and its alignment under c is that of (m · c). Bickel, Witzlack-Makarevich and Zakharko
represent a case as a relation between roles and conditions, and test hierarchy effects as the
fit of a marking to an order on the conditions: A overtly coded on a lower set of them, P on an
upper set. The papers that posit a scale assert fit; the papers that test it count it.
Built from
A conditioned marking fits an order on its conditions when A is overtly coded on a lower set of them and P on an upper set.
Built from
Used in Aissen2003, Dixon1994