Clause-final negation: structure and interpretation