Infos
-   ++   DISJONCTAI
-   ++   DISJONCTAIS
-   ++   DISJONCTAIT