Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property (ArXiv cs.LO Recent Papers, 2026)