Syntax, Semantics & Grammar Theory

← Back to Domain-Specific Families

Abstractions about how sentences and discourse are structured and interpreted — clauses, constituents, case roles, ellipsis, and anaphora — spanning formal grammatical frameworks like the minimalist program, categorial grammar, and discourse grammar, and compositional semantic theories such as discourse representation theory.

24 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

• Ablative (Latin) — The Latin nominal case consolidating inherited ablative, instrumental and locative functions to mark separation, means, accompaniment, cause, place, time and related adverbial relations.
• Adverbial complement — An adverbial phrase selected by a verb or construction whose omission makes the clause ungrammatical or changes the verb's lexical or constructional interpretation.
• Antecedent-Contained Deletion — Resolve a verb-phrase ellipsis whose surface host lies inside the constituent that appears to antecede it, forcing a syntax–semantics analysis that breaks apparent self-containment while preserving ellipsis identity and scope readings.
• Case grammar — A linguistic analysis in which a predicate selects a case frame of semantic roles that its participants fill beneath their surface syntactic realization.
• Clause — A grammatical constituent organized around a predicative relation, typically a predicate with an expressed or contextually recoverable subject or predicand.
• Constituent (linguistics) — A word or word sequence treated as one hierarchical syntactic unit, supported by converging diagnostics such as substitution, movement, coordination, answer fragments, and theory-specific structural analysis.
• DisCoCat — A categorical compositional distributional semantics framework in which a structure-preserving functor maps grammatical derivations to operations that compose word meanings in a vector-space or other distributional semantic category.
• Discourse grammar — A grammatical framework that models sentence grammar and discourse-organizing expressions as interacting but distinct domains of linguistic organization.
• Discourse representation theory — A dynamic formal-semantics framework that builds discourse representation structures to track referents, conditions and anaphoric accessibility across sentences.
• Endophora — Text-internal reference in which an expression obtains its interpretation from another element of the surrounding discourse.
• Independent clause — A clause capable of functioning as a complete sentence because it has the syntactic status and internal structure of a main clause rather than being grammatically subordinated to another clause.
• Induction of regular languages — The learning problem of inferring a finite automaton, regular grammar, or regular expression from labeled or otherwise informative example strings under a declared identification criterion.
• Integrational theory of language — The general theory within integrational linguistics that treats language as historically and socially integrated communicative activity while sharply separating language theory from theories of linguistic description.
• Logic form — A shallow first-order knowledge representation that maps natural-language content into conjoined predicates connected by shared event and entity variables, optionally decorated with word senses.
• Minimalist program — A generative-linguistic research program seeking the simplest computational account of language compatible with interface conditions.
• Modality (Semantics) — A natural-language construction qualifies a claim as necessary or possible relative to a contextually supplied background, with force and reading determined for that language.
• Predicate transfer — A semantic operation that lets a predicate apply to an associated individual by shifting the predicate across a salient relation, as when a driver says 'I am parked outside' about their car.
• Processability theory — A second-language acquisition theory predicting developmental sequences from the hierarchy of grammatical information-processing procedures learners can execute in real time.
• Resultative — A grammatical construction or predicate expressing a state reached by an entity as the result of an event.
• Rising declarative — A rising declarative pairs declarative clause syntax with a final rise, allowing context to shape either an assertion with a secondary issue or a biased request for confirmation.
• Statement (computer science) — A programming statement is a complete language-defined construct whose rules give it a runtime or compile-time role, from evaluation or branching to a null operation or scope directive.
• Synchronous context-free grammar — A paired grammar whose productions simultaneously rewrite linked nonterminals in two strings or trees, encoding structural correspondences and reorderings.
• Telicity — The aspectual property by which an event description presents an inherent endpoint whose attainment completes the event.
• Universal grammar — The linguistic hypothesis that human language acquisition is constrained by an innate species-typical component defining possible grammars.