CLASScls.spa.verbo-auxiliar
verbo auxiliar
A verb that carries the tense, mood and agreement of a two-part predicate while a nonfinite form beside it carries the meaning.
The auxiliary is a small closed subset of the verb class, and for most of its members belonging to it is a matter of use rather than of the lexicon: one member is an auxiliary in every occurrence, and the rest are ordinary verbs elsewhere and auxiliaries only when they stand before a nonfinite form. What makes the subset a class is that its behaviour differs from the parent's. An auxiliary carries all the inflection of the predicate and none of its argument structure, so the subject it agrees with is selected by the nonfinite verb beside it and not by the auxiliary at all. The three nonfinite forms are not interchangeable, and which one a given auxiliary takes is stored with the auxiliary rather than predicted by its meaning.
- 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 - metalanguageauxiliary
- metalanguagecls.es.verbo-auxiliar
- sources
sources - An empty list, which is an assertion: this rests on nothing external, and somebody checked. It is not the same as nobody having looked.
Openness and membership
class.opennessWhether the class can be listed at all, and whether its members are written down or worked out.
- openness
openness closedthe membership is fixed, so an exhaustive list is possible- membership
membership storedthe members are enumerated one by one
DataTableLAN-59 (component) / LAN-198 (route)not built yet
DataTable itself is built and exported, but its home for a closed class is not this object page — it is the roster route /words/cls.spa.verbo-auxiliar, and that route does not exist yet (LAN-198, "Build /words/<class-slug>"). This mount names a component with nowhere on the app to receive it, not a component missing props: this section has everything DataTable needs (the class id, its exhaustive-count verification), and there is still no page to hand it to.
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
- 2
- places drawn
- 2
- multi-parent
- None in this view. This subgraph happens to be a tree, which the explorer draws as one without assuming it is one.
dimensions in viewauxiliarityconjugation-classfuture-stemorthographic-alternationparadigm-completenessparticiple-stempresent-stempreterite-stemstem-alternationsuppletion
1 kind
A verb that carries the tense, mood and agreement of a two-part predicate while a nonfinite form beside it carries the meaning.
A word that predicates, marking tense, aspect, mood and voice of its own and agreeing in person and number with a subject.
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.
dimensions in viewauxiliarity
A verb that carries the tense, mood and agreement of a two-part predicate while a nonfinite form beside it carries the meaning.
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.
is-a
edges.is-asubsumption
this object is a
- CLASSverbo
cls.spa.verbodocumenteddimensionauxiliarity
has-a
edges.has-athe parent carries this
these carry this object
- LEXEMEestar
lex.spa.estardocumentedmodeinherent
- LEXEMEhaber
lex.spa.haberdocumentedmodeinherent
- LEXEMEser
lex.spa.serdocumentedmodeinherent
selects
edges.selectsthe parent requires this elsewhere
this object requires, elsewhere
- CLASSverbo
cls.spa.verbodocumentedconditionAn auxiliary requires a nonfinite verb form beside it, an infinitive, a gerund or a participle, and the individual auxiliary fixes which of the three.
these require this object elsewhere
conditionThe copula copies the tense of the verb inside the relative clause as well as the person of the singled out phrase, which is a double agreement no other construction imposes.
conditionThe auxiliary position admits only the perfect auxiliary, which has no use outside this construction and the existential one, so the pairing is total.
conditionThe first position admits only the small stored set of verbs that have grammaticalised into auxiliaries of this shape; an ordinary verb followed by a gerund is two predicates, not one.
applies-to
edges.applies-tothe operation's input
these operations apply to this object
This edge type carries no payload. The assertion is the edge itself.
This edge type carries no payload. The assertion is the edge itself.
This edge type carries no payload. The assertion is the edge itself.
derives
edges.derivesthe why-chain
derived by
roleconclusion
roleresidue
rolepremise