semantica_formal