@prefix : <http://www.w3.org/2000/10/swap/grammar/bnf2html#> .
    @prefix cfg: <http://www.w3.org/2000/10/swap/grammar/bnf#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix n3: <http://www.w3.org/2000/10/swap/grammar/n3#> .
    @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
    @prefix rul: <http://www.w3.org/2000/10/swap/grammar/bnf-rules#> .
    
     @forSome <#_g0>,
                <#_g1>,
                <#_g2>,
                <#_g3>,
                <#_g4>,
                <#_g5> .
    
    "!"     :reference """<b><code>"!"</code></b>""" .
    
    "("     :reference """<b><code>"("</code></b>""" .
    
    ")"     :reference """<b><code>")"</code></b>""" .
    
    ","     :reference """<b><code>","</code></b>""" .
    
    "."     :reference """<b><code>"."</code></b>""" .
    
    ";"     :reference """<b><code>";"</code></b>""" .
    
    "<="     :reference """<b><code>"<="</code></b>""" .
    
    "="     :reference """<b><code>"="</code></b>""" .
    
    "=>"     :reference """<b><code>"=>"</code></b>""" .
    
    "@"     :reference """<b><code>"@"</code></b>""" .
    
    "@a"     :reference """<b><code>"@a"</code></b>""" .
    
    "@base"     :reference """<b><code>"@base"</code></b>""" .
    
    "@false"     :reference """<b><code>"@false"</code></b>""" .
    
    "@forAll"     :reference """<b><code>"@forAll"</code></b>""" .
    
    "@forSome"     :reference """<b><code>"@forSome"</code></b>""" .
    
    "@has"     :reference """<b><code>"@has"</code></b>""" .
    
    "@is"     :reference """<b><code>"@is"</code></b>""" .
    
    "@keywords"     :reference """<b><code>"@keywords"</code></b>""" .
    
    "@of"     :reference """<b><code>"@of"</code></b>""" .
    
    "@prefix"     :reference """<b><code>"@prefix"</code></b>""" .
    
    "@true"     :reference """<b><code>"@true"</code></b>""" .
    
    "["     :reference """<b><code>"["</code></b>""" .
    
    "]"     :reference """<b><code>"]"</code></b>""" .
    
    "^"     :reference """<b><code>"^"</code></b>""" .
    
    "^^"     :reference """<b><code>"^^"</code></b>""" .
    
    "{"     :reference """<b><code>"{"</code></b>""" .
    
    "}"     :reference """<b><code>"}"</code></b>""" .
    
    ()     a :Sequence,
                :SequenceTail;
         :seqlabel "<em>void</em>" .
      ( "!"
        n3:expression )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"!"</code></b> <a href='#expression'>expression</a>""" .
      ( "("
        n3:pathlist
        ")" )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"("</code></b> <a href='#pathlist'>pathlist</a> <b><code>")"</code></b>""" .
      ( ")" )
         a :SequenceTail;
         :seqlabel """<b><code>")"</code></b>""" .
      ( ","
        n3:barename
        <#_g3> )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>","</code></b> <a href='#barename'>barename</a> <a href='#barename_csl_tail'>barename_csl_tail</a>""" .
      ( ","
        n3:object
        n3:objecttail )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>","</code></b> <a href='#object'>object</a> <a href='#objecttail'>objecttail</a>""" .
      ( ","
        n3:symbol
        <#_g4> )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>","</code></b> <a href='#symbol'>symbol</a> <a href='#symbol_csl_tail'>symbol_csl_tail</a>""" .
      ( ","
        n3:symbol
        <#_g5> )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>","</code></b> <a href='#symbol'>symbol</a> <a href='#symbol_csl_tail'>symbol_csl_tail</a>""" .
      ( "."
        n3:statementlist )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"."</code></b> <a href='#statementlist'>statementlist</a>""" .
      ( "."
        n3:statements_optional )
         a :SequenceTail;
         :seqlabel """<b><code>"."</code></b> <a href='#statements_optional'>statements_optional</a>""" .
      ( "0"
        0 )
         log:outputString """<html>
<head>
   <title>BNF</title>
</head>
<body>
  <h1>BNF</h1>
  <p>Productions are in normal type, linked to their definitions.<br />
    <em>Regular expressions are in italics</em><br />
    <b><code>Literal characters in quoted in bold</code></b><br />
    <em>void</em> means an empty production.
  </p>
  <dl>
""" .
      ( ";"
        n3:propertylist )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>";"</code></b> <a href='#propertylist'>propertylist</a>""" .
      ( "<=" )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"<="</code></b>""" .
      ( "=" )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"="</code></b>""" .
      ( "=>" )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"=>"</code></b>""" .
      ( "@"
        n3:langcode )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"@"</code></b> <a href='#langcode'>langcode</a>""" .
      ( "@a" )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"@a"</code></b>""" .
      ( "@base"
        n3:explicituri )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"@base"</code></b> <a href='#explicituri'>explicituri</a>""" .
      ( "@false" )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"@false"</code></b>""" .
      ( "@forAll"
        <#_g0> )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"@forAll"</code></b> <a href='#symbol_csl'>symbol_csl</a>""" .
      ( "@forSome"
        <#_g1> )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"@forSome"</code></b> <a href='#symbol_csl'>symbol_csl</a>""" .
      ( "@has"
        n3:expression )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"@has"</code></b> <a href='#expression'>expression</a>""" .
      ( "@is"
        n3:expression
        "@of" )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"@is"</code></b> <a href='#expression'>expression</a> <b><code>"@of"</code></b>""" .
      ( "@keywords"
        <#_g2> )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"@keywords"</code></b> <a href='#barename_csl'>barename_csl</a>""" .
      ( "@of" )
         a :SequenceTail;
         :seqlabel """<b><code>"@of"</code></b>""" .
      ( "@prefix"
        n3:prefix
        n3:explicituri )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"@prefix"</code></b> <a href='#prefix'>prefix</a> <a href='#explicituri'>explicituri</a>""" .
      ( "@true" )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"@true"</code></b>""" .
      ( "["
        n3:propertylist
        "]" )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"["</code></b> <a href='#propertylist'>propertylist</a> <b><code>"]"</code></b>""" .
      ( "]" )
         a :SequenceTail;
         :seqlabel """<b><code>"]"</code></b>""" .
      ( "^"
        n3:expression )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"^"</code></b> <a href='#expression'>expression</a>""" .
      ( "^^"
        n3:symbol )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"^^"</code></b> <a href='#symbol'>symbol</a>""" .
      ( "barename"
        0 )
         log:outputString """  <dt><a name='barename'>barename</a></dt><dd>
""" .
      ( "barename"
        6 )
         log:outputString """	<p><em>[A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*</em></p>
""" .
      ( "barename"
        9 )
         log:outputString "\t</dd>\n" .
      ( "barename_csl"
        0 )
         log:outputString """  <dt><a name='barename_csl'>barename_csl</a></dt><dd>
""" .
      ( "barename_csl"
        5 )
         log:outputString """		<p><a href='#barename'>barename</a> <a href='#barename_csl_tail'>barename_csl_tail</a></p>
""",
                """		<p><em>void</em></p>
""" .
      ( "barename_csl"
        9 )
         log:outputString "\t</dd>\n" .
      ( "barename_csl_tail"
        0 )
         log:outputString """  <dt><a name='barename_csl_tail'>barename_csl_tail</a></dt><dd>
""" .
      ( "barename_csl_tail"
        5 )
         log:outputString """		<p><b><code>","</code></b> <a href='#barename'>barename</a> <a href='#barename_csl_tail'>barename_csl_tail</a></p>
""",
                """		<p><em>void</em></p>
""" .
      ( "barename_csl_tail"
        9 )
         log:outputString "\t</dd>\n" .
      ( "boolean"
        0 )
         log:outputString """  <dt><a name='boolean'>boolean</a></dt><dd>
""" .
      ( "boolean"
        5 )
         log:outputString """		<p><b><code>"@false"</code></b></p>
""",
                """		<p><b><code>"@true"</code></b></p>
""" .
      ( "boolean"
        9 )
         log:outputString "\t</dd>\n" .
      ( "decimal"
        0 )
         log:outputString """  <dt><a name='decimal'>decimal</a></dt><dd>
""" .
      ( "decimal"
        6 )
         log:outputString """	<p><em>[-+]?[0-9]+(\\.[0-9]+)?</em></p>
""" .
      ( "decimal"
        9 )
         log:outputString "\t</dd>\n" .
      ( "declaration"
        0 )
         log:outputString """  <dt><a name='declaration'>declaration</a></dt><dd>
""" .
      ( "declaration"
        5 )
         log:outputString """		<p><b><code>"@base"</code></b> <a href='#explicituri'>explicituri</a></p>
""",
                """		<p><b><code>"@keywords"</code></b> <a href='#barename_csl'>barename_csl</a></p>
""",
                """		<p><b><code>"@prefix"</code></b> <a href='#prefix'>prefix</a> <a href='#explicituri'>explicituri</a></p>
""" .
      ( "declaration"
        9 )
         log:outputString "\t</dd>\n" .
      ( "document"
        0 )
         log:outputString """  <dt><a name='document'>document</a></dt><dd>
""" .
      ( "document"
        5 )
         log:outputString """		<p><a href='#statements_optional'>statements_optional</a> <em>EOF</em></p>
""" .
      ( "document"
        9 )
         log:outputString "\t</dd>\n" .
      ( "double"
        0 )
         log:outputString """  <dt><a name='double'>double</a></dt><dd>
""" .
      ( "double"
        6 )
         log:outputString """	<p><em>[-+]?[0-9]+(\\.[0-9]+)?([eE][-+]?[0-9]+)</em></p>
""" .
      ( "double"
        9 )
         log:outputString "\t</dd>\n" .
      ( "dtlang"
        0 )
         log:outputString """  <dt><a name='dtlang'>dtlang</a></dt><dd>
""" .
      ( "dtlang"
        5 )
         log:outputString """		<p><b><code>"@"</code></b> <a href='#langcode'>langcode</a></p>
""",
                """		<p><b><code>"^^"</code></b> <a href='#symbol'>symbol</a></p>
""",
                """		<p><em>void</em></p>
""" .
      ( "dtlang"
        9 )
         log:outputString "\t</dd>\n" .
      ( "existential"
        0 )
         log:outputString """  <dt><a name='existential'>existential</a></dt><dd>
""" .
      ( "existential"
        5 )
         log:outputString """		<p><b><code>"@forSome"</code></b> <a href='#symbol_csl'>symbol_csl</a></p>
""" .
      ( "existential"
        9 )
         log:outputString "\t</dd>\n" .
      ( "explicituri"
        0 )
         log:outputString """  <dt><a name='explicituri'>explicituri</a></dt><dd>
""" .
      ( "explicituri"
        6 )
         log:outputString """	<p><em><[^>]*></em></p>
""" .
      ( "explicituri"
        9 )
         log:outputString "\t</dd>\n" .
      ( "expression"
        0 )
         log:outputString """  <dt><a name='expression'>expression</a></dt><dd>
""" .
      ( "expression"
        5 )
         log:outputString """		<p><a href='#pathitem'>pathitem</a> <a href='#pathtail'>pathtail</a></p>
""" .
      ( "expression"
        9 )
         log:outputString "\t</dd>\n" .
      ( "formulacontent"
        0 )
         log:outputString """  <dt><a name='formulacontent'>formulacontent</a></dt><dd>
""" .
      ( "formulacontent"
        5 )
         log:outputString """		<p><a href='#statementlist'>statementlist</a></p>
""" .
      ( "formulacontent"
        9 )
         log:outputString "\t</dd>\n" .
      ( "integer"
        0 )
         log:outputString """  <dt><a name='integer'>integer</a></dt><dd>
""" .
      ( "integer"
        6 )
         log:outputString """	<p><em>[-+]?[0-9]+</em></p>
""" .
      ( "integer"
        9 )
         log:outputString "\t</dd>\n" .
      ( "langcode"
        0 )
         log:outputString """  <dt><a name='langcode'>langcode</a></dt><dd>
""" .
      ( "langcode"
        6 )
         log:outputString """	<p><em>[a-z]+(-[a-z0-9]+)*</em></p>
""" .
      ( "langcode"
        9 )
         log:outputString "\t</dd>\n" .
      ( "literal"
        0 )
         log:outputString """  <dt><a name='literal'>literal</a></dt><dd>
""" .
      ( "literal"
        5 )
         log:outputString """		<p><a href='#string'>string</a> <a href='#dtlang'>dtlang</a></p>
""" .
      ( "literal"
        9 )
         log:outputString "\t</dd>\n" .
      ( "numericliteral"
        0 )
         log:outputString """  <dt><a name='numericliteral'>numericliteral</a></dt><dd>
""" .
      ( "numericliteral"
        5 )
         log:outputString """		<p><a href='#decimal'>decimal</a></p>
""",
                """		<p><a href='#double'>double</a></p>
""",
                """		<p><a href='#integer'>integer</a></p>
""" .
      ( "numericliteral"
        9 )
         log:outputString "\t</dd>\n" .
      ( "object"
        0 )
         log:outputString """  <dt><a name='object'>object</a></dt><dd>
""" .
      ( "object"
        5 )
         log:outputString """		<p><a href='#expression'>expression</a></p>
""" .
      ( "object"
        9 )
         log:outputString "\t</dd>\n" .
      ( "objecttail"
        0 )
         log:outputString """  <dt><a name='objecttail'>objecttail</a></dt><dd>
""" .
      ( "objecttail"
        5 )
         log:outputString """		<p><b><code>","</code></b> <a href='#object'>object</a> <a href='#objecttail'>objecttail</a></p>
""",
                """		<p><em>void</em></p>
""" .
      ( "objecttail"
        9 )
         log:outputString "\t</dd>\n" .
      ( "pathitem"
        0 )
         log:outputString """  <dt><a name='pathitem'>pathitem</a></dt><dd>
""" .
      ( "pathitem"
        5 )
         log:outputString """		<p><a href='#boolean'>boolean</a></p>
""",
                """		<p><a href='#literal'>literal</a></p>
""",
                """		<p><a href='#numericliteral'>numericliteral</a></p>
""",
                """		<p><a href='#quickvariable'>quickvariable</a></p>
""",
                """		<p><a href='#symbol'>symbol</a></p>
""",
                """		<p><b><code>"("</code></b> <a href='#pathlist'>pathlist</a> <b><code>")"</code></b></p>
""",
                """		<p><b><code>"["</code></b> <a href='#propertylist'>propertylist</a> <b><code>"]"</code></b></p>
""",
                """		<p><b><code>"{"</code></b> <a href='#formulacontent'>formulacontent</a> <b><code>"}"</code></b></p>
""" .
      ( "pathitem"
        9 )
         log:outputString "\t</dd>\n" .
      ( "pathlist"
        0 )
         log:outputString """  <dt><a name='pathlist'>pathlist</a></dt><dd>
""" .
      ( "pathlist"
        5 )
         log:outputString """		<p><a href='#expression'>expression</a> <a href='#pathlist'>pathlist</a></p>
""",
                """		<p><em>void</em></p>
""" .
      ( "pathlist"
        9 )
         log:outputString "\t</dd>\n" .
      ( "pathtail"
        0 )
         log:outputString """  <dt><a name='pathtail'>pathtail</a></dt><dd>
""" .
      ( "pathtail"
        5 )
         log:outputString """		<p><b><code>"!"</code></b> <a href='#expression'>expression</a></p>
""",
                """		<p><b><code>"^"</code></b> <a href='#expression'>expression</a></p>
""",
                """		<p><em>void</em></p>
""" .
      ( "pathtail"
        9 )
         log:outputString "\t</dd>\n" .
      ( "prefix"
        0 )
         log:outputString """  <dt><a name='prefix'>prefix</a></dt><dd>
""" .
      ( "prefix"
        6 )
         log:outputString """	<p><em>([A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*)?:</em></p>
""" .
      ( "prefix"
        9 )
         log:outputString "\t</dd>\n" .
      ( "propertylist"
        0 )
         log:outputString """  <dt><a name='propertylist'>propertylist</a></dt><dd>
""" .
      ( "propertylist"
        5 )
         log:outputString """		<p><a href='#verb'>verb</a> <a href='#object'>object</a> <a href='#objecttail'>objecttail</a> <a href='#propertylisttail'>propertylisttail</a></p>
""",
                """		<p><em>void</em></p>
""" .
      ( "propertylist"
        9 )
         log:outputString "\t</dd>\n" .
      ( "propertylisttail"
        0 )
         log:outputString """  <dt><a name='propertylisttail'>propertylisttail</a></dt><dd>
""" .
      ( "propertylisttail"
        5 )
         log:outputString """		<p><b><code>";"</code></b> <a href='#propertylist'>propertylist</a></p>
""",
                """		<p><em>void</em></p>
""" .
      ( "propertylisttail"
        9 )
         log:outputString "\t</dd>\n" .
      ( "qname"
        0 )
         log:outputString """  <dt><a name='qname'>qname</a></dt><dd>
""" .
      ( "qname"
        6 )
         log:outputString """	<p><em>(([A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*)?:)?[A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*</em></p>
""" .
      ( "qname"
        9 )
         log:outputString "\t</dd>\n" .
      ( "quickvariable"
        0 )
         log:outputString """  <dt><a name='quickvariable'>quickvariable</a></dt><dd>
""" .
      ( "quickvariable"
        6 )
         log:outputString """	<p><em>\\?[A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*</em></p>
""" .
      ( "quickvariable"
        9 )
         log:outputString "\t</dd>\n" .
      ( "simpleStatement"
        0 )
         log:outputString """  <dt><a name='simpleStatement'>simpleStatement</a></dt><dd>
""" .
      ( "simpleStatement"
        5 )
         log:outputString """		<p><a href='#subject'>subject</a> <a href='#propertylist'>propertylist</a></p>
""" .
      ( "simpleStatement"
        9 )
         log:outputString "\t</dd>\n" .
      ( "statement"
        0 )
         log:outputString """  <dt><a name='statement'>statement</a></dt><dd>
""" .
      ( "statement"
        5 )
         log:outputString """		<p><a href='#declaration'>declaration</a></p>
""",
                """		<p><a href='#existential'>existential</a></p>
""",
                """		<p><a href='#simpleStatement'>simpleStatement</a></p>
""",
                """		<p><a href='#universal'>universal</a></p>
""" .
      ( "statement"
        9 )
         log:outputString "\t</dd>\n" .
      ( "statementlist"
        0 )
         log:outputString """  <dt><a name='statementlist'>statementlist</a></dt><dd>
""" .
      ( "statementlist"
        5 )
         log:outputString """		<p><a href='#statement'>statement</a> <a href='#statementtail'>statementtail</a></p>
""",
                """		<p><em>void</em></p>
""" .
      ( "statementlist"
        9 )
         log:outputString "\t</dd>\n" .
      ( "statements_optional"
        0 )
         log:outputString """  <dt><a name='statements_optional'>statements_optional</a></dt><dd>
""" .
      ( "statements_optional"
        5 )
         log:outputString """		<p><a href='#statement'>statement</a> <b><code>"."</code></b> <a href='#statements_optional'>statements_optional</a></p>
""",
                """		<p><em>void</em></p>
""" .
      ( "statements_optional"
        9 )
         log:outputString "\t</dd>\n" .
      ( "statementtail"
        0 )
         log:outputString """  <dt><a name='statementtail'>statementtail</a></dt><dd>
""" .
      ( "statementtail"
        5 )
         log:outputString """		<p><b><code>"."</code></b> <a href='#statementlist'>statementlist</a></p>
""",
                """		<p><em>void</em></p>
""" .
      ( "statementtail"
        9 )
         log:outputString "\t</dd>\n" .
      ( "string"
        0 )
         log:outputString """  <dt><a name='string'>string</a></dt><dd>
""" .
      ( "string"
        6 )
         log:outputString """	<p><em>(\"""[^"\\\\]*(?:(?:\\\\.|"(?!""))[^"\\\\]*)*\""")|("[^"\\\\]*(?:\\\\.[^"\\\\]*)*")</em></p>
""" .
      ( "string"
        9 )
         log:outputString "\t</dd>\n" .
      ( "subject"
        0 )
         log:outputString """  <dt><a name='subject'>subject</a></dt><dd>
""" .
      ( "subject"
        5 )
         log:outputString """		<p><a href='#expression'>expression</a></p>
""" .
      ( "subject"
        9 )
         log:outputString "\t</dd>\n" .
      ( "symbol"
        0 )
         log:outputString """  <dt><a name='symbol'>symbol</a></dt><dd>
""" .
      ( "symbol"
        5 )
         log:outputString """		<p><a href='#explicituri'>explicituri</a></p>
""",
                """		<p><a href='#qname'>qname</a></p>
""" .
      ( "symbol"
        9 )
         log:outputString "\t</dd>\n" .
      ( "symbol_csl"
        0 )
         log:outputString """  <dt><a name='symbol_csl'>symbol_csl</a></dt><dd>
""" .
      ( "symbol_csl"
        5 )
         log:outputString """		<p><a href='#symbol'>symbol</a> <a href='#symbol_csl_tail'>symbol_csl_tail</a></p>
""",
                """		<p><em>void</em></p>
""" .
      ( "symbol_csl"
        9 )
         log:outputString "\t</dd>\n" .
      ( "symbol_csl_tail"
        0 )
         log:outputString """  <dt><a name='symbol_csl_tail'>symbol_csl_tail</a></dt><dd>
""" .
      ( "symbol_csl_tail"
        5 )
         log:outputString """		<p><b><code>","</code></b> <a href='#symbol'>symbol</a> <a href='#symbol_csl_tail'>symbol_csl_tail</a></p>
""",
                """		<p><em>void</em></p>
""" .
      ( "symbol_csl_tail"
        9 )
         log:outputString "\t</dd>\n" .
      ( "universal"
        0 )
         log:outputString """  <dt><a name='universal'>universal</a></dt><dd>
""" .
      ( "universal"
        5 )
         log:outputString """		<p><b><code>"@forAll"</code></b> <a href='#symbol_csl'>symbol_csl</a></p>
""" .
      ( "universal"
        9 )
         log:outputString "\t</dd>\n" .
      ( "verb"
        0 )
         log:outputString """  <dt><a name='verb'>verb</a></dt><dd>
""" .
      ( "verb"
        5 )
         log:outputString """		<p><a href='#expression'>expression</a></p>
""",
                """		<p><b><code>"<="</code></b></p>
""",
                """		<p><b><code>"="</code></b></p>
""",
                """		<p><b><code>"=>"</code></b></p>
""",
                """		<p><b><code>"@a"</code></b></p>
""",
                """		<p><b><code>"@has"</code></b> <a href='#expression'>expression</a></p>
""",
                """		<p><b><code>"@is"</code></b> <a href='#expression'>expression</a> <b><code>"@of"</code></b></p>
""" .
      ( "verb"
        9 )
         log:outputString "\t</dd>\n" .
      ( "{"
        n3:formulacontent
        "}" )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<b><code>"{"</code></b> <a href='#formulacontent'>formulacontent</a> <b><code>"}"</code></b>""" .
      ( "}" )
         a :SequenceTail;
         :seqlabel """<b><code>"}"</code></b>""" .
      ( "~~"
        9 )
         log:outputString "\n</dl>\n</html>\n" .
      ( cfg:eof )
         a :SequenceTail;
         :seqlabel "<em>EOF</em>" .
      ( n3:barename
        <#_g3> )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#barename'>barename</a> <a href='#barename_csl_tail'>barename_csl_tail</a>" .
      ( n3:boolean )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#boolean'>boolean</a>" .
      ( n3:decimal )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#decimal'>decimal</a>" .
      ( n3:declaration )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#declaration'>declaration</a>" .
      ( n3:double )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#double'>double</a>" .
      ( n3:dtlang )
         a :SequenceTail;
         :seqlabel "<a href='#dtlang'>dtlang</a>" .
      ( n3:existential )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#existential'>existential</a>" .
      ( n3:explicituri )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#explicituri'>explicituri</a>" .
      ( n3:expression
        "@of" )
         a :SequenceTail;
         :seqlabel """<a href='#expression'>expression</a> <b><code>"@of"</code></b>""" .
      ( n3:expression
        n3:pathlist )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#expression'>expression</a> <a href='#pathlist'>pathlist</a>" .
      ( n3:expression )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#expression'>expression</a>" .
      ( n3:formulacontent
        "}" )
         a :SequenceTail;
         :seqlabel """<a href='#formulacontent'>formulacontent</a> <b><code>"}"</code></b>""" .
      ( n3:integer )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#integer'>integer</a>" .
      ( n3:langcode )
         a :SequenceTail;
         :seqlabel "<a href='#langcode'>langcode</a>" .
      ( n3:literal )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#literal'>literal</a>" .
      ( n3:numericliteral )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#numericliteral'>numericliteral</a>" .
      ( n3:object
        n3:objecttail
        n3:propertylisttail )
         a :SequenceTail;
         :seqlabel "<a href='#object'>object</a> <a href='#objecttail'>objecttail</a> <a href='#propertylisttail'>propertylisttail</a>" .
      ( n3:object
        n3:objecttail )
         a :SequenceTail;
         :seqlabel "<a href='#object'>object</a> <a href='#objecttail'>objecttail</a>" .
      ( n3:objecttail
        n3:propertylisttail )
         a :SequenceTail;
         :seqlabel "<a href='#objecttail'>objecttail</a> <a href='#propertylisttail'>propertylisttail</a>" .
      ( n3:objecttail )
         a :SequenceTail;
         :seqlabel "<a href='#objecttail'>objecttail</a>" .
      ( n3:pathitem
        n3:pathtail )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#pathitem'>pathitem</a> <a href='#pathtail'>pathtail</a>" .
      ( n3:pathlist
        ")" )
         a :SequenceTail;
         :seqlabel """<a href='#pathlist'>pathlist</a> <b><code>")"</code></b>""" .
      ( n3:pathlist )
         a :SequenceTail;
         :seqlabel "<a href='#pathlist'>pathlist</a>" .
      ( n3:pathtail )
         a :SequenceTail;
         :seqlabel "<a href='#pathtail'>pathtail</a>" .
      ( n3:prefix
        n3:explicituri )
         a :SequenceTail;
         :seqlabel "<a href='#prefix'>prefix</a> <a href='#explicituri'>explicituri</a>" .
      ( n3:propertylist
        "]" )
         a :SequenceTail;
         :seqlabel """<a href='#propertylist'>propertylist</a> <b><code>"]"</code></b>""" .
      ( n3:propertylist )
         a :SequenceTail;
         :seqlabel "<a href='#propertylist'>propertylist</a>" .
      ( n3:propertylisttail )
         a :SequenceTail;
         :seqlabel "<a href='#propertylisttail'>propertylisttail</a>" .
      ( n3:qname )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#qname'>qname</a>" .
      ( n3:quickvariable )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#quickvariable'>quickvariable</a>" .
      ( n3:simpleStatement )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#simpleStatement'>simpleStatement</a>" .
      ( n3:statement
        "."
        n3:statements_optional )
         a :Sequence,
                :SequenceTail;
         :seqlabel """<a href='#statement'>statement</a> <b><code>"."</code></b> <a href='#statements_optional'>statements_optional</a>""" .
      ( n3:statement
        n3:statementtail )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#statement'>statement</a> <a href='#statementtail'>statementtail</a>" .
      ( n3:statementlist )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#statementlist'>statementlist</a>" .
      ( n3:statements_optional
        cfg:eof )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#statements_optional'>statements_optional</a> <em>EOF</em>" .
      ( n3:statements_optional )
         a :SequenceTail;
         :seqlabel "<a href='#statements_optional'>statements_optional</a>" .
      ( n3:statementtail )
         a :SequenceTail;
         :seqlabel "<a href='#statementtail'>statementtail</a>" .
      ( n3:string
        n3:dtlang )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#string'>string</a> <a href='#dtlang'>dtlang</a>" .
      ( n3:subject
        n3:propertylist )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#subject'>subject</a> <a href='#propertylist'>propertylist</a>" .
      ( n3:symbol
        <#_g4> )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#symbol'>symbol</a> <a href='#symbol_csl_tail'>symbol_csl_tail</a>" .
      ( n3:symbol
        <#_g5> )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#symbol'>symbol</a> <a href='#symbol_csl_tail'>symbol_csl_tail</a>" .
      ( n3:symbol )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#symbol'>symbol</a>" .
      ( n3:universal )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#universal'>universal</a>" .
      ( n3:verb
        n3:object
        n3:objecttail
        n3:propertylisttail )
         a :Sequence,
                :SequenceTail;
         :seqlabel "<a href='#verb'>verb</a> <a href='#object'>object</a> <a href='#objecttail'>objecttail</a> <a href='#propertylisttail'>propertylisttail</a>" .
      ( <#_g0> )
         a :SequenceTail;
         :seqlabel "<a href='#symbol_csl'>symbol_csl</a>" .
      ( <#_g1> )
         a :SequenceTail;
         :seqlabel "<a href='#symbol_csl'>symbol_csl</a>" .
      ( <#_g2> )
         a :SequenceTail;
         :seqlabel "<a href='#barename_csl'>barename_csl</a>" .
      ( <#_g3> )
         a :SequenceTail;
         :seqlabel "<a href='#barename_csl_tail'>barename_csl_tail</a>" .
      ( <#_g4> )
         a :SequenceTail;
         :seqlabel "<a href='#symbol_csl_tail'>symbol_csl_tail</a>" .
      ( <#_g5> )
         a :SequenceTail;
         :seqlabel "<a href='#symbol_csl_tail'>symbol_csl_tail</a>" .
    
    <cfg2bnf.n3>     rdfs:comment """ 

These are rules to take the shortcut ontology such as cfg:zeroOrOneOf 
and expland them into the base cfg:mustBeOneSequence.
It also generates human-readable labels for things which have been
generated.

This file was split from n3.n3 on 2007-01-20.
""" .
    
    cfg:eof     :reference "<em>EOF</em>" .
    
    n3:barename     a :Production;
         cfg:canStartWith "_",
                "a";
         cfg:label "barename";
         cfg:matches "[A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*";
         :reference "<a href='#barename'>barename</a>" .
    
    n3:boolean     a :Production;
         cfg:canBeSequence  (
        "@false" ),
                 (
        "@true" );
         cfg:label "boolean";
         cfg:mustBeOneSequence  (
         (
            "@true" )
         (
            "@false" ) );
         :optionTail (),
                 (
         (
            "@false" ) ),
                 (
         (
            "@true" )
         (
            "@false" ) );
         :reference "<a href='#boolean'>boolean</a>" .
    
    n3:decimal     a :Production;
         cfg:canStartWith "+",
                "-",
                "0";
         cfg:label "decimal";
         cfg:matches "[-+]?[0-9]+(\\.[0-9]+)?";
         :reference "<a href='#decimal'>decimal</a>" .
    
    n3:declaration     a :Production;
         cfg:canBeSequence  (
        "@base"
        n3:explicituri ),
                 (
        "@keywords"
        <#_g2> ),
                 (
        "@prefix"
        n3:prefix
        n3:explicituri );
         cfg:label "declaration";
         cfg:mustBeOneSequence  (
         (
            "@base"
            n3:explicituri )
         (
            "@prefix"
            n3:prefix
            n3:explicituri )
         (
            "@keywords"
            <#_g2> ) );
         :optionTail (),
                 (
         (
            "@base"
            n3:explicituri )
         (
            "@prefix"
            n3:prefix
            n3:explicituri )
         (
            "@keywords"
            <#_g2> ) ),
                 (
         (
            "@keywords"
            <#_g2> ) ),
                 (
         (
            "@prefix"
            n3:prefix
            n3:explicituri )
         (
            "@keywords"
            <#_g2> ) );
         :reference "<a href='#declaration'>declaration</a>" .
    
    n3:document     a rul:Used,
                :Production;
         cfg:canBeSequence  (
        n3:statements_optional
        cfg:eof );
         cfg:label "document";
         cfg:mustBeOneSequence  (
         (
            n3:statements_optional
            cfg:eof ) );
         :optionTail (),
                 (
         (
            n3:statements_optional
            cfg:eof ) );
         :reference "<a href='#document'>document</a>" .
    
    n3:double     a :Production;
         cfg:canStartWith "+",
                "-",
                "0";
         cfg:label "double";
         cfg:matches "[-+]?[0-9]+(\\.[0-9]+)?([eE][-+]?[0-9]+)";
         :reference "<a href='#double'>double</a>" .
    
    n3:dtlang     a :Production;
         cfg:canBeSequence (),
                 (
        "@"
        n3:langcode ),
                 (
        "^^"
        n3:symbol );
         cfg:label "dtlang";
         cfg:mustBeOneSequence  (
        ()
         (
            "@"
            n3:langcode )
         (
            "^^"
            n3:symbol ) );
         :optionTail (),
                 (
        ()
         (
            "@"
            n3:langcode )
         (
            "^^"
            n3:symbol ) ),
                 (
         (
            "@"
            n3:langcode )
         (
            "^^"
            n3:symbol ) ),
                 (
         (
            "^^"
            n3:symbol ) );
         :reference "<a href='#dtlang'>dtlang</a>" .
    
    n3:existential     a :Production;
         cfg:canBeSequence  (
        "@forSome"
        <#_g1> );
         cfg:label "existential";
         cfg:mustBeOneSequence  (
         (
            "@forSome"
            <#_g1> ) );
         :optionTail (),
                 (
         (
            "@forSome"
            <#_g1> ) );
         :reference "<a href='#existential'>existential</a>" .
    
    n3:explicituri     a :Production;
         cfg:canStartWith "<";
         cfg:label "explicituri";
         cfg:matches "<[^>]*>";
         :reference "<a href='#explicituri'>explicituri</a>" .
    
    n3:expression     a :Production;
         cfg:canBeSequence  (
        n3:pathitem
        n3:pathtail );
         cfg:label "expression";
         cfg:mustBeOneSequence  (
         (
            n3:pathitem
            n3:pathtail ) );
         :optionTail (),
                 (
         (
            n3:pathitem
            n3:pathtail ) );
         :reference "<a href='#expression'>expression</a>" .
    
    n3:formulacontent     a :Production;
         cfg:canBeSequence  (
        n3:statementlist );
         cfg:label "formulacontent";
         cfg:mustBeOneSequence  (
         (
            n3:statementlist ) );
         :optionTail (),
                 (
         (
            n3:statementlist ) );
         :reference "<a href='#formulacontent'>formulacontent</a>" .
    
    n3:integer     a :Production;
         cfg:canStartWith "+",
                "-",
                "0";
         cfg:label "integer";
         cfg:matches "[-+]?[0-9]+";
         :reference "<a href='#integer'>integer</a>" .
    
    n3:langcode     a :Production;
         cfg:canStartWith "a";
         cfg:label "langcode";
         cfg:matches "[a-z]+(-[a-z0-9]+)*";
         :reference "<a href='#langcode'>langcode</a>" .
    
    n3:language     a cfg:Language;
         cfg:document n3:document;
         cfg:whiteSpace "@@@@@" .
    
    n3:literal     a :Production;
         cfg:canBeSequence  (
        n3:string
        n3:dtlang );
         cfg:label "literal";
         cfg:mustBeOneSequence  (
         (
            n3:string
            n3:dtlang ) );
         :optionTail (),
                 (
         (
            n3:string
            n3:dtlang ) );
         :reference "<a href='#literal'>literal</a>" .
    
    n3:numericliteral     a :Production;
         cfg:canBeSequence  (
        n3:decimal ),
                 (
        n3:double ),
                 (
        n3:integer );
         cfg:label "numericliteral";
         cfg:mustBeOneSequence  (
         (
            n3:integer )
         (
            n3:double )
         (
            n3:decimal ) );
         :optionTail (),
                 (
         (
            n3:decimal ) ),
                 (
         (
            n3:double )
         (
            n3:decimal ) ),
                 (
         (
            n3:integer )
         (
            n3:double )
         (
            n3:decimal ) );
         :reference "<a href='#numericliteral'>numericliteral</a>" .
    
    n3:object     a :Production;
         cfg:canBeSequence  (
        n3:expression );
         cfg:label "object";
         cfg:mustBeOneSequence  (
         (
            n3:expression ) );
         :optionTail (),
                 (
         (
            n3:expression ) );
         :reference "<a href='#object'>object</a>" .
    
    n3:objecttail     a :Production;
         cfg:canBeSequence (),
                 (
        ","
        n3:object
        n3:objecttail );
         cfg:label "objecttail";
         cfg:mustBeOneSequence  (
        ()
         (
            ","
            n3:object
            n3:objecttail ) );
         :optionTail (),
                 (
        ()
         (
            ","
            n3:object
            n3:objecttail ) ),
                 (
         (
            ","
            n3:object
            n3:objecttail ) );
         :reference "<a href='#objecttail'>objecttail</a>" .
    
    n3:pathitem     a :Production;
         cfg:canBeSequence  (
        "("
        n3:pathlist
        ")" ),
                 (
        "["
        n3:propertylist
        "]" ),
                 (
        "{"
        n3:formulacontent
        "}" ),
                 (
        n3:boolean ),
                 (
        n3:literal ),
                 (
        n3:numericliteral ),
                 (
        n3:quickvariable ),
                 (
        n3:symbol );
         cfg:label "pathitem";
         cfg:mustBeOneSequence  (
         (
            n3:symbol )
         (
            "{"
            n3:formulacontent
            "}" )
         (
            n3:quickvariable )
         (
            n3:numericliteral )
         (
            n3:literal )
         (
            "["
            n3:propertylist
            "]" )
         (
            "("
            n3:pathlist
            ")" )
         (
            n3:boolean ) );
         :optionTail (),
                 (
         (
            "("
            n3:pathlist
            ")" )
         (
            n3:boolean ) ),
                 (
         (
            "["
            n3:propertylist
            "]" )
         (
            "("
            n3:pathlist
            ")" )
         (
            n3:boolean ) ),
                 (
         (
            "{"
            n3:formulacontent
            "}" )
         (
            n3:quickvariable )
         (
            n3:numericliteral )
         (
            n3:literal )
         (
            "["
            n3:propertylist
            "]" )
         (
            "("
            n3:pathlist
            ")" )
         (
            n3:boolean ) ),
                 (
         (
            n3:boolean ) ),
                 (
         (
            n3:literal )
         (
            "["
            n3:propertylist
            "]" )
         (
            "("
            n3:pathlist
            ")" )
         (
            n3:boolean ) ),
                 (
         (
            n3:numericliteral )
         (
            n3:literal )
         (
            "["
            n3:propertylist
            "]" )
         (
            "("
            n3:pathlist
            ")" )
         (
            n3:boolean ) ),
                 (
         (
            n3:quickvariable )
         (
            n3:numericliteral )
         (
            n3:literal )
         (
            "["
            n3:propertylist
            "]" )
         (
            "("
            n3:pathlist
            ")" )
         (
            n3:boolean ) ),
                 (
         (
            n3:symbol )
         (
            "{"
            n3:formulacontent
            "}" )
         (
            n3:quickvariable )
         (
            n3:numericliteral )
         (
            n3:literal )
         (
            "["
            n3:propertylist
            "]" )
         (
            "("
            n3:pathlist
            ")" )
         (
            n3:boolean ) );
         :reference "<a href='#pathitem'>pathitem</a>" .
    
    n3:pathlist     a :Production;
         cfg:canBeSequence (),
                 (
        n3:expression
        n3:pathlist );
         cfg:label "pathlist";
         cfg:mustBeOneSequence  (
        ()
         (
            n3:expression
            n3:pathlist ) );
         :optionTail (),
                 (
        ()
         (
            n3:expression
            n3:pathlist ) ),
                 (
         (
            n3:expression
            n3:pathlist ) );
         :reference "<a href='#pathlist'>pathlist</a>" .
    
    n3:pathtail     a :Production;
         cfg:canBeSequence (),
                 (
        "!"
        n3:expression ),
                 (
        "^"
        n3:expression );
         cfg:label "pathtail";
         cfg:mustBeOneSequence  (
        ()
         (
            "!"
            n3:expression )
         (
            "^"
            n3:expression ) );
         :optionTail (),
                 (
        ()
         (
            "!"
            n3:expression )
         (
            "^"
            n3:expression ) ),
                 (
         (
            "!"
            n3:expression )
         (
            "^"
            n3:expression ) ),
                 (
         (
            "^"
            n3:expression ) );
         :reference "<a href='#pathtail'>pathtail</a>" .
    
    n3:prefix     a :Production;
         cfg:canStartWith ":",
                "_",
                "a";
         cfg:label "prefix";
         cfg:matches "([A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*)?:";
         :reference "<a href='#prefix'>prefix</a>" .
    
    n3:propertylist     a :Production;
         cfg:canBeSequence (),
                 (
        n3:verb
        n3:object
        n3:objecttail
        n3:propertylisttail );
         cfg:label "propertylist";
         cfg:mustBeOneSequence  (
        ()
         (
            n3:verb
            n3:object
            n3:objecttail
            n3:propertylisttail ) );
         :optionTail (),
                 (
        ()
         (
            n3:verb
            n3:object
            n3:objecttail
            n3:propertylisttail ) ),
                 (
         (
            n3:verb
            n3:object
            n3:objecttail
            n3:propertylisttail ) );
         :reference "<a href='#propertylist'>propertylist</a>" .
    
    n3:propertylisttail     a :Production;
         cfg:canBeSequence (),
                 (
        ";"
        n3:propertylist );
         cfg:label "propertylisttail";
         cfg:mustBeOneSequence  (
        ()
         (
            ";"
            n3:propertylist ) );
         :optionTail (),
                 (
        ()
         (
            ";"
            n3:propertylist ) ),
                 (
         (
            ";"
            n3:propertylist ) );
         :reference "<a href='#propertylisttail'>propertylisttail</a>" .
    
    n3:qname     a :Production;
         cfg:canStartWith ":",
                "_",
                "a";
         cfg:label "qname";
         cfg:matches "(([A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*)?:)?[A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*";
         :reference "<a href='#qname'>qname</a>" .
    
    n3:quickvariable     a :Production;
         cfg:canStartWith "?";
         cfg:label "quickvariable";
         cfg:matches "\\?[A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*";
         :reference "<a href='#quickvariable'>quickvariable</a>" .
    
    n3:simpleStatement     a :Production;
         cfg:canBeSequence  (
        n3:subject
        n3:propertylist );
         cfg:label "simpleStatement";
         cfg:mustBeOneSequence  (
         (
            n3:subject
            n3:propertylist ) );
         :optionTail (),
                 (
         (
            n3:subject
            n3:propertylist ) );
         :reference "<a href='#simpleStatement'>simpleStatement</a>" .
    
    n3:statement     a :Production;
         cfg:canBeSequence  (
        n3:declaration ),
                 (
        n3:existential ),
                 (
        n3:simpleStatement ),
                 (
        n3:universal );
         cfg:label "statement";
         cfg:mustBeOneSequence  (
         (
            n3:declaration )
         (
            n3:universal )
         (
            n3:existential )
         (
            n3:simpleStatement ) );
         :optionTail (),
                 (
         (
            n3:declaration )
         (
            n3:universal )
         (
            n3:existential )
         (
            n3:simpleStatement ) ),
                 (
         (
            n3:existential )
         (
            n3:simpleStatement ) ),
                 (
         (
            n3:simpleStatement ) ),
                 (
         (
            n3:universal )
         (
            n3:existential )
         (
            n3:simpleStatement ) );
         :reference "<a href='#statement'>statement</a>" .
    
    n3:statementlist     a :Production;
         cfg:canBeSequence (),
                 (
        n3:statement
        n3:statementtail );
         cfg:label "statementlist";
         cfg:mustBeOneSequence  (
        ()
         (
            n3:statement
            n3:statementtail ) );
         :optionTail (),
                 (
        ()
         (
            n3:statement
            n3:statementtail ) ),
                 (
         (
            n3:statement
            n3:statementtail ) );
         :reference "<a href='#statementlist'>statementlist</a>" .
    
    n3:statements_optional     a :Production;
         cfg:canBeSequence (),
                 (
        n3:statement
        "."
        n3:statements_optional );
         cfg:label "statements_optional";
         cfg:mustBeOneSequence  (
        ()
         (
            n3:statement
            "."
            n3:statements_optional ) );
         :optionTail (),
                 (
        ()
         (
            n3:statement
            "."
            n3:statements_optional ) ),
                 (
         (
            n3:statement
            "."
            n3:statements_optional ) );
         :reference "<a href='#statements_optional'>statements_optional</a>" .
    
    n3:statementtail     a :Production;
         cfg:canBeSequence (),
                 (
        "."
        n3:statementlist );
         cfg:label "statementtail";
         cfg:mustBeOneSequence  (
        ()
         (
            "."
            n3:statementlist ) );
         :optionTail (),
                 (
        ()
         (
            "."
            n3:statementlist ) ),
                 (
         (
            "."
            n3:statementlist ) );
         :reference "<a href='#statementtail'>statementtail</a>" .
    
    n3:string     a :Production;
         cfg:canStartWith "\"";
         cfg:label "string";
         cfg:matches """(\"""[^"\\\\]*(?:(?:\\\\.|"(?!""))[^"\\\\]*)*\""")|("[^"\\\\]*(?:\\\\.[^"\\\\]*)*")""";
         :reference "<a href='#string'>string</a>" .
    
    n3:subject     a :Production;
         cfg:canBeSequence  (
        n3:expression );
         cfg:label "subject";
         cfg:mustBeOneSequence  (
         (
            n3:expression ) );
         :optionTail (),
                 (
         (
            n3:expression ) );
         :reference "<a href='#subject'>subject</a>" .
    
    n3:symbol     a :Production;
         cfg:canBeSequence  (
        n3:explicituri ),
                 (
        n3:qname );
         cfg:label "symbol";
         cfg:mustBeOneSequence  (
         (
            n3:explicituri )
         (
            n3:qname ) );
         :optionTail (),
                 (
         (
            n3:explicituri )
         (
            n3:qname ) ),
                 (
         (
            n3:qname ) );
         :reference "<a href='#symbol'>symbol</a>" .
    
    n3:universal     a :Production;
         cfg:canBeSequence  (
        "@forAll"
        <#_g0> );
         cfg:label "universal";
         cfg:mustBeOneSequence  (
         (
            "@forAll"
            <#_g0> ) );
         :optionTail (),
                 (
         (
            "@forAll"
            <#_g0> ) );
         :reference "<a href='#universal'>universal</a>" .
    
    n3:verb     a :Production;
         cfg:canBeSequence  (
        "<=" ),
                 (
        "=" ),
                 (
        "=>" ),
                 (
        "@a" ),
                 (
        "@has"
        n3:expression ),
                 (
        "@is"
        n3:expression
        "@of" ),
                 (
        n3:expression );
         cfg:label "verb";
         cfg:mustBeOneSequence  (
         (
            n3:expression )
         (
            "@has"
            n3:expression )
         (
            "@is"
            n3:expression
            "@of" )
         (
            "@a" )
         (
            "=" )
         (
            "=>" )
         (
            "<=" ) );
         :optionTail (),
                 (
         (
            "<=" ) ),
                 (
         (
            "=" )
         (
            "=>" )
         (
            "<=" ) ),
                 (
         (
            "=>" )
         (
            "<=" ) ),
                 (
         (
            "@a" )
         (
            "=" )
         (
            "=>" )
         (
            "<=" ) ),
                 (
         (
            "@has"
            n3:expression )
         (
            "@is"
            n3:expression
            "@of" )
         (
            "@a" )
         (
            "=" )
         (
            "=>" )
         (
            "<=" ) ),
                 (
         (
            "@is"
            n3:expression
            "@of" )
         (
            "@a" )
         (
            "=" )
         (
            "=>" )
         (
            "<=" ) ),
                 (
         (
            n3:expression )
         (
            "@has"
            n3:expression )
         (
            "@is"
            n3:expression
            "@of" )
         (
            "@a" )
         (
            "=" )
         (
            "=>" )
         (
            "<=" ) );
         :reference "<a href='#verb'>verb</a>" .
    
    <#_g0>     a :Production;
         cfg:canBeSequence (),
                 (
        n3:symbol
        <#_g5> );
         cfg:commaSeparatedListOf n3:symbol;
         cfg:label "symbol_csl";
         cfg:mustBeOneSequence  (
        ()
         (
            n3:symbol
            <#_g5> ) );
         :optionTail (),
                 (
        ()
         (
            n3:symbol
            <#_g5> ) ),
                 (
         (
            n3:symbol
            <#_g5> ) );
         :reference "<a href='#symbol_csl'>symbol_csl</a>" .
    
    <#_g1>     a :Production;
         cfg:canBeSequence (),
                 (
        n3:symbol
        <#_g4> );
         cfg:commaSeparatedListOf n3:symbol;
         cfg:label "symbol_csl";
         cfg:mustBeOneSequence  (
        ()
         (
            n3:symbol
            <#_g4> ) );
         :optionTail (),
                 (
        ()
         (
            n3:symbol
            <#_g4> ) ),
                 (
         (
            n3:symbol
            <#_g4> ) );
         :reference "<a href='#symbol_csl'>symbol_csl</a>" .
    
    <#_g2>     a :Production;
         cfg:canBeSequence (),
                 (
        n3:barename
        <#_g3> );
         cfg:commaSeparatedListOf n3:barename;
         cfg:label "barename_csl";
         cfg:mustBeOneSequence  (
        ()
         (
            n3:barename
            <#_g3> ) );
         :optionTail (),
                 (
        ()
         (
            n3:barename
            <#_g3> ) ),
                 (
         (
            n3:barename
            <#_g3> ) );
         :reference "<a href='#barename_csl'>barename_csl</a>" .
    
    <#_g3>     a :Production;
         cfg:CSLTail2 n3:barename;
         cfg:canBeSequence (),
                 (
        ","
        n3:barename
        <#_g3> );
         cfg:label "barename_csl_tail";
         cfg:mustBeOneSequence  (
        ()
         (
            ","
            n3:barename
            <#_g3> ) );
         :optionTail (),
                 (
        ()
         (
            ","
            n3:barename
            <#_g3> ) ),
                 (
         (
            ","
            n3:barename
            <#_g3> ) );
         :reference "<a href='#barename_csl_tail'>barename_csl_tail</a>" .
    
    <#_g4>     a :Production;
         cfg:CSLTail2 n3:symbol;
         cfg:canBeSequence (),
                 (
        ","
        n3:symbol
        <#_g4> );
         cfg:label "symbol_csl_tail";
         cfg:mustBeOneSequence  (
        ()
         (
            ","
            n3:symbol
            <#_g4> ) );
         :optionTail (),
                 (
        ()
         (
            ","
            n3:symbol
            <#_g4> ) ),
                 (
         (
            ","
            n3:symbol
            <#_g4> ) );
         :reference "<a href='#symbol_csl_tail'>symbol_csl_tail</a>" .
    
    <#_g5>     a :Production;
         cfg:CSLTail2 n3:symbol;
         cfg:canBeSequence (),
                 (
        ","
        n3:symbol
        <#_g5> );
         cfg:label "symbol_csl_tail";
         cfg:mustBeOneSequence  (
        ()
         (
            ","
            n3:symbol
            <#_g5> ) );
         :optionTail (),
                 (
        ()
         (
            ","
            n3:symbol
            <#_g5> ) ),
                 (
         (
            ","
            n3:symbol
            <#_g5> ) );
         :reference "<a href='#symbol_csl_tail'>symbol_csl_tail</a>" .