WiSe22/23: Constraint-based Semantics 2: Difference between revisions
Jump to navigation
Jump to search
| Line 7: | Line 7: | ||
* ¬α<br>The semantic representation of a sign with a contribution constraint of the form ¬α must be an expression containing ¬α as a subexpression where α can be any expression. | * ¬α<br>The semantic representation of a sign with a contribution constraint of the form ¬α must be an expression containing ¬α as a subexpression where α can be any expression. | ||
Embedding constraints: α['''call'''(x)] | Embedding constraints: | ||
* α['''call'''(x)]<br>The metavariable α is any expression containing '''call'''(x) as a subexpression. | |||
Revision as of 21:48, 25 October 2022
HPSG-neutral notation for LRS
Metavariables: α, β, ɣ, ..., φ, ψ, ...
Contribution constraints:
- call(x)
The semantic representation of a sign with a contribution constraint of the form call(x) must be an expression containing call(x) as a subexpression - ¬α
The semantic representation of a sign with a contribution constraint of the form ¬α must be an expression containing ¬α as a subexpression where α can be any expression.
Embedding constraints:
- α[call(x)]
The metavariable α is any expression containing call(x) as a subexpression.