xml - RelaxNG compact schema 用于任一/两个元素的任意顺序

Question

我正在为一个 XML 文件编写 RelaxNG Compact 模式，其中 <wrap> 的内容元素必须恰好是以下之一:

<wrap><a/></wrap>
<wrap><b/></wrap>
<wrap><a/><b/></wrap>
<wrap><b/><a/></wrap>

英语，要么 <a/>或 <b/>允许每人出现一次，或以任意顺序同时出现，但其中一个必须出现。

WrapElement 是否有更好(更紧凑)的定义？比下面的？

grammar {
  start = 
    element wrap { WrapElement }

  WrapElement =
    (
      element a {empty}, 
      element b {empty}?
    )|(
      element a {empty},
      element b {empty}?
    )
}

---

以下是关闭的。它当然更简洁，它匹配所有允许的变体，并且不允许元素出现不止一次。但是，它也错误地允许一个空的 <wrap/>。元素:

grammar {
  start = 
    element wrap { WrapElement }

  WrapElement =
    element a {empty}?
    & element b {empty}?
}

Answer 1

以下对我有用:

grammar {
  start = 
    element wrap { (a|b)|(a&b) }

  a = element a {empty}
  b = element b {empty}
}