Logos

DERIVATIONder.spa.valores-de-caso

three of the thirteen case values survive and only in the pronoun

The pronoun keeps a subject, an object and a dative contrast, and every other value the dimension admits is carried by a preposition instead.

Ten of the thirteen values are expressed and none of them by an inflection, which is why the residue here is large and is not a gap. A preposition states the relation, and the relation stated is often exactly what one of these values names. What separates the three realized values from the ten is that the three are shapes of a word and the ten are separate words. The chain is contested because the analysis of the pronoun shapes as case forms is, and on the competing analysis the realized count is zero rather than three.

statusstatus
contestedasserted, and the sources disagree
provenanceprovenance
authoredwritten for Logos, from first principles
derivation statusderivation_status
unstatednobody has said whether it follows from anything
saliencesalience
No salience. Where no frequency source applies the object carries none, rather than a default or a guess (03-schema.md §3.5).
aliasesaliases
None recorded.
sourcessources
  • SOURCENueva gramática de la lengua española (2009)src.nueva-gramaticano page in v1
  • SOURCEA New Reference Grammar of Modern Spanish (Butt and Benjamin)src.butt-benjaminno page in v1

Premises

derivation.premises

What has to be true for this chain to run. Roughly half of a chain's premises are other derivations, so a premise is often itself a chain.

three of the thirteen case values survive and only in the pronoun

The pronoun keeps a subject, an object and a dative contrast, and every other value the dimension admits is carried by a preposition instead.

contestedforward

Premises (2)

Conclusions (3)

derives 3 of 13enumerated

The ten values a preposition carries rather than an inflection, which is not a smaller case system but a different strategy altogether.

Residue (10)

  • CATEGORYablativeunstatedno failed premise is named, so this row records that the case is not covered without recording why
  • CATEGORYabsolutiveunstatedno failed premise is named, so this row records that the case is not covered without recording why
  • CATEGORYallativeunstatedno failed premise is named, so this row records that the case is not covered without recording why
  • CATEGORYcomitativeunstatedno failed premise is named, so this row records that the case is not covered without recording why
  • CATEGORYergativeunstatedno failed premise is named, so this row records that the case is not covered without recording why
  • CATEGORYgenitiveunstatedno failed premise is named, so this row records that the case is not covered without recording why
  • CATEGORYinstrumentalunstatedno failed premise is named, so this row records that the case is not covered without recording why
  • CATEGORYlocativeunstatedno failed premise is named, so this row records that the case is not covered without recording why
  • CATEGORYpartitiveunstatedno failed premise is named, so this row records that the case is not covered without recording why
  • CATEGORYvocativeunstatedno failed premise is named, so this row records that the case is not covered without recording why

Premises and conclusions declare no order (A16); listed alphabetically by id, a display choice and not a claim about which matters most. The steps above them are the one part of this component that IS a declared sequence, read from the applies-to composition chain.

Conclusions

derivation.conclusions

What the chain establishes. This is a set rather than a single fact: 45 percent of sampled derivations conclude about several things at once, and the several-ness is the claim.

Coverage, and what it does not reach

derivation.coverage

The arithmetic half is a required field and the build checks it. The residue rows are the structured half of the same statement.

derives 3 of 13enumerated

The ten values a preposition carries rather than an inflection, which is not a smaller case system but a different strategy altogether.

every case was counted

Residue

  • CATEGORYablativecat.ablative
    fails onderives.payload.failed_premise
    No failed premise is named, so this row records that the case is not covered without recording why.
  • CATEGORYabsolutivecat.absolutive
    fails onderives.payload.failed_premise
    No failed premise is named, so this row records that the case is not covered without recording why.
  • CATEGORYallativecat.allative
    fails onderives.payload.failed_premise
    No failed premise is named, so this row records that the case is not covered without recording why.
  • CATEGORYcomitativecat.comitative
    fails onderives.payload.failed_premise
    No failed premise is named, so this row records that the case is not covered without recording why.
  • CATEGORYergativecat.ergative
    fails onderives.payload.failed_premise
    No failed premise is named, so this row records that the case is not covered without recording why.
  • CATEGORYgenitivecat.genitive
    fails onderives.payload.failed_premise
    No failed premise is named, so this row records that the case is not covered without recording why.
  • CATEGORYinstrumentalcat.instrumental
    fails onderives.payload.failed_premise
    No failed premise is named, so this row records that the case is not covered without recording why.
  • CATEGORYlocativecat.locative
    fails onderives.payload.failed_premise
    No failed premise is named, so this row records that the case is not covered without recording why.
  • CATEGORYpartitivecat.partitive
    fails onderives.payload.failed_premise
    No failed premise is named, so this row records that the case is not covered without recording why.
  • CATEGORYvocativecat.vocative
    fails onderives.payload.failed_premise
    No failed premise is named, so this row records that the case is not covered without recording why.

Everything joined to this object

One group per typed edge, in both directions. A1b guarantees no object node is an orphan, so this is the whole navigation: an object with no edges would have failed the build rather than reached this page.

What this object is a kind of

Walking this object's own `is-a` edges: what it is a kind of. Several branches from one object are several classification axes, not competing supertypes.

objects
1
places drawn
1
multi-parent
None in this view. This subgraph happens to be a tree, which the explorer draws as one without assuming it is one.

Siblings are listed by name, then by id to break ties. That is a display choice made here and not an order the graph asserts.

Fan-out per dimension

A4

One row per dimension, largest first. That is a display order, not a verdict: 03-schema.md declares no threshold above which fan-out is too much, so this reports the count and grades nothing.

  • case13 values
  • mood8 values
  • voice8 values
  • aspect7 values
  • aktionsart6 values
  • number6 values
  • person6 values
  • tense6 values
  • comparison4 values
  • evidentiality4 values
  • gender4 values
  • politeness4 values
  • valency4 values
  • animacy3 values
  • definiteness3 values
  • deixis3 values
  • finiteness2 values
  • information structure2 values
  • interrogativity2 values
  • polarity2 values
  • switch-reference2 values

What kinds of this object there are

Walking the `is-a` edges that point at this object: what kinds of it there are. An object reachable two ways is drawn in both places and is still one object.

objects
1
places drawn
1
multi-parent
None in this view. This subgraph happens to be a tree, which the explorer draws as one without assuming it is one.

Siblings are listed by name, then by id to break ties. That is a display choice made here and not an order the graph asserts.

Every one of this object’s 16 edges are rendered above, in the sections its own type owns. Nothing is missing here and nothing is repeated.