Characteristic predicate BooleanSplitting :: BooleanSplit :: BooleanSplit
BooleanSplit
(
)