Version final semantico (V1) y fichero prueba_semantico