Check whether a formula is well formed, identify its main connective, and display its syntactic structure.
