Beyond the Finite: New Challenges in Verification and Semistructured Data