Infos
-   ++   DISJONCTAIT
-   ++   DISJONCTAT   +I
-   ++   DISJONCTAI   +T