Translate ordinary language into symbols — and, or, if-then — without losing the structure of the argument.