Allow grouping propositions with parentheses