morfosintaxis lógica la y una

cantû la cantçió.
[ [x] és yo ]-[ [x] canta [y] ]-[ ∀$1$ y ][ [y] és cantçió ]


no cantû la cantçió.
[ [x] és yo ]-[ [x] no canta [y] ]-[ ∀$1$ y ][ [y] és cantçió ]


cantû una cantçió.
[ [x] és yo ]-[ [x] canta [y] ]-[ ∃$1$ y ][ [y] és cantçió ]


no cantû una cantçió.
[ [x] és yo ]-[ [x] no canta [y] ]-[ ∃$1$ y ][ [y] és cantçió ]