Deakstadieđáhus: Formal semantic analysis :