WiSe22/23: Constraint-based Semantics 2: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
Contribution constraints: | Contribution constraints: | ||
* '''call'''(x) | * '''call'''(x)<br>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 | ||
* ¬α | * ¬α | ||
Embedding constraints: α['''call'''(x)] | Embedding constraints: α['''call'''(x)] | ||
Revision as of 21:46, 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 - ¬α
Embedding constraints: α[call(x)]