Velká část kapitoly "Denotační analýza". Dokument potřebuje modul subfiles