Declared translations

Turning a sentence into a formula: which connective the joining word demands, which way the arrow points, and how far a negation reaches.