Considere que a União desaproprie por interesse social, para fins de reforma agrária, determinado imóvel rural localizado no estado do Mato Grosso, que não esteja cumprindo sua função social. Nessa situação, todas as benfeitorias do imóvel deverão ser indenizadas mediante títulos da dívida agrária.