mnli premise: Two blocks north is another lively square, Praaa dos Restauradores, with its historic obelisk commemorating the overthrow of Spanish Hapsburg rule in 1640. hypothesis: It's the only square in the area.