Semântica formal e composicionalidade | Zoonk