Sadakane & Koizumi 1995 @cite{sadakane-koizumi-1995} @cite{martin-1975} #
On the nature of the "dative" particle ni in Japanese. Linguistics 33(1):5–33.
Headline claim #
The apparent ambiguity of Japanese particle ni between case marker and postposition is illusory (Conclusion, p. 23). What looks like a single particle with mixed properties is actually four homophonous lexemes:
- Dative case marker ni (Martin (1975) categories A, O1)
- Postposition ni (categories B, C1–C3, E, F, G, H1–H3, I, K, L1, M, O2, R, T, U)
- ni of ni-insertion (J1, J2, L2; Takezawa 1987's Japanese analogue of English of-insertion — a last-resort default for caseless arguments)
- Copula ni (P1, P2, Q, S, V; a form of the copula da/de aru)
Plus an ambiguous bucket (D, N1, N2) where speakers disagree on
whether ni is a case marker or a postposition; encoded as
Classification.classify _ = none.
S&K SUPPORT @cite{kuno-1987}'s and Miyagawa (1989)'s case-marker / postposition dichotomy — once the four homophones are split apart, the remainder respects the binary partition. This is in contrast to the "third-type" view (a single ni with both case-marker and postposition properties) widely held in Japanese linguistics.
Three operational tests (§2) #
S&K distinguish the four types by three syntactic diagnostics, summarised in tables 14, 27, 29, and 32:
| Type | Floating NQ | Cleft + particle | Cleft − particle |
|---|---|---|---|
| Dative case marker | OK | */?? | OK |
| Postposition | * | OK | */?/OK |
| Ambiguous (D,N1,N2) | OK | OK | OK |
| ni-insertion | * | */?? | OK |
| Copula ni | */N.A. | */?? | */?? |
The diagnostic acceptability scores are encoded in Features.Acceptability
(the project canon): */?? reduces to unacceptable; */?/OK to
variable (genuine speaker variation); */N.A. to unacceptable (per
S&K fn. 10, the test fails for an independent non-referentiality reason
PLUS a second structural reason — both yield *).
Affectedness criterion (§4, p. 18) #
"The case marker ni is attached to an NP whose referent is relatively more affected by the action denoted by the verb (predicate/sentence), and the postposition ni is attached to an NP whose referent is less affected." (p. 18)
Hierarchy (figure 45, p. 22) carries TWO orthogonal dimensions: a 4-rank
position scale (NP-in-PP < dative NP < upper accusative NP < lower
accusative NP) and an AffectedKind distinction (phenomenally vs.
structurally affected). Examples 42–43: Tom-o korosita "killed Tom"
structurally affects Tom (he ceases to exist as such); Bill-o hometa
"praised Bill" only phenomenally affects Bill's psychological state.
Acquisition prediction (§5, pp. 23–24) #
If S&K's analysis is correct (case-marker and postposition ni are distinct lexemes), Japanese-learning children should acquire them independently. Morii (1993) confirms: case-marker ni (categories A, O1) is acquired between 2;0 and 2;11; postposition ni (categories B–U) is acquired only after 3;0.
Heine 2009 grammaticalization #
The four S&K classifications align partially with Heine's case
grammaticalization cline (Core.CaseGramStage: lexical → adposition →
caseAffix → lost). Both case-marker ni and postposition ni are at
.adposition stage in modern Japanese (morphologically free), but
case-marker ni is more grammaticalized within that stage (no inherent
meaning, omissible in casual speech). The cline doesn't capture
intra-adposition gradience; the projection Classification.gramStage is
correspondingly coarse.
Layered grounding to linglib #
- Diagnostic acceptability scores use
Features.Acceptability(the project canon), not a per-paper Grammaticality enum. Classification.marantzaligns S&K's 4-way with @cite{baker-2015}'sSyntax.Case.CaseSourcefromTheories.Syntax.Case.Dependent. The map is partial: copula ni lies outside Marantz's case-assignment domain. Note:.niInsertion → .unmarked(Marantz/Schütze's "default-case" fallback) rather than.agree— Takezawa's salvage operation is what happens when Agree fails, not Agree itself.MartinCategory.InFragmentNiis derived as aFinsetintersection of the per-categoryfragmentCasesfootprint with the Fragment'sFragments.Japanese.Case.ni.cases = {.dat, .loc, .all, .Tem}. The conflation theoremfragment_ni_predicts_inconsistent_signaturesderives the Tsujimura/Fragment vs. S&K granularity disagreement as a real claim about set intersection plus diagnostic-signature mismatch.
Dialect parameter #
S&K's footnote 9 (p. 30) flags that judgments throughout the paper are
from the innovating dialect (per @cite{kuno-1987}, Miyagawa 1989).
The conservative dialect (Shibatani 1977) gives different judgments
for some categories (notably K, Ohaio Ginkoo-ni 'work for Ohio Bank').
This Studies file's Classification.signature reflects the innovating
dialect; a future Phenomena/Case/Studies/Shibatani1977.lean could
formalise the conservative judgments and surface where they diverge.
The Dialect enum is intentionally NOT introduced here (was dead code
in the previous version) — it earns its keep when the conservative file
lands.
Korean parallel (Sells 1995, not yet in linglib) #
Sells (1995, Journal of East Asian Linguistics) documents the parallel
case-particle/postposition split for Korean -i/-eseo but does not
engage S&K's homophony move for Korean equivalents of ni. This gap
cannot be Lean-formalised until Fragments/Korean/Case.lean adopts
Pattern B (rich marker structure); currently it's a Finset Core.Case
stipulation only. Documented here as future work.
§1 Classification — S&K's four homophonous ni lexemes #
S&K's classification of ni into four distinct homophonous lexemes
(§4 Discussion, summarised in Conclusion §5). The "ambiguous" cases
(D, N1, N2) are encoded as none via Option Classification rather
than a separate constructor — speakers genuinely vary on which of
.dativeCaseMarker or .postposition these belong to.
- dativeCaseMarker : Classification
Categories A (goal indirect object) and O1 (change of position with intransitive verb). Behaves like accusative o and nominative ga: omissible in casual speech, no inherent meaning.
- postposition : Classification
The 18 categories B, C1–C3, E, F, G, H1–H3, I, K, L1, M, O2, R, T, U. Bears inherent meaning; non-omissible.
- niInsertion : Classification
Categories J1, J2, L2. Per Takezawa 1987, ni is inserted onto caseless arguments of certain predicates (causativised verbs) as a last-resort default; the Japanese analogue of English of-insertion.
- copula : Classification
Categories P1, P2, Q, S, V. ni attached to a "predicate" of some sort, related to copula da/de aru constructions.
Instances For
Equations
- Phenomena.Case.Studies.SadakaneKoizumi1995.instDecidableEqClassification x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
§2 Martin (1975) usage categories — 31 letter codes #
The 31 categories follow @cite{martin-1975}'s reference grammar; S&K adopt his classification with minor modifications (see §2 fn. 3). Each category in the appendix (pp. 23–33) is exemplified by one or more verbs.
The 31 usage categories of Japanese ni per @cite{martin-1975}, as reported in S&K's Appendix (pp. 23–33). Letter codes are S&K's.
- A : MartinCategory
- B : MartinCategory
- C1 : MartinCategory
- C2 : MartinCategory
- C3 : MartinCategory
- D : MartinCategory
- E : MartinCategory
- F : MartinCategory
- G : MartinCategory
- H1 : MartinCategory
- H2 : MartinCategory
- H3 : MartinCategory
- I : MartinCategory
- J1 : MartinCategory
- J2 : MartinCategory
- K : MartinCategory
- L1 : MartinCategory
- L2 : MartinCategory
- M : MartinCategory
- N1 : MartinCategory
- N2 : MartinCategory
- O1 : MartinCategory
- O2 : MartinCategory
- P1 : MartinCategory
- P2 : MartinCategory
- Q : MartinCategory
- R : MartinCategory
- S : MartinCategory
- T : MartinCategory
- U : MartinCategory
- V : MartinCategory
Instances For
Equations
- Phenomena.Case.Studies.SadakaneKoizumi1995.instDecidableEqMartinCategory x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Ascription of each Martin category to one of S&K's four classification
types. The "ambiguous" categories (D, N1, N2) return none; speakers
differ on whether the ni in these contexts is a case marker or a
postposition.
Equations
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.A.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.dativeCaseMarker
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.O1.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.dativeCaseMarker
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.D.classify = none
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.N1.classify = none
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.N2.classify = none
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.J1.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.niInsertion
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.J2.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.niInsertion
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.L2.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.niInsertion
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.P1.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.copula
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.P2.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.copula
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.Q.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.copula
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.S.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.copula
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.V.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.copula
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.B.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.C1.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.C2.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.C3.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.E.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.F.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.G.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.H1.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.H2.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.H3.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.I.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.K.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.L1.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.M.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.O2.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.R.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.T.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.U.classify = some Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition
Instances For
Per-category footprint on the Core.Case lattice — what UD case
feature(s) the ni-use of this Martin category corresponds to most
directly. Categories whose ni-use does NOT fit any UD case feature
Tsujimura's Fragment recognises (Fragments.Japanese.Case.ni.cases = {.dat, .loc, .all, .Tem}) map to ∅. This is study-internal
stipulation (the lin agent verified F's mapping is empty per the
GB riron-ni motozuiteiru example).
Equations
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.A.fragmentCases = {UD.Case.dat}
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.O1.fragmentCases = {UD.Case.dat, UD.Case.all}
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.L1.fragmentCases = {UD.Case.loc}
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.N1.fragmentCases = {UD.Case.dat, UD.Case.all}
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.N2.fragmentCases = {UD.Case.dat, UD.Case.all}
- Phenomena.Case.Studies.SadakaneKoizumi1995.MartinCategory.M.fragmentCases = {UD.Case.Tem}
- x✝.fragmentCases = ∅
Instances For
Whether the Fragment's single ni : CaseMarker (with
cases = {.dat, .loc, .all, .Tem}) covers the ni uses of a given
Martin category. Derived as the non-emptiness of the intersection
between the category's fragmentCases footprint and the Fragment's
ni.cases — a real Finset operation rather than a stipulated
lookup table.
Equations
- c.InFragmentNi = (c.fragmentCases ∩ Fragments.Japanese.Case.ni.cases).Nonempty
Instances For
Equations
- c.instDecidableInFragmentNi = id inferInstance
§3 Operational tests + diagnostic signature #
Per S&K §2 (pp. 8–11), three syntactic tests distinguish the four types.
The signatures in tables 14, 29, 32 are encoded as Classification.signature.
Split judgments in the source (e.g., */??, */?/OK) are reduced to
Acceptability per the convention: */?? → unacceptable (split with *
floor); */?/OK → variable (genuinely speaker-dependent); */N.A. →
unacceptable (per fn 10, S&K's two-reason analysis: non-referentiality
PLUS structural blocking, both yielding *).
The three operational diagnostics S&K apply to each Martin category.
- floatingNQ : OperationalTest
Floating numeral quantifier construction (§2, p. 8): the c-command requirement between numeral and host NP is blocked by an intervening PP node. Case markers permit FNQ; postpositions block it.
- cleftWithParticle : OperationalTest
Clefting with the particle in focus position (§2, p. 9): PPs may occupy focus position; NPs with case markers may not.
- cleftWithoutParticle : OperationalTest
Clefting without the particle (§2, p. 10): a Hoji-1987 / Inoue-1976 "aboutness" cleft variant. Behaviour distinguishes copula ni from the others.
Instances For
Equations
- Phenomena.Case.Studies.SadakaneKoizumi1995.instDecidableEqOperationalTest x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
The acceptability signature S&K predict for each Classification ×
OperationalTest pair (tables 14, 29, 32).
Equations
- One or more equations did not get rendered due to their size.
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.dativeCaseMarker.signature Phenomena.Case.Studies.SadakaneKoizumi1995.OperationalTest.floatingNQ = Features.Acceptability.ok
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.dativeCaseMarker.signature Phenomena.Case.Studies.SadakaneKoizumi1995.OperationalTest.cleftWithoutParticle = Features.Acceptability.ok
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition.signature Phenomena.Case.Studies.SadakaneKoizumi1995.OperationalTest.floatingNQ = Features.Acceptability.unacceptable
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition.signature Phenomena.Case.Studies.SadakaneKoizumi1995.OperationalTest.cleftWithParticle = Features.Acceptability.ok
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.niInsertion.signature Phenomena.Case.Studies.SadakaneKoizumi1995.OperationalTest.floatingNQ = Features.Acceptability.unacceptable
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.niInsertion.signature Phenomena.Case.Studies.SadakaneKoizumi1995.OperationalTest.cleftWithoutParticle = Features.Acceptability.ok
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.copula.signature Phenomena.Case.Studies.SadakaneKoizumi1995.OperationalTest.floatingNQ = Features.Acceptability.unacceptable
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.copula.signature Phenomena.Case.Studies.SadakaneKoizumi1995.OperationalTest.cleftWithParticle = Features.Acceptability.unacceptable
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.copula.signature Phenomena.Case.Studies.SadakaneKoizumi1995.OperationalTest.cleftWithoutParticle = Features.Acceptability.unacceptable
Instances For
§4 Cardinality theorems — Finset.card decomposition #
The audit-promised "test the data, not the constructor" theorems — verifying that S&K's distribution of 31 Martin categories into 4 types
- 3 ambiguous matches the paper's own count.
Number of Martin categories classified as dativeCaseMarker (§3, p. 11:
"two categories of ni … behave purely as case markers").
Number of Martin categories classified as postposition (§3, p. 12:
"Eighteen categories of ni in our list turned out to be postpositions").
Number of categories where speakers vary (S&K's "ambiguous" bucket; §3, p. 14: D, N1, N2 — the three categories listed in (23)).
Number of ni-of-ni-insertion categories (§3, p. 16: J1, J2, L2).
Number of copula ni categories (§3, p. 17: P1, P2, Q, S, V).
The five sub-counts decompose the universe of 31 Martin categories.
§5 Conflation: Fragment's ni collapses S&K types #
Fragments/Japanese/Case.lean exposes a single ni : CaseMarker entry
(consistent with @cite{tsujimura-2014}'s textbook presentation). S&K's
4-way analysis would split this entry into multiple lexemes. The
following theorems make the granularity disagreement Lean-visible: the
Fragment's ni covers Martin categories with INCONSISTENT diagnostic
signatures, refuting the unitary-ni treatment.
The Fragment's ni covers Martin categories from at least two
distinct S&K classifications — .dativeCaseMarker (witnessed by A)
and .postposition (witnessed by L1).
Stronger statement: the Fragment's ni straddles three S&K cells —
case marker (A), postposition (L1), and ambiguous (N1).
The empirical bite of the homophony argument: the Fragment's single
ni covers Martin categories whose S&K-predicted diagnostic
signatures DISAGREE on at least one operational test. A unitary ni
lexeme entails one verdict per test, but the data show two. The
Fragment's lexicon is empirically inadequate as encoded.
§6 Alignment with Marantz dependent case #
S&K's 4-way classification partially aligns with Marantz/Baker's
CaseSource (lexical | dependent | unmarked | agree), encoded in
Theories.Syntax.Case.Dependent. Per the cross-framework reasoning:
- Dative case marker ni — assigned by structural configuration →
dependent - Postposition ni — bears inherent meaning, attached to NP via P head →
lexical - ni-of-ni-insertion — Takezawa 1987's last-resort salvage on caseless
arguments →
unmarked(Marantz/Schütze 2001 default-case fallback); NOTagree(which is T/D-driven probing, distinct from the salvage operation S&K formalise via Takezawa) - Copula ni — outside Marantz's case-assignment domain (it's a copular
construction, not case marking) →
none
Partial map from S&K's 4-way ni taxonomy to Marantz/Baker's
CaseSource. Copula ni maps to none (outside Marantz's domain).
Equations
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.dativeCaseMarker.marantz = some Syntax.Case.CaseSource.dependent
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition.marantz = some Syntax.Case.CaseSource.lexical
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.niInsertion.marantz = some Syntax.Case.CaseSource.unmarked
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.copula.marantz = none
Instances For
The Takezawa-vs-Chomsky alignment for ni-insertion is genuinely
underdetermined: Schütze 2001-style default case (.unmarked) is the
closer fit to Takezawa 1987's "salvage on caseless argument", but a
Chomsky 2000-style functional-head Agree analysis would assign
.agree. The two readings make different predictions for whether
ni-inserted NPs are visible to T-Agree. This Studies file picks
.unmarked; the disagreement is recorded explicitly.
§7 Affectedness hierarchy (§4, figure 45) #
S&K's semantic correlate for the case-marker/postposition split: case markers attach to MORE-affected NPs, postpositions to LESS-affected ones. The hierarchy spans 4 syntactic positions on a rank dimension PLUS a phenomenally-vs-structurally split on an affectedness-kind dimension — two orthogonal axes per figure 45.
The four syntactic positions in S&K's affectedness hierarchy (figure 45, p. 22). Ordered from least to most affected on the rank dimension.
- npInPP : SyntacticPosition
NP inside a PP (least affected).
- dativeNP : SyntacticPosition
Dative NP (indirect object). Phenomenally affected.
- upperAccusativeNP : SyntacticPosition
Upper accusative NP (e.g., direct object of praise). Phenomenally affected (psychological state altered).
- lowerAccusativeNP : SyntacticPosition
Lower accusative NP (e.g., direct object of kill). Structurally affected (referent's existence/identity altered).
Instances For
Equations
- Phenomena.Case.Studies.SadakaneKoizumi1995.instDecidableEqSyntacticPosition x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
The kind of affectedness, orthogonal to rank (§4, examples 42–43, p. 21–22). Phenomenal = referent's psychological/relational state altered (hometa "praised", nagutta "hit" — only part of body). Structural = referent's existence or identity altered (korosita "killed", tabeta "ate").
- phenomenal : AffectedKind
- structural : AffectedKind
Instances For
Equations
- Phenomena.Case.Studies.SadakaneKoizumi1995.instDecidableEqAffectedKind x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Affectedness rank: higher = more affected.
Equations
- Phenomena.Case.Studies.SadakaneKoizumi1995.SyntacticPosition.npInPP.affectednessRank = 0
- Phenomena.Case.Studies.SadakaneKoizumi1995.SyntacticPosition.dativeNP.affectednessRank = 1
- Phenomena.Case.Studies.SadakaneKoizumi1995.SyntacticPosition.upperAccusativeNP.affectednessRank = 2
- Phenomena.Case.Studies.SadakaneKoizumi1995.SyntacticPosition.lowerAccusativeNP.affectednessRank = 3
Instances For
The kind of affectedness associated with each position: phenomenal for dative and upper-accusative; structural for lower-accusative; none for NP-in-PP (unaffected).
Equations
- Phenomena.Case.Studies.SadakaneKoizumi1995.SyntacticPosition.npInPP.kindOf = none
- Phenomena.Case.Studies.SadakaneKoizumi1995.SyntacticPosition.dativeNP.kindOf = some Phenomena.Case.Studies.SadakaneKoizumi1995.AffectedKind.phenomenal
- Phenomena.Case.Studies.SadakaneKoizumi1995.SyntacticPosition.upperAccusativeNP.kindOf = some Phenomena.Case.Studies.SadakaneKoizumi1995.AffectedKind.phenomenal
- Phenomena.Case.Studies.SadakaneKoizumi1995.SyntacticPosition.lowerAccusativeNP.kindOf = some Phenomena.Case.Studies.SadakaneKoizumi1995.AffectedKind.structural
Instances For
Dative NPs are MORE affected than NPs in PPs (the case-marker / postposition affectedness contrast, p. 18).
Accusative NPs are more affected than dative NPs (p. 21 caveat).
Lower-accusative is the unique structurally-affected position.
§8 Acquisition prediction (Morii 1993, cited at §5 p. 23–24) #
S&K's homophony analysis predicts that case-marker ni and postposition ni are independent lexical items, hence acquired independently. Morii 1993 confirms: case-marker categories (A, O1) are acquired between ages 2;0 and 2;11; postposition categories (B–U) are acquired only after 3;0.
Encoded as a discrete acquisition order rather than absolute ages — the substantive prediction is the strict ordering, not the precise ages.
Acquisition order per Morii 1993: lower number = acquired earlier. Only the dative-case-marker / postposition contrast is reported by Morii; the other two types' acquisition orders are not specified.
Equations
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.dativeCaseMarker.acquisitionOrder = some 0
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition.acquisitionOrder = some 1
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.niInsertion.acquisitionOrder = none
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.copula.acquisitionOrder = none
Instances For
Case-marker ni is acquired strictly before postposition ni (Morii 1993, vindicating S&K's homophony analysis). Universally quantified form: every concrete acquisition-order witness for the case-marker class precedes every witness for the postposition class.
§9 Heine grammaticalization stage projection #
Connects S&K's classification to Core.CaseGramStage (Heine 2009's
case grammaticalization cline: lexical → adposition → caseAffix → lost).
Both case-marker ni and postposition ni are at .adposition stage
in modern Japanese (morphologically free); the cline doesn't capture
intra-adposition gradience, so the projection is correspondingly coarse.
The diachronic prediction (case-marker ni should be CLOSER to
.caseAffix than postposition ni) is documented in prose pending a
finer-grained stage type.
Heine grammaticalization stage projection. Both case-marker and
postposition ni are at .adposition in modern Japanese; copula ni
is outside the case cline (none).
Equations
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.dativeCaseMarker.gramStage = some Core.CaseGramStage.adposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.postposition.gramStage = some Core.CaseGramStage.adposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.niInsertion.gramStage = some Core.CaseGramStage.adposition
- Phenomena.Case.Studies.SadakaneKoizumi1995.Classification.copula.gramStage = none
Instances For
All case-relevant ni lexemes are at the .adposition stage on
Heine's cline. The diachronic prediction that case-marker ni is
MORE grammaticalized (closer to .caseAffix) than postposition ni
is currently invisible at this granularity — CaseGramStage lacks
intra-stage gradience.