Joana é proprietária de extensa área rural localizada no Estado X. Nos últimos anos, a fazenda permaneceu praticamente improdutiva, com baixa utilização do solo, ausência de cuidad

aplicação de IPTU progressivo no tempo, de competência municipal, por se tratar de qualquer propriedade que não atenda à sua função social, urbana ou rural.

desapropriação para fins de reforma agrária, com indenização prévia em dinheiro, uma vez que a sanção decorre do descumprimento da função social, independentemente da natureza do imóvel.

desapropriação para fins de reforma agrária, com pagamento em títulos da dívida agrária, nos termos da Constituição, por se tratar de propriedade rural que não cumpre a sua função social.

expropriação sem qualquer indenização, com destinação da área para o assentamento de trabalhadores rurais, por expressa previsão constitucional para toda propriedade que descumpre a função social.

intervenção federal direta no Estado X, para assegurar a observância do princípio da função social da propriedade, uma vez que se trata de princípio sensível cuja violação autoriza tal medida.