Natural languages abound with intensional functors, this can be illustrated by intensional statements. Extensional logic cannot reach inside such fine logical structures of the language, it stops at a coarser level. The attempts for such deep logical analysis have a long past: authors as early as Aristotle had already studied modal syllogisms. Gottlob Frege developed a kind of two dimensional semantics: for resolving questions like those of intensional statements, he has introduced a distinction between two semantic values: sentences (and individual terms) have both an extension and an intension. These semantic values can be interpreted, transferred also for functors (except for intensional functors, they have only intension).