DERIVATIONder.spa.la-condicional-irreal-usa-el-pasado-dependiente
the counterfactual conditional uses the past of the dependent mood
Presenting a condition as not holding is done with a past form of the dependent mood, which is the same choice the speaker makes elsewhere applied to a two-clause frame.
The counterfactual is not a separate mood and does not need one. It is the dependent mood in a past form, in the subordinate clause of a two-clause frame, with the main clause carrying the form built on the shortened stem. Every part is available elsewhere and the frame does the rest. The residue is the open conditional, which uses the assertive mood in both clauses precisely because nothing is being presented as contrary to fact, and the pair is therefore one contrast rather than two constructions.
- status
status documentedasserted, and the sources agree- provenance
provenance authoredwritten for Logos, from first principles- derivation status
derivation_status unstatednobody has said whether it follows from anything- salience
salience - No salience. Where no frequency source applies the object carries none, rather than a default or a guess (03-schema.md §3.5).
- aliases
aliases - None recorded.
- sources
sources - 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
- SOURCENueva gramática de la lengua española (2009)
Premises
derivation.premisesWhat 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.
- CATEGORYconditional
cat.conditional - DERIVATIONone underlying choice surfaces at two addresses
der.spa.un-solo-bit-aflora-en-dos-direcciones
the counterfactual conditional uses the past of the dependent mood
Presenting a condition as not holding is done with a past form of the dependent mood, which is the same choice the speaker makes elsewhere applied to a two-clause frame.
Premises (2)
Conclusions (1)
derives 1 of 2enumerated
The open conditional, where neither clause is presented as contrary to fact and the assertive mood appears in both.
Residue (1)
- CONSTRUCTIONoración condicional realunstatedno 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.conclusionsWhat 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.coverageThe arithmetic half is a required field and the build checks it. The residue rows are the structured half of the same statement.
derives 1 of 2enumerated
The open conditional, where neither clause is presented as contrary to fact and the assertive mood appears in both.
every case was counted
Residue
- CONSTRUCTIONoración condicional real
con.spa.condicional-real-con-si- fails on
derives.payload.failed_premise - No failed premise is named, so this row records that the case is not covered without recording why.
- fails on
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.
Presenting a condition as not holding is done with a past form of the dependent mood, which is the same choice the speaker makes elsewhere applied to a two-clause frame.
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
A4One 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.
Presenting a condition as not holding is done with a past form of the dependent mood, which is the same choice the speaker makes elsewhere applied to a two-clause frame.
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.