start -> rule-seq-opt [SimNode]
  rule-seq-opt -> rule-seq [SimNode]
    rule-seq -> rule-seq rule [SimNode]
      rule-seq -> rule-seq rule [SimNode]
        rule-seq -> rule [SimNode]
          rule <* -> rule-name-opt symbol ARROW symbol-seq-opt > [SimNode]
            rule-name-opt -> [SimNode]
            symbol -> IDENT attrib-seq-opt [SimNode]
              IDENT
              attrib-seq-opt -> [SimNode]
            ARROW
            symbol-seq-opt -> symbol-seq [SimNode]
              symbol-seq -> symbol-seq symbol [SimNode]
                symbol-seq -> symbol [SimNode]
                  symbol -> IDENT attrib-seq-opt [SimNode]
                    IDENT
                    attrib-seq-opt -> [SimNode]
                symbol -> IDENT attrib-seq-opt [SimNode]
                  IDENT
                  attrib-seq-opt -> [SimNode]
        rule <* -> rule-name-opt symbol ARROW symbol-seq-opt > [SimNode]
          rule-name-opt -> [SimNode]
          symbol -> IDENT attrib-seq-opt [SimNode]
            IDENT
            attrib-seq-opt -> [SimNode]
          ARROW
          symbol-seq-opt -> [SimNode]
      rule <* -> rule-name-opt symbol ARROW symbol-seq-opt > [SimNode]
        rule-name-opt -> rule-name [SimNode]
          rule-name -> LBRACK slip-spec-opt IDENT RBRACK [SimNode]
            LBRACK
            slip-spec-opt -> [SimNode]
            IDENT
            RBRACK
        symbol -> IDENT attrib-seq-opt [SimNode]
          IDENT
          attrib-seq-opt -> [SimNode]
        ARROW
        symbol-seq-opt -> symbol-seq [SimNode]
          symbol-seq -> symbol [SimNode]
            symbol -> IDENT attrib-seq-opt [SimNode]
              IDENT
              attrib-seq-opt -> [SimNode]