term definitions types: metanorma/metanorma-standoc#813

metanorma · Aug 22, 2023 · 3f6b390 · 3f6b390
1 parent c5ef0ed
commit 3f6b390
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/grammars/isodoc.rnc b/grammars/isodoc.rnc
@@ -674,7 +674,7 @@ termsubject =
 termdefinition =
   element definition {
     attribute type { text }?,
-    verbaldefinition | nonverbalrep | (verbaldefinition, nonverbalrep)
+    (verbaldefinition | nonverbalrep | (verbaldefinition, nonverbalrep))
   }
 
 verbaldefinition = element verbal-definition {

diff --git a/grammars/isodoc.rng b/grammars/isodoc.rng
@@ -2067,6 +2067,9 @@
   </define>
   <define name="termdefinition">
     <element name="definition">
+      <optional>
+        <attribute name="type"/>
+      </optional>
       <choice>
         <ref name="verbaldefinition"/>
         <ref name="nonverbalrep"/>