Struktur als Einschränkung: Ein formaler Rahmen für Nicht-Ableitbarkeit über Domänen hinweg | Synapse