Characteristic predicate LogicalExpr :: LogicalExpr
LogicalExpr
(
)