diff --git a/syntax, semantics, discourse 2.md b/syntax, semantics, discourse 2.md index d48b33ce..8bac3766 100644 --- a/syntax, semantics, discourse 2.md +++ b/syntax, semantics, discourse 2.md @@ -42,4 +42,10 @@ language meaning need to satisfy a constraint much more concrete than [[composit - Every / each $\mapsto$ $\forall x$ - $\vdots$ - = A famous supervisor directs every student here. - - $\exists x (\operatorname{fam-sup}()$ \ No newline at end of file + - there are two interpretations : + - $\exists x (\operatorname{fam-sup}'(x) \wedge \forall y (\operatorname{student}(y) \to \operatorname{Direct}(x, y)))$ + - $\forall y (\operatorname{student}(y) \to \exists x(\operatorname{fam-sup}'(x) \wedge \operatorname{Direct}(x, y))$ + - = no player injured herself + - $\forall x (\operatorname{player}(x) \to \neg \operatorname{Injure}(x, x)$ + - $\neg \exists x (\operatorname{player}(x) \wedge \operatorname{Injure}(x, x))$ + -