WiSe22/23: Constraint-based Semantics 2

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)]