\begin{definition}[Definition:Compound Statement/Ill-Formed]
The substatements in a compound statement, which are joined by a connective, may be compound statements themselves. 
It is clearly necessary that the interpretation of such a compound statement is unambiguous. 
A compound statement is said to be '''ill-formed''' if it is ambiguous as to how its substatements are grouped by the action of the connectives.
For example, in natural language:
:''I would like some juice or water with ice.''
can mean either:
:''I would like some juice, or water with ice.''
or:
:''I would like some juice with ice, or water with ice.''
\end{definition}