sˌuɐʃ fˌɨʁɐmˈeɪŋtɐʃ sɐ̃ʊ̃ bˌɐziˈadɐz ˈeɪŋ lˌiŋɡwˈaʒeɪŋz lˈɔʒikʊmˌɐtɨmˈatikɐʃ kɨ, puɹ vˈezɨʃ, ˌiŋtɨɾəfˈɛɾeɪŋ ˈeɪŋ dˌɨmɐzˈiɐ nɐ nˌɐtuɾˈezɐ dʊʃ sˌiʃtˈemɐʃ kɨ pɹˌetˈeɪŋdɐ̃ʊ̃ ˌiŋfuɾəmˌɐtizˈaɹ, kˈomw uʃ sˌiʃtˈemɐʒ d ˌiŋfuɾəmɐsˈɐ̃ʊ̃ kˌuŋtˈabeɪʃ.
Suas ferramentas são baseadas em linguagens lógico-matemáticas que, por vezes, interferem em demasia na natureza dos sistemas que pretendam informatizar, como os sistemas de informação contábeis.