The tree diagram for this is in (28): (28) a ∃x takes scope over ∀y b c ∃x d e f BELGIAN(x) & g h ∀y i j k QUIZ(y) → WIN(x, y) The interpretation in ...
確定! 回上一頁