module z/para/Para
exports
  sorts Para

  context-free syntax
    "─" "section" ZName "parents" {ZName ","}* "└" -> Para {cons("ZSect")}
    "─" ZedPara "└" -> Para {cons("ZPara")}
    "╷" AxPara "└" -> Para {cons("ZPara")}
    "┌" SchPara "└" -> Para {cons("ZPara")}
    "╷" "═" GenaxPara "└" -> Para {cons("ZPara")}
    "┌" "═" GenschPara "└" -> Para {cons("ZPara")}
