From 8a1b8c475f1ba073610958f1ca13b19e0e63b79b Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Wed, 21 Jan 2026 11:44:52 +0100
Subject: [PATCH] eduroam-prg-og-1-30-122.net.univ-paris-diderot.fr
 2026-1-21:11:44:52

---
 syntax, semantics, discourse 2.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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))$
+     -