NestedDisjunctiveNormalFormTypes((4, 10)) -> Parse Error: Nested disjunctive normal form types are not allowed on line 4 column 10