Consider the predicate S = (P Ú Ø (Q Ú R)) Ù (Q Ú Ø (P)). We can tell if it is a well-formed expression by parsing it using matching parentheses and syntax to get the following parse tree:
