(5)In case of abatement, the deduction from the rent shall be proportionate to the diminution in the total yearly produce of the holding or, in default of satisfactory proof thereof, the deduction shall be proportionate to the diminution in the area of the holding.
