interpretação formal Synonym