Fix term structure.

stefan-jung · Oct 28, 2024 · 43bf766 · 43bf766
1 parent 5821762
commit 43bf766
Showing 1 changed file with 10 additions and 6 deletions.
diff --git a/frameworks/termentry/rng/termentryMod.rng b/frameworks/termentry/rng/termentryMod.rng
@@ -1360,12 +1360,16 @@
           <ref name="termVariant"/>
         </zeroOrMore>
         <optional>
-          <choice>
-            <ref name="term-domains"/>
-            <ref name="annotation"/>
-            <ref name="termContext"/>
-            <ref name="termSource"/>
-          </choice>
+          <ref name="term-domains"/>
+        </optional>
+        <optional>
+          <ref name="annotation"/>
+        </optional>
+        <optional>
+          <ref name="termContext"/>
+        </optional>
+        <optional>
+          <ref name="termSource"/>
         </optional>
       </define>
     </div>