Having most useful readability, we make use of the notation defined within the [RIF-DTB], which provides shortcuts to have composing Eye