[E040] Error: cannot nest disjunctive normal form types
   ,-[code.php:4:10]
   |
 4 |     F|(A&(B|C)) $i
   *          |  
   *          `-- try removing this
---'