Bridging Verbal Geometry Problems and Formal Proofs: A GeoGebra-Supported Element–Relation Detection Framework. OLER. 2026;6(1):227-243. doi:10.58524/oler.v6i1.1225