Structural focus and exhaustivity