The formal logical representation of the statement.
The natural language explanation of the logical statement.