From 57512714f6eedd9db8bc87ff434583b77f48e30d Mon Sep 17 00:00:00 2001
From: Ash Clark <amclark42@gmail.com>
Date: Mon, 13 Nov 2023 16:17:27 -0500
Subject: [PATCH 1/7] Use $indexes:range-lookup to set up
 `range:index-keys-for-field()`.

The global variable is still useful without the context of
`$indexes:collection`, so it's left as a test of what eXist can do
with the new range index.
---
 src/main/xar-resources/modules/indexes.xqm | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/main/xar-resources/modules/indexes.xqm b/src/main/xar-resources/modules/indexes.xqm
index a7f6950..c0197fa 100644
--- a/src/main/xar-resources/modules/indexes.xqm
+++ b/src/main/xar-resources/modules/indexes.xqm
@@ -218,11 +218,15 @@ function indexes:show-index-keys($node as node(), $model as map(*)) {
             return
                 switch ($indexes:show-keys-by)
                     case "field" return
+                        (: Use the range function in $indexes:range-lookup to determine which arity to use with range:index-keys-for-field().
+                          We can't re-use $indexes:range-lookup as a function here, because the global variable was not initialized explicitly with 
+                          collection($indexes:collection). :)
                         if (function-arity($indexes:range-lookup) = 4) then
-                            collection($indexes:collection)/$indexes:range-lookup($indexes:field, $indexes:start-value, $indexes:callback, 
+                            collection($indexes:collection)/range:index-keys-for-field($indexes:field, $indexes:start-value, $indexes:callback, 
                                 $indexes:max-number-returned)
                         else
-                            collection($indexes:collection)/$indexes:range-lookup($indexes:field, $indexes:callback, $indexes:max-number-returned)
+                            collection($indexes:collection)/range:index-keys-for-field($indexes:field, $indexes:callback, 
+                               $indexes:max-number-returned)
                     case "node" return
                         util:index-keys($indexes:node-set, $indexes:start-value, $indexes:callback, $indexes:max-number-returned, $index)
                     default return

From 08cd83253fd6620569e1d0e1c884432adfa68eb2 Mon Sep 17 00:00:00 2001
From: Ash Clark <amclark42@gmail.com>
Date: Mon, 13 Nov 2023 16:37:33 -0500
Subject: [PATCH 2/7] Fix missing heading for a field in the new range index

---
 src/main/xar-resources/modules/indexes.xqm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/xar-resources/modules/indexes.xqm b/src/main/xar-resources/modules/indexes.xqm
index c0197fa..592932f 100644
--- a/src/main/xar-resources/modules/indexes.xqm
+++ b/src/main/xar-resources/modules/indexes.xqm
@@ -124,7 +124,7 @@ function indexes:current-collection($node as node(), $model as map(*)) {
 declare
     %templates:wrap
 function indexes:current-index($node as node(), $model as map(*)) {
-    indexes:index-name-to-label($indexes:index) || " Index on " || ($indexes:node-name, $indexes:match)[1]
+    indexes:index-name-to-label($indexes:index) || " Index on " || ($indexes:node-name, $indexes:match, $indexes:field)[normalize-space(.) ne ''][1]
 };
 
 declare

From c487854fb1127a562cca0b2fa0326d57b7a53327 Mon Sep 17 00:00:00 2001
From: Ash Clark <amclark42@gmail.com>
Date: Tue, 14 Nov 2023 10:37:48 -0500
Subject: [PATCH 3/7] Make sure Monex can accurately report new range index
 fields.

If the new range index is used, `indexes:show-index-keys()` checks the
output of `range:index-keys-for-field()` for a mismatch in the number of
terms, and more terms than asked for in `$indexes:max-number-returned`.
If the range function is acting on a document-by-document basis, Monex
cleans up the output for accuracy across the collection.

Also made it easier to tell what's going on when processing `$sorted-keys`.
---
 src/main/xar-resources/modules/indexes.xqm | 95 +++++++++++++++++-----
 1 file changed, 73 insertions(+), 22 deletions(-)

diff --git a/src/main/xar-resources/modules/indexes.xqm b/src/main/xar-resources/modules/indexes.xqm
index 592932f..2aa07f6 100644
--- a/src/main/xar-resources/modules/indexes.xqm
+++ b/src/main/xar-resources/modules/indexes.xqm
@@ -218,15 +218,67 @@ function indexes:show-index-keys($node as node(), $model as map(*)) {
             return
                 switch ($indexes:show-keys-by)
                     case "field" return
-                        (: Use the range function in $indexes:range-lookup to determine which arity to use with range:index-keys-for-field().
-                          We can't re-use $indexes:range-lookup as a function here, because the global variable was not initialized explicitly with 
-                          collection($indexes:collection). :)
+                      let $rows :=
+                        (: Use the range function in $indexes:range-lookup to determine which arity to 
+                          use with range:index-keys-for-field(). We can't re-use $indexes:range-lookup 
+                          as a function here, because the global variable was not initialized explicitly 
+                          with collection($indexes:collection). :)
                         if (function-arity($indexes:range-lookup) = 4) then
                             collection($indexes:collection)/range:index-keys-for-field($indexes:field, $indexes:start-value, $indexes:callback, 
-                                $indexes:max-number-returned)
+                               xs:int($indexes:max-number-returned))
                         else
                             collection($indexes:collection)/range:index-keys-for-field($indexes:field, $indexes:callback, 
-                               $indexes:max-number-returned)
+                               xs:int($indexes:max-number-returned))
+                      return
+                        (: In some versions of eXist (v5.3.0 – v6.2.0), range:index-keys-for-field() 
+                           returns erroneous data:
+                              - one row is returned per term *per document*
+                                - as such, the "frequency" reported is per document
+                                - as such, the "documents" reported is always 1
+                                - as such, the "position" appears to be determined by the number of 
+                                  terms in the document
+                              - the maximum number of terms ($indexes:max-number-returned) is either not 
+                                honored, or (most likely) it would only be honored on a 
+                                document-by-document basis.
+                          If the number of rows matches the number of distinct terms, we can (hopefully) 
+                          assume that this version of eXist is doing the right thing with the range 
+                          function.
+                         :)
+                        if ( count($rows) eq count(distinct-values($rows/td[1])) and 
+                             count($rows) lt $indexes:max-number-returned ) then
+                          $rows
+                        (: If the range function appears to be outputting erroneous information for the 
+                          collection, we clean it up a little for the Monex user:
+                              - grouping up terms so only one <tr> is given per unique term,
+                              - totalling up frequencies and documents,
+                              - setting new positions, and
+                              - returning terms within the maximum set by $indexes:max-number-returned.
+                         :)
+                        else
+                          let $distinct-rows :=
+                            for $row-grp in $rows
+                            let $term := xs:string($row-grp/td[1])
+                            group by $term
+                            let $total-frequency := sum($row-grp/td[2]/xs:integer(.))
+                            let $total-docs := sum($row-grp/td[3]/xs:integer(.))
+                            order by $term[1] ascending
+                            return
+                              (: Note we're skipping the position here; the document-by-document version 
+                                is useless. :)
+                              <tr>
+                                <td>{ $term[1] }</td>
+                                <td>{ $total-frequency }</td>
+                                <td>{ $total-docs }</td>
+                              </tr>
+                          return
+                            (: Now that all the rows are distinct, we can determine the correct position 
+                              for the term across the collection, and honor $indexes:max-number-returned. :)
+                            for $row at $pos in subsequence($distinct-rows, 1, $indexes:max-number-returned)
+                            return
+                              <tr>
+                                { $row/td }
+                                <td>{ $pos }</td>
+                              </tr>
                     case "node" return
                         util:index-keys($indexes:node-set, $indexes:start-value, $indexes:callback, $indexes:max-number-returned, $index)
                     default return
@@ -240,28 +292,27 @@ function indexes:show-index-keys($node as node(), $model as map(*)) {
            documents := xs:integer($key/td[3])
            position := xs:integer($key/td[4])
     :)
-    
+    let $primary-sort-value :=
+      switch ($indexes:sortby)
+        case 'term'       return function($key) { $key/td[1] }
+        case 'frequency'  return function($key) { xs:integer($key/td[2]) }
+        case 'documents'  return function($key) { xs:integer($key/td[3]) }
+        case 'position'   return function($key) { xs:integer($key/td[4]) }
+        default return ''
     let $sorted-keys :=
-        if ($indexes:sortby eq 'term') then 
-            if ($indexes:sortorder eq 'ascending') then
-                for $key in $keys order by $key/td[1] ascending return $key
-            else
-                for $key in $keys order by $key/td[1] descending return $key
-        else if ($indexes:sortby eq 'frequency') then 
-            if ($indexes:sortorder eq 'ascending') then
-                for $key in $keys order by xs:integer($key/td[2]) ascending, $key/td[1] ascending return $key
-            else
-                for $key in $keys order by xs:integer($key/td[2]) descending, $key/td[1] ascending return $key
-        else if ($indexes:sortby eq 'documents') then 
+        (: If the sort method is "term" or "position", we don't need a second sort method. :)
+        if ($indexes:sortby = ('term', 'position')) then
             if ($indexes:sortorder eq 'ascending') then
-                for $key in $keys order by xs:integer($key/td[3]) ascending, $key/td[1] ascending return $key
+                for $key in $keys order by $primary-sort-value($key) ascending return $key
             else
-                for $key in $keys order by xs:integer($key/td[3]) descending, $key/td[1] ascending return $key
-        else if ($indexes:sortby eq 'position') then 
+                for $key in $keys order by $primary-sort-value($key) descending return $key
+        (: If the sort method is "frequency" or "documents", use "term" as a secondary sort method. :)
+        else if ($indexes:sortby = ('frequency', 'documents')) then
             if ($indexes:sortorder eq 'ascending') then
-                for $key in $keys order by xs:integer($key/td[4]) ascending return $key
+                for $key in $keys order by $primary-sort-value($key) ascending, $key/td[1] ascending return $key
             else
-                for $key in $keys order by xs:integer($key/td[4]) descending return $key
+                for $key in $keys order by $primary-sort-value($key) descending, $key/td[1] ascending return $key
+        (: No specified sort method, no need to sort. :)
         else $keys
     
     let $query-end-time := util:system-time()

From e197f5d70219e03fbd752ce2405c56a8936bad11 Mon Sep 17 00:00:00 2001
From: Ash Clark <amclark42@gmail.com>
Date: Tue, 14 Nov 2023 11:39:32 -0500
Subject: [PATCH 4/7] Try to be more accurate about range function in comments

---
 src/main/xar-resources/modules/indexes.xqm | 19 ++++++++++++++-----
 1 file changed, 14 insertions(+), 5 deletions(-)

diff --git a/src/main/xar-resources/modules/indexes.xqm b/src/main/xar-resources/modules/indexes.xqm
index 2aa07f6..79d2703 100644
--- a/src/main/xar-resources/modules/indexes.xqm
+++ b/src/main/xar-resources/modules/indexes.xqm
@@ -222,7 +222,9 @@ function indexes:show-index-keys($node as node(), $model as map(*)) {
                         (: Use the range function in $indexes:range-lookup to determine which arity to 
                           use with range:index-keys-for-field(). We can't re-use $indexes:range-lookup 
                           as a function here, because the global variable was not initialized explicitly 
-                          with collection($indexes:collection). :)
+                          with collection($indexes:collection). This method is probably why we get 
+                          results on a document-by-document basis, but the alternative is not getting 
+                          any results at all. :)
                         if (function-arity($indexes:range-lookup) = 4) then
                             collection($indexes:collection)/range:index-keys-for-field($indexes:field, $indexes:start-value, $indexes:callback, 
                                xs:int($indexes:max-number-returned))
@@ -231,10 +233,10 @@ function indexes:show-index-keys($node as node(), $model as map(*)) {
                                xs:int($indexes:max-number-returned))
                       return
                         (: In some versions of eXist (v5.3.0 – v6.2.0), range:index-keys-for-field() 
-                           returns erroneous data:
+                           returns erroneous data for the collection:
                               - one row is returned per term *per document*
                                 - as such, the "frequency" reported is per document
-                                - as such, the "documents" reported is always 1
+                                - as such, the "documents" reported is always 1 in every row
                                 - as such, the "position" appears to be determined by the number of 
                                   terms in the document
                               - the maximum number of terms ($indexes:max-number-returned) is either not 
@@ -261,6 +263,12 @@ function indexes:show-index-keys($node as node(), $model as map(*)) {
                             group by $term
                             let $total-frequency := sum($row-grp/td[2]/xs:integer(.))
                             let $total-docs := sum($row-grp/td[3]/xs:integer(.))
+                            (: Note that because sorting is done after $indexes:max-number-returned is 
+                              applied, $sorted-keys will only ever be accurate to the first N terms 
+                              returned. We could get around that for the range index fields by applying 
+                              the requested sort method here, but instead we're being consistent with 
+                              the behavior of other index reports. We sort by term here only to ensure 
+                              that our calculated positions are accurate. :)
                             order by $term[1] ascending
                             return
                               (: Note we're skipping the position here; the document-by-document version 
@@ -271,8 +279,9 @@ function indexes:show-index-keys($node as node(), $model as map(*)) {
                                 <td>{ $total-docs }</td>
                               </tr>
                           return
-                            (: Now that all the rows are distinct, we can determine the correct position 
-                              for the term across the collection, and honor $indexes:max-number-returned. :)
+                            (: Now that all the rows have distinct terms, we can determine the correct 
+                              position for each term across the collection, and honor the requested
+                              $indexes:max-number-returned. :)
                             for $row at $pos in subsequence($distinct-rows, 1, $indexes:max-number-returned)
                             return
                               <tr>

From d7ae9ca32fbf79f11ca6ff6fb5c75c4934fe40d3 Mon Sep 17 00:00:00 2001
From: Ash Clark <amclark42@gmail.com>
Date: Wed, 17 Jan 2024 08:48:37 -0500
Subject: [PATCH 5/7] Add data files on XPath functions and example range index
 config

---
 .../indexes-test/collection.xconf             |   12 +
 .../indexes-test/data/fn-library_2-0.xml      |  866 ++++++++
 .../indexes-test/data/fn-library_3-0.xml      | 1627 +++++++++++++++
 .../indexes-test/data/fn-library_3-1.xml      | 1830 +++++++++++++++++
 4 files changed, 4335 insertions(+)
 create mode 100644 src/main/xar-resources/indexes-test/data/fn-library_2-0.xml
 create mode 100644 src/main/xar-resources/indexes-test/data/fn-library_3-0.xml
 create mode 100644 src/main/xar-resources/indexes-test/data/fn-library_3-1.xml

diff --git a/src/main/xar-resources/indexes-test/collection.xconf b/src/main/xar-resources/indexes-test/collection.xconf
index 487a151..0aa16ec 100644
--- a/src/main/xar-resources/indexes-test/collection.xconf
+++ b/src/main/xar-resources/indexes-test/collection.xconf
@@ -7,6 +7,18 @@
             <create qname="@empty-namespace-attribute" type="xs:string"/>
             <create qname="my:my-namespace-element" type="xs:string"/>
             <create qname="@my:my-namespace-attribute" type="xs:string"/>
+            
+            <!-- Indexes on fn data -->
+            <create qname="function">
+                <field name="function-name" match="@fn" type="xs:string"/>
+                <field name="function-group" match="@group" type="xs:string"/>
+            </create>
+            <create qname="return">
+                <field name="return-type" type="xs:string"/>
+                <field name="return-quantifier" match="@quantifier" type="xs:string"/>
+            </create>
+            <create qname="property" type="xs:string"/>
+            <create qname="error" type="xs:string"/>
         </range>
     </index>
 </collection>
\ No newline at end of file
diff --git a/src/main/xar-resources/indexes-test/data/fn-library_2-0.xml b/src/main/xar-resources/indexes-test/data/fn-library_2-0.xml
new file mode 100644
index 0000000..a288f69
--- /dev/null
+++ b/src/main/xar-resources/indexes-test/data/fn-library_2-0.xml
@@ -0,0 +1,866 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<specification xml:lang="en">
+  
+  <about>
+    <title>XQuery 1.0 and XPath 2.0 Functions and Operators</title>
+    <version>2 (edition 2)</version>
+    <desc>W3C Recommendation 14 December 2010 (revised 13 April 2015)</desc>
+    <editors>
+      <person>Ashok Malhotra</person>
+      <person>Jim Melton</person>
+      <person>Norman Walsh</person>
+      <person>Michael Kay</person>
+    </editors>
+    <url>https://www.w3.org/TR/xquery-operators</url>
+    <url>http://www.w3.org/TR/2010/REC-xpath-functions-20101214/</url>
+  </about>
+  
+  <section n="2" xml:id="accessors">
+    <heading>Accessors</heading>
+    
+    <function fn="node-name" group="accessor">
+      <return quantifier="?">xs:QName</return>
+      <args num="1"/>
+    </function>
+    
+    <function fn="nilled" group="accessor">
+      <return quantifier="?">xs:boolean</return>
+      <args num="0"/>
+      <args num="1"/>
+    </function>
+    
+    <function fn="string" group="accessor">
+      <return>xs:string</return>
+      <args num="0">
+        <error>XPDY0002</error>
+      </args>
+      <args num="1"/>
+    </function>
+    
+    <function fn="data" group="accessor">
+      <return quantifier="*">xs:anyAtomicType</return>
+      <args num="1"/>
+      <error>FOTY0012</error>
+    </function>
+    
+    <function fn="base-uri" group="accessor">
+      <return quantifier="?">xs:anyURI</return>
+      <args num="0">
+        <error>XPDY0002</error>
+        <error>XPDY0004</error>
+      </args>
+      <args num="1"/>
+    </function>
+    
+    <function fn="document-uri" group="accessor">
+      <return quantifier="?">xs:anyURI</return>
+      <args num="0"/>
+      <args num="1"/>
+    </function>
+  </section>
+  
+  
+  <section n="3" xml:id="func-error">
+    <heading>The Error Function</heading>
+    <function fn="error" group="error">
+      <return/>
+      <args num="0"/>
+      <args num="1"/>
+      <args num="2"/>
+      <args num="3"/>
+      <error>FOER0000</error>
+    </function>
+  </section>
+  
+  
+  <section n="4" xml:id="func-trace">
+    <heading>The Trace Function</heading>
+    
+    <function fn="trace" group="trace">
+      <return quantifier="*">item()</return>
+      <args num="2"/>
+    </function>
+  </section>
+  
+  
+  <section n="5" xml:id="constructor-functions">
+    <heading>Constructor Functions</heading>
+    
+    <section n="5.2" xml:id="func-dateTime">
+      <heading>A Special Constructor for xs:dateTime</heading>
+      <function fn="dateTime" group="constructor">
+        <return quantifier="?">xs:dateTime</return>
+        <args num="2"/>
+        <error>FORG0008</error>
+      </function>
+    </section>
+  </section>
+  
+  <section n="6" xml:id="numeric-functions">
+    <heading>Functions and Operators on Numerics</heading>
+    
+    <section n="6.4" xml:id="numeric-value-functions">
+      <heading>Functions on Numeric Values</heading>
+      
+      <function fn="abs" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="ceiling" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="floor" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="round" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="round-half-to-even" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <args num="1"/>
+        <args num="2"/>
+        <error>FOCA0001</error>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="7" xml:id="string-functions">
+    <heading>Functions on Strings</heading>
+    
+    <section n="7.2" xml:id="func-assemble-disassemble-string">
+      <heading>Functions to Assemble and Disassemble Strings</heading>
+      
+      <function fn="codepoints-to-string" group="string">
+        <return>xs:string</return>
+        <args num="1"/>
+        <error>FOCH0001</error>
+      </function>
+      
+      <function fn="string-to-codepoints" group="string">
+        <return quantifier="*">xs:integer</return>
+        <args num="1"/>
+      </function>
+    </section>
+    
+    <section n="7.3" xml:id="string-compare">
+      <heading>Equality and Comparison of Strings</heading>
+      
+      <function fn="compare" group="string">
+        <return quantifier="?">xs:integer</return>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+      </function>
+      
+      <function fn="codepoint-equal" group="string">
+        <return quantifier="?">xs:boolean</return>
+        <args num="2"/>
+      </function>
+    </section>
+    
+    <section n="7.4" xml:id="string-value-functions">
+      <heading>Functions on String Values</heading>
+      
+      <function fn="concat" group="string">
+        <return>xs:string</return>
+        <args quantifier="{2,}"/>
+      </function>
+      
+      <function fn="string-join" group="string">
+        <return>xs:string</return>
+        <args num="2"/>
+      </function>
+      
+      <function fn="substring" group="string">
+        <return>xs:string</return>
+        <args num="2"/>
+        <args num="3"/>
+      </function>
+      
+      <function fn="string-length" group="string">
+        <return>xs:integer</return>
+        <args num="0">
+          <error>XPDY0002</error>
+        </args>
+        <args num="1"/>
+      </function>
+      
+      <function fn="normalize-space" group="string">
+        <return>xs:string</return>
+        <args num="0">
+          <error>XPDY0002</error>
+        </args>
+        <args num="1"/>
+      </function>
+      
+      <function fn="normalize-unicode" group="string">
+        <return>xs:string</return>
+        <args num="1"/>
+        <args num="2">
+          <error>FOCH0003</error>
+        </args>
+      </function>
+      
+      <function fn="upper-case" group="string">
+        <return>xs:string</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="lower-case" group="string">
+        <return>xs:string</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="translate" group="string">
+        <return>xs:string</return>
+        <args num="3"/>
+      </function>
+      
+      <function fn="encode-for-uri" group="string">
+        <return>xs:string</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="iri-to-uri" group="string">
+        <return>xs:string</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="escape-html-uri" group="string">
+        <return>xs:string</return>
+        <args num="1"/>
+      </function>
+    </section>
+    
+    <section n="7.5" xml:id="substring.functions">
+      <heading>Functions Based on Substring Matching</heading>
+      
+      <function fn="contains" group="string">
+        <return>xs:boolean</return>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+      
+      <function fn="starts-with" group="string">
+        <return>xs:boolean</return>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+      
+      <function fn="ends-with" group="string">
+        <return>xs:boolean</return>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+      
+      <function fn="substring-before" group="string">
+        <return>xs:string</return>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+      
+      <function fn="substring-after" group="string">
+        <return>xs:string</return>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+    </section>
+    
+    <section n="7.6" xml:id="string.match">
+      <heading>String Functions that Use Pattern Matching</heading>
+      
+      <function fn="matches" group="string">
+        <return>xs:boolean</return>
+        <args num="2"/>
+        <args num="3">
+          <error>FORX0001</error>
+        </args>
+        <error>FORX0002</error>
+      </function>
+      
+      <function fn="replace" group="string">
+        <return>xs:string</return>
+        <args num="3"/>
+        <args num="4">
+          <error>FORX0001</error>
+        </args>
+        <error>FORX0002</error>
+        <error>FORX0003</error>
+        <error>FORX0004</error>
+      </function>
+      
+      <function fn="tokenize" group="string">
+        <return quantifier="*">xs:string</return>
+        <args num="1"/>
+        <args num="2"/>
+        <args num="3">
+          <error>FORX0001</error>
+        </args>
+        <error>FORX0002</error>
+        <error>FORX0003</error>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="8" xml:id="anyURI-functions">
+    <heading>Functions on anyURI</heading>
+    
+    <function fn="resolve-uri" group="uri">
+      <return quantifier="?">xs:anyURI</return>
+      <args num="1">
+        <error>FONS0005</error>
+      </args>
+      <args num="2"/>
+      <error>FORG0002</error>
+      <error>FORG0009</error>
+    </function>
+  </section>
+  
+  
+  <section n="9" xml:id="boolean-functions">
+    <heading>Functions and Operators on Boolean Values</heading>
+    
+    <section n="9.1" xml:id="boolean-constructors">
+      <heading>Additional Boolean Constructor Functions</heading>
+      
+      <function fn="true" group="boolean">
+        <return>xs:boolean</return>
+        <args num="0"/>
+      </function>
+      
+      <function fn="false" group="boolean">
+        <return>xs:boolean</return>
+        <args num="0"/>
+      </function>
+    </section>
+    
+    <section n="9.3" xml:id="boolean-value-functions">
+      <heading>Functions on Boolean Values</heading>
+      <function fn="not" group="boolean">
+        <return>xs:boolean</return>
+        <args num="1"/>
+        <error>FORG0006</error>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="10" xml:id="durations-dates-times">
+    <heading>Functions and Operators on Durations, Dates and Times</heading>
+    
+    <section n="10.5" xml:id="component-extraction-functions">
+      <heading>Component Extraction Functions on Durations, Dates and Times</heading>
+      
+      <function fn="years-from-duration" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="months-from-duration" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="days-from-duration" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="hours-from-duration" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="minutes-from-duration" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="seconds-from-duration" group="duration-date-time">
+        <return quantifier="?">xs:decimal</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="year-from-dateTime" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="month-from-dateTime" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="day-from-dateTime" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="hours-from-dateTime" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="minutes-from-dateTime" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="seconds-from-dateTime" group="duration-date-time">
+        <return quantifier="?">xs:decimal</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="timezone-from-dateTime" group="duration-date-time">
+        <return quantifier="?">xs:dayTimeDuration</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="year-from-date" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="month-from-date" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="day-from-date" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="timezone-from-date" group="duration-date-time">
+        <return quantifier="?">xs:dayTimeDuration</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="hours-from-time" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="minutes-from-time" group="duration-date-time">
+        <return quantifier="?">xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="seconds-from-time" group="duration-date-time">
+        <return quantifier="?">xs:decimal</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="timezone-from-time" group="duration-date-time">
+        <return quantifier="?">xs:dayTimeDuration</return>
+        <args num="1"/>
+      </function>
+    </section>
+    
+    
+    <section n="10.7" xml:id="timezone.functions">
+      <heading>Timezone Adjustment Functions on Dates and Time Values</heading>
+      
+      <function fn="adjust-dateTime-to-timezone" group="duration-date-time">
+        <return quantifier="?">xs:dateTime</return>
+        <args num="1"/>
+        <args num="2">
+          <error>FODT0003</error>
+        </args>
+      </function>
+      
+      <function fn="adjust-date-to-timezone" group="duration-date-time">
+        <return quantifier="?">xs:date</return>
+        <args num="1"/>
+        <args num="2">
+          <error>FODT0003</error>
+        </args>
+      </function>
+      
+      <function fn="adjust-time-to-timezone" group="duration-date-time">
+        <return quantifier="?">xs:time</return>
+        <args num="1"/>
+        <args num="2">
+          <error>FODT0003</error>
+        </args>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="11" xml:id="QName-funcs">
+    <heading>Functions Related to QNames</heading>
+    
+    <section n="11.1" xml:id="QName-constructors">
+      <heading>Additional Constructor Functions for QNames</heading>
+      
+      <function fn="resolve-QName" group="qname">
+        <return quantifier="?">xs:QName</return>
+        <args num="2"/>
+        <error>FOCA0002</error>
+        <error>FONS0004</error>
+      </function>
+      
+      <function fn="QName" group="qname">
+        <return>xs:QName</return>
+        <args num="2"/>
+        <error>FOCA0002</error>
+      </function>
+    </section>
+    
+    <section n="11.2" xml:id="QName-functions">
+      <heading>Functions and Operators Related to QNames</heading>
+      
+      <function fn="prefix-from-QName" group="qname">
+        <return quantifier="?">xs:NCName</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="local-name-from-QName" group="qname">
+        <return quantifier="?">xs:NCName</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="namespace-uri-from-QName" group="qname">
+        <return quantifier="?">xs:anyURI</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="namespace-uri-for-prefix" group="qname">
+        <return quantifier="?">xs:anyURI</return>
+        <args num="2"/>
+      </function>
+      
+      <function fn="in-scope-prefixes" group="qname">
+        <return quantifier="*">xs:string</return>
+        <args num="2"/>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="14" xml:id="node-functions">
+    <heading>Functions and Operators on Nodes</heading>
+    
+    <function fn="name" group="node">
+      <return>xs:string</return>
+      <args num="0"/>
+      <args num="1"/>
+      <error>XPDY0002</error>
+      <error>XPTY0004</error>
+    </function>
+    
+    <function fn="local-name" group="node">
+      <return>xs:string</return>
+      <args num="0"/>
+      <args num="1"/>
+      <error>XPDY0002</error>
+      <error>XPTY0004</error>
+    </function>
+    
+    <function fn="namespace-uri" group="node">
+      <return>xs:anyURI</return>
+      <args num="0"/>
+      <args num="1"/>
+      <error>XPDY0002</error>
+      <error>XPTY0004</error>
+    </function>
+    
+    <function fn="number" group="numeric">
+      <return>xs:double</return>
+      <args num="0"/>
+      <args num="1"/>
+      <error>XPDY0002</error>
+    </function>
+    
+    <function fn="lang" group="node">
+      <return>xs:boolean</return>
+      <args num="1"/>
+      <args num="2"/>
+      <error>XPDY0002</error>
+      <error>XPTY0004</error>
+    </function>
+    
+    <function fn="root" group="node">
+      <args num="0">
+        <return>node()</return>
+      </args>
+      <args num="1">
+        <return quantifier="?">node()</return>
+      </args>
+      <error>XPDY0002</error>
+      <error>XPTY0004</error>
+    </function>
+  </section>
+  
+  
+  <section n="15" xml:id="sequence-functions">
+    <heading>Functions and Operators on Sequences</heading>
+    
+    <section n="15.1" xml:id="general-seq-funcs">
+      <heading>General Functions and Operators on Sequences</heading>
+      
+      <function fn="boolean" group="boolean">
+        <return>xs:boolean</return>
+        <args num="1"/>
+        <error>FORG0006</error>
+      </function>
+      
+      <function fn="index-of" group="sequence">
+        <return quantifier="*">xs:integer</return>
+        <args num="2"/>
+        <args num="3">
+          <error>FOCH0002</error>
+        </args>
+      </function>
+      
+      <function fn="empty" group="sequence">
+        <return>xs:boolean</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="exists" group="sequence">
+        <return>xs:boolean</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="distinct-values" group="sequence">
+        <return quantifier="*">xs:anyAtomicType</return>
+        <args num="1"/>
+        <args num="2"/>
+      </function>
+      
+      <function fn="insert-before" group="sequence">
+        <return quantifier="*">item()</return>
+        <args num="3"/>
+      </function>
+      
+      <function fn="remove" group="sequence">
+        <return quantifier="*">item()</return>
+        <args num="2"/>
+      </function>
+      
+      <function fn="reverse" group="sequence">
+        <return quantifier="*">item()</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="subsequence" group="sequence">
+        <return quantifier="*">item()</return>
+        <args num="2"/>
+        <args num="3"/>
+      </function>
+      
+      <function fn="unordered" group="sequence">
+        <return quantifier="*">item()</return>
+        <args num="1"/>
+      </function>
+    </section>
+    
+    <section n="15.2" xml:id="cardinality-functions">
+      <heading>Functions That Test the Cardinality of Sequences</heading>
+      
+      <function fn="zero-or-one" group="sequence">
+        <return quantifier="?">item()</return>
+        <args num="1"/>
+        <error>FORG0003</error>
+      </function>
+      
+      <function fn="one-or-more" group="sequence">
+        <return quantifier="+">item()</return>
+        <args num="1"/>
+        <error>FORG0004</error>
+      </function>
+      
+      <function fn="exactly-one" group="sequence">
+        <return>item()</return>
+        <args num="1"/>
+        <error>FORG0005</error>
+      </function>
+    </section>
+    
+    <section n="15.3" xml:id="union-intersection-except">
+      <heading>Equals, Union, Intersection and Except</heading>
+      <function fn="deep-equal" group="sequence">
+        <return>xs:boolean</return>
+        <args num="2"/>
+        <args num="3">
+          <error>FOCH0002</error>
+        </args>
+      </function>
+    </section>
+    
+    <section n="15.4" xml:id="aggregate-functions">
+      <heading>Aggregate Functions</heading>
+      
+      <function fn="count" group="sequence">
+        <return>xs:integer</return>
+        <args num="1"/>
+      </function>
+      
+      <function fn="avg" group="sequence">
+        <return quantifier="?">xs:anyAtomicType</return>
+        <args num="1"/>
+        <error>FORG0006</error>
+      </function>
+      
+      <function fn="max" group="sequence">
+        <return quantifier="?">xs:anyAtomicType</return>
+        <args num="1"/>
+        <args num="2"/>
+        <error>FORG0006</error>
+        <error>FOCH0002</error>
+      </function>
+      
+      <function fn="min" group="sequence">
+        <return quantifier="?">xs:anyAtomicType</return>
+        <args num="1"/>
+        <args num="2"/>
+        <error>FORG0006</error>
+        <error>FOCH0002</error>
+      </function>
+      
+      <function fn="sum" group="sequence">
+        <args num="1">
+          <return>xs:anyAtomicType</return>
+        </args>
+        <args num="2">
+          <return quantifier="?">xs:anyAtomicType</return>
+        </args>
+        <error>FORG0006</error>
+      </function>
+      
+    </section>
+    
+    <section n="15.5" xml:id="fns-that-generate-sequences">
+      <heading>Functions and Operators that Generate Sequences</heading>
+      
+      <function fn="id" group="sequence">
+        <return quantifier="*">element()</return>
+        <args num="1"/>
+        <args num="2"/>
+        <error>FODC0001</error>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </function>
+      
+      <function fn="idref" group="sequence">
+        <return quantifier="*">node()</return>
+        <args num="1"/>
+        <args num="2"/>
+        <error>FODC0001</error>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </function>
+      
+      <function fn="doc" group="sequence">
+        <return quantifier="?">document-node()</return>
+        <property>stable</property>
+        <args num="1"/>
+        <error>FODC0002</error>
+        <error>FODC0003</error>
+        <error>FODC0005</error>
+      </function>
+      
+      <function fn="doc-available" group="sequence">
+        <return>xs:boolean</return>
+        <args num="1"/>
+        <error>FODC0005</error>
+      </function>
+      
+      <function fn="collection" group="sequence">
+        <return quantifier="?">document-node()</return>
+        <property>stable</property>
+        <args num="0"/>
+        <args num="1">
+          <error>FODC0004</error>
+        </args>
+        <error>FODC0002</error>
+        <error>FODC0003</error>
+      </function>
+      
+      <function fn="element-with-id" group="sequence">
+        <return quantifier="*">element()</return>
+        <args num="1">
+          <error>XPDY0002</error>
+          <error>XPTY0004</error>
+        </args>
+        <args num="2"/>
+        <error>FODC0001</error>
+      </function>
+    </section>
+    
+  </section>
+  
+  
+  <section n="16" xml:id="context">
+    <heading>Context Functions</heading>
+    
+    <function fn="position" group="context">
+      <return>xs:integer</return>
+      <property>contextual</property>
+      <args num="0"/>
+      <error>XPDY0002</error>
+    </function>
+    
+    <function fn="last" group="context">
+      <return>xs:integer</return>
+      <property>contextual</property>
+      <args num="0"/>
+      <error>XPDY0002</error>
+    </function>
+    
+    <function fn="current-dateTime" group="context">
+      <return>xs:dateTimeStamp</return>
+      <args num="0"/>
+    </function>
+    
+    <function fn="current-date" group="context">
+      <return>xs:date</return>
+      <args num="0"/>
+    </function>
+    
+    <function fn="current-time" group="context">
+      <return>xs:time</return>
+      <args num="0"/>
+    </function>
+    
+    <function fn="implicit-timezone" group="context">
+      <return>xs:dayTimeDuration</return>
+      <property>contextual</property><!-- not marked as "stable" -->
+      <args num="0"/>
+    </function>
+    
+    <function fn="default-collation" group="context">
+      <return>xs:string</return>
+      <property>contextual</property><!-- not marked as "stable" -->
+      <args num="0"/>
+    </function>
+    
+    <function fn="static-base-uri" group="context">
+      <return quantifier="?">xs:anyURI</return>
+      <property>contextual</property>
+      <args num="0"/>
+    </function>
+  </section>
+  
+</specification>
diff --git a/src/main/xar-resources/indexes-test/data/fn-library_3-0.xml b/src/main/xar-resources/indexes-test/data/fn-library_3-0.xml
new file mode 100644
index 0000000..240099a
--- /dev/null
+++ b/src/main/xar-resources/indexes-test/data/fn-library_3-0.xml
@@ -0,0 +1,1627 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<specification xml:lang="en">
+  
+  <about>
+    <title>XPath and XQuery Functions and Operators 3.0</title>
+    <version>3</version>
+    <desc>W3C Recommendation 08 April 2014</desc>
+    <editors>
+      <person>Michael Kay</person>
+    </editors>
+    <url>https://www.w3.org/TR/xpath-functions-30</url>
+    <url>http://www.w3.org/TR/2014/REC-xpath-functions-30-20140408/</url>
+  </about>
+  
+  <section n="2" xml:id="accessors">
+    <heading>Accessors</heading>
+    
+    <function fn="node-name" group="accessor">
+      <return quantifier="?">xs:QName</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPDY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="nilled" group="accessor">
+      <return quantifier="?">xs:boolean</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPDY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="string" group="accessor">
+      <return>xs:string</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <error>FOTY0014</error>
+      </args>
+    </function>
+    
+    <function fn="data" group="accessor">
+      <return quantifier="*">xs:anyAtomicType</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error><!-- this is a guess: spec does not specify which error is raised when context is missing -->
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <error>FOTY0012</error>
+        <error>FOTY0013</error>
+      </args>
+    </function>
+    
+    <function fn="base-uri" group="accessor">
+      <return quantifier="?">xs:anyURI</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPDY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="document-uri" group="accessor">
+      <return quantifier="?">xs:anyURI</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPDY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+  </section>
+  
+  
+  <section n="3" xml:id="errors-and-diagnostics">
+    <heading>Errors and diagnostics</heading>
+    
+    <section n="3.1" xml:id="errors">
+      <heading>Raising errors</heading>
+      <function fn="error" group="reporting">
+        <return/>
+        <property>nondeterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="0"/>
+        <args num="1"/>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOER0000</error>
+      </function>
+    </section>
+    
+    <section n="3.2" xml:id="diagnostics">
+      <heading>Diagnostic tracing</heading>
+      <function fn="trace" group="reporting">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="4" xml:id="numeric-functions">
+    <heading>Functions and operators on numerics</heading>
+    
+    <section n="4.4" xml:id="numeric-value-functions">
+      <heading>Functions on numeric values</heading>
+      
+      <function fn="abs" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="ceiling" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="floor" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="round" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+      </function>
+      
+      <function fn="round-half-to-even" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+      </function>
+    </section>
+    
+    <section n="4.5" xml:id="parsing-numbers">
+      <heading>Parsing numbers</heading>
+      
+      <function fn="number" group="numeric">
+        <return>xs:double</return>
+        <property>deterministic</property>
+        <args num="0">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+        </args>
+        <args num="1">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+      </function>
+    </section>
+    
+    <section n="4.6" xml:id="formatting-integers">
+      <heading>Formatting integers</heading>
+      
+      <function fn="format-integer" group="numeric">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>focus-independent</property>
+        <args num="2">
+          <property>context-dependent</property>
+        </args>
+        <args num="3">
+          <property>context-independent</property>
+        </args>
+        <error>FODF1310</error>
+      </function>
+    </section>
+    
+    <section n="4.7" xml:id="formatting-numbers">
+      <heading>Formatting numbers</heading>
+      
+      <function fn="format-number" group="numeric">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>focus-independent</property>
+        <args num="2">
+          <property>context-independent</property>
+        </args>
+        <args num="3">
+          <property>context-dependent</property>
+        </args>
+        <error>FODF1280</error>
+      </function>
+    </section>
+    
+    <section n="4.8" xml:id="trigonometry">
+      <heading>Trigonometric and exponential functions</heading>
+    </section>
+  </section>
+  
+  
+  <section n="5" xml:id="string-functions">
+    <heading>Functions on strings</heading>
+    
+    <section n="5.2" xml:id="func-assemble-disassemble-string">
+      <heading>Functions to assemble and disassemble strings</heading>
+      
+      <function fn="codepoints-to-string" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FOCH0001</error>
+      </function>
+      
+      <function fn="string-to-codepoints" group="string">
+        <return quantifier="*">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+    </section>
+    
+    <section n="5.3" xml:id="string-compare">
+      <heading>Comparison of strings</heading>
+      
+      <function fn="compare" group="string">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+      </function>
+      
+      <function fn="codepoint-equal" group="string">
+        <return quantifier="?">xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+      </function>
+    </section>
+    
+    <section n="5.4" xml:id="string-value-functions">
+      <heading>Functions on string values</heading>
+      
+      <function fn="concat" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args quantifier="{2,}"/>
+      </function>
+      
+      <function fn="string-join" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+      </function>
+      
+      <function fn="substring" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+      </function>
+      
+      <function fn="string-length" group="string">
+        <return>xs:integer</return>
+        <property>deterministic</property>
+        <args num="0">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+        </args>
+        <args num="1">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+      </function>
+      
+      <function fn="normalize-space" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <args num="0">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+        </args>
+        <args num="1">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+      </function>
+      
+      <function fn="normalize-unicode" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2">
+          <error>FOCH0003</error>
+        </args>
+      </function>
+      
+      <function fn="upper-case" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="lower-case" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="translate" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="3"/>
+      </function>
+    </section>
+    
+    <section n="5.5" xml:id="substring.functions">
+      <heading>Functions based on substring matching</heading>
+      
+      <function fn="contains" group="string">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+      
+      <function fn="starts-with" group="string">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+      
+      <function fn="ends-with" group="string">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+      
+      <function fn="substring-before" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+      
+      <function fn="substring-after" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+    </section>
+    
+    <section n="5.6" xml:id="string.match">
+      <heading>String functions that use regular expressions</heading>
+      
+      <function fn="matches" group="string">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3">
+          <error>FORX0001</error>
+        </args>
+        <error>FORX0002</error>
+      </function>
+      
+      <function fn="replace" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="3"/>
+        <args num="4">
+          <error>FORX0001</error>
+        </args>
+        <error>FORX0002</error>
+        <error>FORX0003</error>
+        <error>FORX0004</error>
+      </function>
+      
+      <function fn="tokenize" group="string">
+        <return quantifier="*">xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3">
+          <error>FORX0001</error>
+        </args>
+        <error>FORX0002</error>
+        <error>FORX0003</error>
+      </function>
+      
+      <function fn="analyze-string" group="string">
+        <return>element(fn:analyze-string-result)</return>
+        <property>nondeterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3">
+          <error>FORX0001</error>
+        </args>
+        <error>FORX0002</error>
+        <error>FORX0003</error>
+      </function>
+    </section>
+    
+  </section>
+  
+  
+  <section n="6" xml:id="anyURI-functions">
+    <heading>Functions that manipulate URIs</heading>
+    
+    <function fn="resolve-uri" group="uri">
+      <return quantifier="?">xs:anyURI</return>
+      <property>deterministic</property>
+      <property>focus-independent</property>
+      <args num="1">
+        <property>context-dependent</property>
+      </args>
+      <args num="2">
+        <property>context-independent</property>
+      </args>
+      <error>FORG0002</error>
+      <error>FONS0005</error>
+      <error>FORG0009</error>
+    </function>
+    
+    <function fn="encode-for-uri" group="uri">
+      <return>xs:string</return>
+      <property>deterministic</property>
+      <property>context-independent</property>
+      <property>focus-independent</property>
+      <args num="1"/>
+    </function>
+    
+    <function fn="iri-to-uri" group="uri">
+      <return>xs:string</return>
+      <property>deterministic</property>
+      <property>context-independent</property>
+      <property>focus-independent</property>
+      <args num="1"/>
+    </function>
+    
+    <function fn="escape-html-uri" group="uri">
+      <return>xs:string</return>
+      <property>deterministic</property>
+      <property>context-independent</property>
+      <property>focus-independent</property>
+      <args num="1"/>
+    </function>
+  </section>
+  
+  
+  <section n="7" xml:id="boolean-functions">
+    <heading>Functions and operators on Boolean values</heading>
+    
+    <section n="7.1" xml:id="boolean-constructors">
+      <heading>Boolean constant functions</heading>
+      
+      <function fn="true" group="boolean">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="0"/>
+      </function>
+      
+      <function fn="false" group="boolean">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="0"/>
+      </function>
+    </section>
+    
+    <section n="7.3" xml:id="boolean-value-functions">
+      <heading>Functions on Boolean values</heading>
+      
+      <function fn="boolean" group="boolean">
+        <return>xs:boolean</return>
+        <args num="1"/>
+        <!-- spec lists no properties -->
+        <error>FORG0006</error>
+      </function>
+      
+      <function fn="not" group="boolean">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FORG0006</error>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="8" xml:id="durations">
+    <heading>Functions and operators on durations</heading>
+    
+    <section n="8.3" xml:id="component-extraction-durations">
+      <heading>Component extraction functions on durations</heading>
+      
+      <function fn="years-from-duration" group="duration">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="months-from-duration" group="duration">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="days-from-duration" group="duration">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="hours-from-duration" group="duration">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="minutes-from-duration" group="duration">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="seconds-from-duration" group="duration">
+        <return quantifier="?">xs:decimal</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="9" xml:id="dates-times">
+    <heading>Functions and operators on dates and times</heading>
+    
+    <section n="9.3" xml:id="constructing-dateTime">
+      <heading>Constructing a dateTime</heading>
+      
+      <function fn="dateTime" group="datetime">
+        <return quantifier="?">xs:dateTime</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <error>FORG0008</error>
+      </function>
+    </section>
+    
+    <section n="9.5" xml:id="component-extraction-dateTime">
+      <heading>Component extraction functions on dates and times</heading>
+      
+      <function fn="year-from-dateTime" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="month-from-dateTime" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="day-from-dateTime" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="hours-from-dateTime" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="minutes-from-dateTime" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="seconds-from-dateTime" group="datetime">
+        <return quantifier="?">xs:decimal</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="timezone-from-dateTime" group="datetime">
+        <return quantifier="?">xs:dayTimeDuration</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="year-from-date" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="month-from-date" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="day-from-date" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="timezone-from-date" group="datetime">
+        <return quantifier="?">xs:dayTimeDuration</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="hours-from-time" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="minutes-from-time" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="seconds-from-time" group="datetime">
+        <return quantifier="?">xs:decimal</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="timezone-from-time" group="datetime">
+        <return quantifier="?">xs:dayTimeDuration</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+    </section>
+    
+    <section n="9.6" xml:id="timezone.functions">
+      <heading>Timezone adjustment functions on dates and time values</heading>
+      
+      <function fn="adjust-dateTime-to-timezone" group="datetime">
+        <return quantifier="?">xs:dateTime</return>
+        <property>deterministic</property>
+        <property>focus-independent</property>
+        <args num="1">
+          <property>context-dependent</property>
+        </args>
+        <args num="2">
+          <property>context-independent</property>
+          <error>FODT0003</error>
+        </args>
+      </function>
+      
+      <function fn="adjust-date-to-timezone" group="datetime">
+        <return quantifier="?">xs:date</return>
+        <property>deterministic</property>
+        <property>focus-independent</property>
+        <args num="1">
+          <property>context-dependent</property>
+        </args>
+        <args num="2">
+          <property>context-independent</property>
+          <error>FODT0003</error>
+        </args>
+      </function>
+      
+      <function fn="adjust-time-to-timezone" group="datetime">
+        <return quantifier="?">xs:time</return>
+        <property>deterministic</property>
+        <property>focus-independent</property>
+        <args num="1">
+          <property>context-dependent</property>
+        </args>
+        <args num="2">
+          <property>context-independent</property>
+          <error>FODT0003</error>
+        </args>
+      </function>
+    </section>
+    
+    <section n="9.8" xml:id="formatting-dates-and-times">
+      <heading>Formatting dates and times</heading>
+      
+      <function fn="format-dateTime" group="datetime">
+        <return quantifier="?">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="5"/>
+        <error>FOFD1340</error>
+      </function>
+      
+      <function fn="format-date" group="datetime">
+        <return quantifier="?">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="5"/>
+        <error>FOFD1340</error>
+        <error>FOFD1350</error>
+      </function>
+      
+      <function fn="format-time" group="datetime">
+        <return quantifier="?">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="5"/>
+        <error>FOFD1340</error>
+        <error>FOFD1350</error>
+      </function>
+    </section>
+    
+  </section>
+  
+  
+  <section n="10" xml:id="QName-funcs">
+    <heading>Functions related to QNames</heading>
+    
+    <section n="10.1" xml:id="QName-constructors">
+      <heading>Functions to create a QName</heading>
+      
+      <function fn="resolve-QName" group="qname">
+        <return quantifier="?">xs:QName</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <error>FOCA0002</error>
+        <error>FONS0004</error>
+      </function>
+      
+      <function fn="QName" group="qname">
+        <return>xs:QName</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <error>FOCA0002</error>
+      </function>
+    </section>
+    
+    <section n="10.2" xml:id="QName-functions">
+      <heading>Functions and operators related to QNames</heading>
+      
+      <function fn="prefix-from-QName" group="qname">
+        <return quantifier="?">xs:NCName</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="local-name-from-QName" group="qname">
+        <return quantifier="?">xs:NCName</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="namespace-uri-from-QName" group="qname">
+        <return quantifier="?">xs:anyURI</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="namespace-uri-for-prefix" group="qname">
+        <return quantifier="?">xs:anyURI</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+      </function>
+      
+      <function fn="in-scope-prefixes" group="qname">
+        <return quantifier="*">xs:string</return>
+        <property>nondeterministic-wrt-ordering</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="13" xml:id="node-functions">
+    <heading>Functions and operators on nodes</heading>
+    
+    <function fn="name" group="node">
+      <return>xs:string</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="local-name" group="node">
+      <return>xs:string</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="namespace-uri" group="node">
+      <return>xs:anyURI</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="lang" group="node">
+      <return>xs:boolean</return>
+      <property>deterministic</property>
+      <args num="1">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </args>
+      <args num="2">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="root" group="node">
+      <property>deterministic</property>
+      <args num="0">
+        <return>node()</return>
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </args>
+      <args num="1">
+        <return quantifier="?">node()</return>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="path" group="node">
+      <return quantifier="?">xs:string</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="has-children" group="node">
+      <return>xs:boolean</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="innermost" group="node">
+      <return quantifier="*">node()</return>
+      <property>deterministic</property>
+      <property>context-independent</property>
+      <property>focus-independent</property>
+      <args num="1"/>
+    </function>
+    
+    <function fn="outermost" group="node">
+      <return quantifier="*">node()</return>
+      <property>deterministic</property>
+      <property>context-independent</property>
+      <property>focus-independent</property>
+      <args num="1"/>
+    </function>
+  </section>
+  
+  <section n="14" xml:id="sequence-functions">
+    <heading>Functions and operators on sequences</heading>
+    
+    <section n="14.1" xml:id="general-seq-funcs">
+      <heading>General functions and operators on sequences</heading>
+      
+      <function fn="empty" group="sequence">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="exists" group="sequence">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="head" group="sequence">
+        <return quantifier="?">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="tail" group="sequence">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="insert-before" group="sequence">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="3"/>
+      </function>
+      
+      <function fn="remove" group="sequence">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+      </function>
+      
+      <function fn="reverse" group="sequence">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="subsequence" group="sequence">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+      </function>
+      
+      <function fn="unordered" group="sequence">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+    </section>
+    
+    <section n="14.2" xml:id="comparing-sequences">
+      <heading>Functions that compare values in sequences</heading>
+      
+      <function fn="distinct-values" group="sequence">
+        <return quantifier="*">xs:anyAtomicType</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2">
+          <error>FOCH0002</error>
+        </args>
+      </function>
+      
+      <function fn="index-of" group="sequence">
+        <return quantifier="*">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3">
+          <error>FOCH0002</error>
+        </args>
+      </function>
+      
+      <function fn="deep-equal" group="sequence">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3">
+          <error>FOCH0002</error>
+        </args>
+        <error>FOTY0015</error>
+      </function>
+    </section>
+    
+    <section n="14.3" xml:id="cardinality-functions">
+      <heading>Functions that test the cardinality of sequences</heading>
+      
+      <function fn="zero-or-one" group="sequence">
+        <return quantifier="?">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FORG0003</error>
+      </function>
+      
+      <function fn="one-or-more" group="sequence">
+        <return quantifier="+">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FORG0004</error>
+      </function>
+      
+      <function fn="exactly-one" group="sequence">
+        <return>item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FORG0005</error>
+      </function>
+    </section>
+    
+    <section n="14.5" xml:id="aggregate-functions">
+      <heading>Aggregate-functions</heading>
+      
+      <function fn="count" group="sequence">
+        <return>xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="avg" group="sequence">
+        <return quantifier="?">xs:anyAtomicType</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FORG0006</error>
+      </function>
+      
+      <function fn="max" group="sequence">
+        <return quantifier="?">xs:anyAtomicType</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+        <error>FORG0006</error>
+        <error>FOCH0002</error>
+      </function>
+      
+      <function fn="min" group="sequence">
+        <return quantifier="?">xs:anyAtomicType</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+        <error>FORG0006</error>
+        <error>FOCH0002</error>
+      </function>
+      
+      <function fn="sum" group="sequence">
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1">
+          <return>xs:anyAtomicType</return>
+        </args>
+        <args num="2">
+          <return quantifier="?">xs:anyAtomicType</return>
+        </args>
+        <error>FORG0006</error>
+      </function>
+    </section>
+    
+    <section n="14.5" xml:id="fns-on-identifiers">
+      <heading>Functions on node identifiers</heading>
+      
+      <function fn="id" group="sequence">
+        <return quantifier="*">element()</return>
+        <property>deterministic</property>
+        <args num="1">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+          <error>XPTY0004</error>
+        </args>
+        <args num="2">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+        <error>FODC0001</error>
+      </function>
+      
+      <function fn="element-with-id" group="sequence">
+        <return quantifier="*">element()</return>
+        <property>deterministic</property>
+        <args num="1">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+          <error>XPTY0004</error>
+        </args>
+        <args num="2">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+        <error>FODC0001</error>
+      </function>
+      
+      <function fn="idref" group="sequence">
+        <return quantifier="*">node()</return>
+        <property>deterministic</property>
+        <args num="1">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+          <error>XPTY0004</error>
+        </args>
+        <args num="2">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+        <error>FODC0001</error>
+      </function>
+      
+      <function fn="generate-id" group="sequence">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <args num="0">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+          <error>XPTY0004</error>
+        </args>
+        <args num="1">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+      </function>
+    </section>
+    
+    <section n="14.6" xml:id="fns-on-docs">
+      <heading>Functions giving access to external information</heading>
+      
+      <function fn="doc" group="sequence">
+        <return quantifier="?">document-node()</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FODC0002</error>
+        <error>FODC0003</error>
+        <error>FODC0005</error>
+      </function>
+      
+      <function fn="doc-available" group="sequence">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FODC0005</error>
+      </function>
+      
+      <function fn="collection" group="sequence">
+        <return quantifier="?">document-node()</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="0"/>
+        <args num="1">
+          <error>FODC0004</error>
+        </args>
+        <error>FODC0002</error>
+        <error>FODC0003</error>
+      </function>
+      
+      <function fn="uri-collection" group="sequence">
+        <return quantifier="*">xs:anyURI</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="0"/>
+        <args num="1">
+          <error>FODC0004</error>
+        </args>
+        <error>FODC0002</error>
+      </function>
+      
+      <function fn="unparsed-text" group="sequence">
+        <return quantifier="?">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1">
+          <error>FOUT1200</error>
+        </args>
+        <args num="2">
+          <error>FOUT1190</error>
+        </args>
+        <error>FOUT1170</error>
+      </function>
+      
+      <function fn="unparsed-text-lines" group="sequence">
+        <return quantifier="*">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1">
+          <error>FOUT1200</error>
+        </args>
+        <args num="2">
+          <error>FOUT1190</error>
+        </args>
+        <error>FOUT1170</error>
+      </function>
+      
+      <function fn="unparsed-text-available" group="sequence">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+      </function>
+      
+      <function fn="environment-variable" group="sequence">
+        <return quantifier="?">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="available-environment-variables" group="sequence">
+        <return quantifier="*">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="0"/>
+      </function>
+    </section>
+    
+    <section n="14.7" xml:id="parsing-and-serializing">
+      <heading>Parsing and serializing</heading>
+      
+      <function fn="parse-xml" group="sequence">
+        <return quantifier="?">document-node(element(*))</return>
+        <property>nondeterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FODC0006</error>
+      </function>
+      
+      <function fn="parse-xml-fragment" group="sequence">
+        <return quantifier="?">document-node()</return>
+        <property>nondeterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FODC0006</error>
+      </function>
+      
+      <function fn="serialize" group="sequence">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+        <error>FODC0010</error>
+      </function>
+    </section>
+  </section>
+  
+  <section n="15" xml:id="context">
+    <heading>Context functions</heading>
+    
+    <function fn="position" group="context">
+      <return>xs:integer</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-dependent</property>
+      <args num="0"/>
+      <error>XPDY0002</error>
+    </function>
+    
+    <function fn="last" group="context">
+      <return>xs:integer</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-dependent</property>
+      <args num="0"/>
+      <error>XPDY0002</error>
+    </function>
+    
+    <function fn="current-dateTime" group="context">
+      <return>xs:dateTimeStamp</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-independent</property>
+      <args num="0"/>
+    </function>
+    
+    <function fn="current-date" group="context">
+      <return>xs:date</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-independent</property>
+      <args num="0"/>
+    </function>
+    
+    <function fn="current-time" group="context">
+      <return>xs:time</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-independent</property>
+      <args num="0"/>
+    </function>
+    
+    <function fn="implicit-timezone" group="context">
+      <return>xs:dayTimeDuration</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-independent</property>
+      <args num="0"/>
+    </function>
+    
+    <function fn="static-base-uri" group="context">
+      <return quantifier="?">xs:anyURI</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-independent</property>
+      <args num="0"/>
+    </function>
+  </section>
+  
+  <section n="16" xml:id="higher-order-functions">
+    <heading>Higher-order functions</heading>
+    
+    <section n="16.1" xml:id="functions-on-functions">
+      <heading>Functions on functions</heading>
+      
+      <function fn="function-lookup" group="higher-order">
+        <return quantifier="?">function(*)</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <args num="2"/>
+      </function>
+      
+      <function fn="function-name" group="higher-order">
+        <return quantifier="?">xs:QName</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="function-arity" group="higher-order">
+        <return>xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+    </section>
+    
+    <section n="16.2" xml:id="basic-hofs">
+      <heading>Basic higher-order functions</heading>
+      
+      <function fn="for-each" group="higher-order">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+      </function>
+      
+      <function fn="filter" group="higher-order">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <!-- type error -->
+      </function>
+      
+      <function fn="fold-left" group="higher-order">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="3"/>
+        <!-- type error -->
+      </function>
+      
+      <function fn="fold-right" group="higher-order">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <property>higher-order</property>
+        <args num="3"/>
+        <!-- type error -->
+      </function>
+      
+      <function fn="for-each-pair" group="higher-order">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <property>higher-order</property>
+        <args num="3"/>
+      </function>
+      
+    </section>
+    
+  </section>
+  
+  <section n="17" xml:id="constructor-functions">
+    <heading>Constructor functions</heading>
+  </section>
+  
+</specification>
diff --git a/src/main/xar-resources/indexes-test/data/fn-library_3-1.xml b/src/main/xar-resources/indexes-test/data/fn-library_3-1.xml
new file mode 100644
index 0000000..1f30c9d
--- /dev/null
+++ b/src/main/xar-resources/indexes-test/data/fn-library_3-1.xml
@@ -0,0 +1,1830 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<specification xml:lang="en">
+  
+  <about>
+    <title>XPath and XQuery Functions and Operators 3.1</title>
+    <version>4</version>
+    <desc>W3C Recommendation 21 March 2017</desc>
+    <editors>
+      <person>Michael Kay</person>
+    </editors>
+    <url>https://www.w3.org/TR/xpath-functions-31</url>
+    <url>https://www.w3.org/TR/2017/REC-xpath-functions-31-20170321/</url>
+  </about>
+  
+  <section n="2" xml:id="accessors">
+    <heading>Accessors</heading>
+    
+    <function fn="node-name" group="accessor">
+      <return quantifier="?">xs:QName</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPDY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="nilled" group="accessor">
+      <return quantifier="?">xs:boolean</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPDY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="string" group="accessor">
+      <return>xs:string</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <error>FOTY0014</error>
+      </args>
+    </function>
+    
+    <function fn="data" group="accessor">
+      <return quantifier="*">xs:anyAtomicType</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error><!-- this is a guess: spec does not specify which error is raised when context is missing -->
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <error>FOTY0012</error>
+        <error>FOTY0013</error>
+      </args>
+    </function>
+    
+    <function fn="base-uri" group="accessor">
+      <return quantifier="?">xs:anyURI</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPDY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="document-uri" group="accessor">
+      <return quantifier="?">xs:anyURI</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPDY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+  </section>
+  
+  <section n="3" xml:id="errors-and-diagnostics">
+    <heading>Errors and diagnostics</heading>
+    
+    <section n="3.1" xml:id="errors">
+      <heading>Raising errors</heading>
+      <function fn="error" group="reporting">
+        <return/>
+        <property>nondeterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="0"/>
+        <args num="1"/>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOER0000</error>
+      </function>
+    </section>
+    
+    <section n="3.2" xml:id="diagnostics">
+      <heading>Diagnostic tracing</heading>
+      <function fn="trace" group="reporting">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="4" xml:id="numeric-functions">
+    <heading>Functions and operators on numerics</heading>
+    
+    <section n="4.4" xml:id="numeric-value-functions">
+      <heading>Functions on numeric values</heading>
+      
+      <function fn="abs" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="ceiling" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="floor" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="round" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+      </function>
+      
+      <function fn="round-half-to-even" group="numeric">
+        <return quantifier="?">xs:numeric</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+      </function>
+      
+    </section>
+    
+    <section n="4.5" xml:id="parsing-numbers">
+      <heading>Parsing numbers</heading>
+      
+      <function fn="number" group="numeric">
+        <return>xs:double</return>
+        <property>deterministic</property>
+        <args num="0">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+        </args>
+        <args num="1">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+      </function>
+    </section>
+    
+    <section n="4.6" xml:id="formatting-integers">
+      <heading>Formatting integers</heading>
+      
+      <function fn="format-integer" group="numeric">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>focus-independent</property>
+        <args num="2">
+          <property>context-dependent</property>
+        </args>
+        <args num="3">
+          <property>context-independent</property>
+        </args>
+        <error>FODF1310</error>
+      </function>
+    </section>
+    
+    <section n="4.7" xml:id="formatting-numbers">
+      <heading>Formatting numbers</heading>
+      
+      <function fn="format-number" group="numeric">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>focus-independent</property>
+        <args num="2">
+          <property>context-independent</property>
+        </args>
+        <args num="3">
+          <property>context-dependent</property>
+        </args>
+        <error>FODF1280</error>
+      </function>
+    </section>
+    
+    <section n="4.8" xml:id="trigonometry">
+      <heading>Trigonometric and exponential functions</heading>
+    </section>
+    
+    <section n="4.9" xml:id="random-numbers">
+      <heading>Random Numbers</heading>
+      
+      <function fn="random-number-generator" group="numeric">
+        <return>map(xs:string, item())</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <property>higher-order</property>
+        <args num="0"/>
+        <args num="1"/>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="5" xml:id="string-functions">
+    <heading>Functions on strings</heading>
+    
+    <section n="5.2" xml:id="func-assemble-disassemble-string">
+      <heading>Functions to assemble and disassemble strings</heading>
+      
+      <function fn="codepoints-to-string" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FOCH0001</error>
+      </function>
+      
+      <function fn="string-to-codepoints" group="string">
+        <return quantifier="*">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+    </section>
+    
+    <section n="5.3" xml:id="string-compare">
+      <heading>Comparison of strings</heading>
+      
+      <function fn="compare" group="string">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+      </function>
+      
+      <function fn="codepoint-equal" group="string">
+        <return quantifier="?">xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+      </function>
+      
+      <function fn="collation-key" group="string">
+        <return>xs:base64Binary</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+      
+      <function fn="contains-token" group="string">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+      </function>
+    </section>
+    
+    <section n="5.4" xml:id="string-value-functions">
+      <heading>Functions on string values</heading>
+      
+      <function fn="concat" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args quantifier="{2,}"/>
+      </function>
+      
+      <function fn="string-join" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+      </function>
+      
+      <function fn="substring" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+      </function>
+      
+      <function fn="string-length" group="string">
+        <return>xs:integer</return>
+        <property>deterministic</property>
+        <args num="0">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+        </args>
+        <args num="1">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+      </function>
+      
+      <function fn="normalize-space" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <args num="0">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+        </args>
+        <args num="1">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+      </function>
+      
+      <function fn="normalize-unicode" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2">
+          <error>FOCH0003</error>
+        </args>
+      </function>
+      
+      <function fn="upper-case" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="lower-case" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="translate" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="3"/>
+      </function>
+    </section>
+    
+    <section n="5.5" xml:id="substring.functions">
+      <heading>Functions based on substring matching</heading>
+      
+      <function fn="contains" group="string">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+      
+      <function fn="starts-with" group="string">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+      
+      <function fn="ends-with" group="string">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+      
+      <function fn="substring-before" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+      
+      <function fn="substring-after" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+        <error>FOCH0002</error>
+        <error>FOCH0004</error>
+      </function>
+    </section>
+    
+    <section n="5.6" xml:id="string.match">
+      <heading>String functions that use regular expressions</heading>
+      
+      <function fn="matches" group="string">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3">
+          <error>FORX0001</error>
+        </args>
+        <error>FORX0002</error>
+      </function>
+      
+      <function fn="replace" group="string">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="3"/>
+        <args num="4">
+          <error>FORX0001</error>
+        </args>
+        <error>FORX0002</error>
+        <error>FORX0003</error>
+        <error>FORX0004</error>
+      </function>
+      
+      <function fn="tokenize" group="string">
+        <return quantifier="*">xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+        <args num="3">
+          <error>FORX0001</error>
+        </args>
+        <error>FORX0002</error>
+        <error>FORX0003</error>
+      </function>
+      
+      <function fn="analyze-string" group="string">
+        <return>element(fn:analyze-string-result)</return>
+        <property>nondeterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+        <args num="3">
+          <error>FORX0001</error>
+        </args>
+        <error>FORX0002</error>
+        <error>FORX0003</error>
+      </function>
+    </section>
+    
+  </section>
+  
+  
+  <section n="6" xml:id="anyURI-functions">
+    <heading>Functions that manipulate URIs</heading>
+    
+    <function fn="resolve-uri" group="uri">
+      <return quantifier="?">xs:anyURI</return>
+      <property>deterministic</property>
+      <property>focus-independent</property>
+      <args num="1">
+        <property>context-dependent</property>
+        <error>FONS0005</error>
+      </args>
+      <args num="2">
+        <property>context-independent</property>
+      </args>
+      <error>FORG0002</error>
+      <error>FORG0009</error>
+    </function>
+    
+    <function fn="encode-for-uri" group="uri">
+      <return>xs:string</return>
+      <property>deterministic</property>
+      <property>context-independent</property>
+      <property>focus-independent</property>
+      <args num="1"/>
+    </function>
+    
+    <function fn="iri-to-uri" group="uri">
+      <return>xs:string</return>
+      <property>deterministic</property>
+      <property>context-independent</property>
+      <property>focus-independent</property>
+      <args num="1"/>
+    </function>
+    
+    <function fn="escape-html-uri" group="uri">
+      <return>xs:string</return>
+      <property>deterministic</property>
+      <property>context-independent</property>
+      <property>focus-independent</property>
+      <args num="1"/>
+    </function>
+  </section>
+  
+  
+  <section n="7" xml:id="boolean-functions">
+    <heading>Functions and operators on Boolean values</heading>
+    
+    <section n="7.1" xml:id="boolean-constructors">
+      <heading>Boolean constant functions</heading>
+      
+      <function fn="true" group="boolean">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="0"/>
+      </function>
+      
+      <function fn="false" group="boolean">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="0"/>
+      </function>
+    </section>
+    
+    <section n="7.3" xml:id="boolean-value-functions">
+      <heading>Functions on Boolean values</heading>
+      
+      <function fn="boolean" group="boolean">
+        <return>xs:boolean</return>
+        <args num="1"/>
+        <!-- spec lists no properties -->
+        <error>FORG0006</error>
+      </function>
+      
+      <function fn="not" group="boolean">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FORG0006</error>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="8" xml:id="durations">
+    <heading>Functions and operators on durations</heading>
+    
+    <section n="8.3" xml:id="component-extraction-durations">
+      <heading>Component extraction functions on durations</heading>
+      
+      <function fn="years-from-duration" group="duration">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="months-from-duration" group="duration">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="days-from-duration" group="duration">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="hours-from-duration" group="duration">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="minutes-from-duration" group="duration">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="seconds-from-duration" group="duration">
+        <return quantifier="?">xs:decimal</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="9" xml:id="dates-times">
+    <heading>Functions and operators on dates and times</heading>
+    
+    <section n="9.3" xml:id="constructing-dateTime">
+      <heading>Constructing a dateTime</heading>
+      
+      <function fn="dateTime" group="datetime">
+        <return quantifier="?">xs:dateTime</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <error>FORG0008</error>
+      </function>
+    </section>
+    
+    <section n="9.5" xml:id="component-extraction-dateTime">
+      <heading>Component extraction functions on dates and times</heading>
+      
+      <function fn="year-from-dateTime" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="month-from-dateTime" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="day-from-dateTime" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="hours-from-dateTime" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="minutes-from-dateTime" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="seconds-from-dateTime" group="datetime">
+        <return quantifier="?">xs:decimal</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="timezone-from-dateTime" group="datetime">
+        <return quantifier="?">xs:dayTimeDuration</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="year-from-date" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="month-from-date" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="day-from-date" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="timezone-from-date" group="datetime">
+        <return quantifier="?">xs:dayTimeDuration</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="hours-from-time" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="minutes-from-time" group="datetime">
+        <return quantifier="?">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="seconds-from-time" group="datetime">
+        <return quantifier="?">xs:decimal</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="timezone-from-time" group="datetime">
+        <return quantifier="?">xs:dayTimeDuration</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+    </section>
+    
+    <section n="9.6" xml:id="timezone.functions">
+      <heading>Timezone adjustment functions on dates and time values</heading>
+      
+      <function fn="adjust-dateTime-to-timezone" group="datetime">
+        <return quantifier="?">xs:dateTime</return>
+        <property>deterministic</property>
+        <property>focus-independent</property>
+        <args num="1">
+          <property>context-dependent</property>
+        </args>
+        <args num="2">
+          <property>context-independent</property>
+          <error>FODT0003</error>
+        </args>
+      </function>
+      
+      <function fn="adjust-date-to-timezone" group="datetime">
+        <return quantifier="?">xs:date</return>
+        <property>deterministic</property>
+        <property>focus-independent</property>
+        <args num="1">
+          <property>context-dependent</property>
+        </args>
+        <args num="2">
+          <property>context-independent</property>
+          <error>FODT0003</error>
+        </args>
+      </function>
+      
+      <function fn="adjust-time-to-timezone" group="datetime">
+        <return quantifier="?">xs:time</return>
+        <property>deterministic</property>
+        <property>focus-independent</property>
+        <args num="1">
+          <property>context-dependent</property>
+        </args>
+        <args num="2">
+          <property>context-independent</property>
+          <error>FODT0003</error>
+        </args>
+      </function>
+    </section>
+    
+    <section n="9.8" xml:id="formatting-dates-and-times">
+      <heading>Formatting dates and times</heading>
+      
+      <function fn="format-dateTime" group="datetime">
+        <return quantifier="?">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="5"/>
+        <error>FOFD1340</error>
+      </function>
+      
+      <function fn="format-date" group="datetime">
+        <return quantifier="?">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="5"/>
+        <error>FOFD1340</error>
+        <error>FOFD1350</error>
+      </function>
+      
+      <function fn="format-time" group="datetime">
+        <return quantifier="?">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="5"/>
+        <error>FOFD1340</error>
+        <error>FOFD1350</error>
+      </function>
+    </section>
+    
+    <section n="9.9" xml:id="parsing-dates-and-times">
+      <heading>Parsing dates and times</heading>
+      
+      <function fn="parse-ietf-date" group="datetime">
+        <return quantifier="?">xs:dateTime</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FORG0010</error>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="10" xml:id="QName-funcs">
+    <heading>Functions related to QNames</heading>
+    
+    <section n="10.1" xml:id="QName-constructors">
+      <heading>Functions to create a QName</heading>
+      
+      <function fn="resolve-QName" group="qname">
+        <return quantifier="?">xs:QName</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <error>FOCA0002</error>
+        <error>FONS0004</error>
+      </function>
+      
+      <function fn="QName" group="qname">
+        <return>xs:QName</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <error>FOCA0002</error>
+      </function>
+    </section>
+    
+    <section n="10.2" xml:id="QName-functions">
+      <heading>Functions and operators related to QNames</heading>
+      
+      <function fn="prefix-from-QName" group="qname">
+        <return quantifier="?">xs:NCName</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="local-name-from-QName" group="qname">
+        <return quantifier="?">xs:NCName</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="namespace-uri-from-QName" group="qname">
+        <return quantifier="?">xs:anyURI</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="namespace-uri-for-prefix" group="qname">
+        <return quantifier="?">xs:anyURI</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+      </function>
+      
+      <function fn="in-scope-prefixes" group="qname">
+        <return quantifier="*">xs:string</return>
+        <property>nondeterministic-wrt-ordering</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+    </section>
+  </section>
+  
+  
+  <section n="13" xml:id="node-functions">
+    <heading>Functions and operators on nodes</heading>
+    
+    <function fn="name" group="node">
+      <return>xs:string</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="local-name" group="node">
+      <return>xs:string</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="namespace-uri" group="node">
+      <return>xs:anyURI</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="lang" group="node">
+      <return>xs:boolean</return>
+      <property>deterministic</property>
+      <args num="1">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </args>
+      <args num="2">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="root" group="node">
+      <property>deterministic</property>
+      <args num="0">
+        <return>node()</return>
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </args>
+      <args num="1">
+        <return quantifier="?">node()</return>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="path" group="node">
+      <return quantifier="?">xs:string</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="has-children" group="node">
+      <return>xs:boolean</return>
+      <property>deterministic</property>
+      <args num="0">
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <error>XPDY0002</error>
+        <error>XPTY0004</error>
+      </args>
+      <args num="1">
+        <property>context-independent</property>
+        <property>focus-independent</property>
+      </args>
+    </function>
+    
+    <function fn="innermost" group="node">
+      <return quantifier="*">node()</return>
+      <property>deterministic</property>
+      <property>context-independent</property>
+      <property>focus-independent</property>
+      <args num="1"/>
+    </function>
+    
+    <function fn="outermost" group="node">
+      <return quantifier="*">node()</return>
+      <property>deterministic</property>
+      <property>context-independent</property>
+      <property>focus-independent</property>
+      <args num="1"/>
+    </function>
+  </section>
+  
+  <section n="14" xml:id="sequence-functions">
+    <heading>Functions and operators on sequences</heading>
+    
+    <section n="14.1" xml:id="general-seq-funcs">
+      <heading>General functions and operators on sequences</heading>
+      
+      <function fn="empty" group="sequence">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="exists" group="sequence">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="head" group="sequence">
+        <return quantifier="?">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="tail" group="sequence">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="insert-before" group="sequence">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="3"/>
+      </function>
+      
+      <function fn="remove" group="sequence">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+      </function>
+      
+      <function fn="reverse" group="sequence">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="subsequence" group="sequence">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3"/>
+      </function>
+      
+      <function fn="unordered" group="sequence">
+        <return quantifier="*">item()</return>
+        <property>nondeterministic-wrt-ordering</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+    </section>
+    
+    <section n="14.2" xml:id="comparing-sequences">
+      <heading>Functions that compare values in sequences</heading>
+      
+      <function fn="distinct-values" group="sequence">
+        <return quantifier="*">xs:anyAtomicType</return>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1">
+          <property>nondeterministic-wrt-ordering</property>
+        </args>
+        <args num="2">
+          <property>deterministic</property>
+          <error>FOCH0002</error>
+        </args>
+      </function>
+      
+      <function fn="index-of" group="sequence">
+        <return quantifier="*">xs:integer</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3">
+          <error>FOCH0002</error>
+        </args>
+      </function>
+      
+      <function fn="deep-equal" group="sequence">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="2"/>
+        <args num="3">
+          <error>FOCH0002</error>
+        </args>
+        <error>FOTY0015</error>
+      </function>
+    </section>
+    
+    <section n="14.3" xml:id="cardinality-functions">
+      <heading>Functions that test the cardinality of sequences</heading>
+      
+      <function fn="zero-or-one" group="sequence">
+        <return quantifier="?">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FORG0003</error>
+      </function>
+      
+      <function fn="one-or-more" group="sequence">
+        <return quantifier="+">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FORG0004</error>
+      </function>
+      
+      <function fn="exactly-one" group="sequence">
+        <return>item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FORG0005</error>
+      </function>
+    </section>
+    
+    <section n="14.4" xml:id="aggregate-functions">
+      <heading>Aggregate-functions</heading>
+      
+      <function fn="count" group="sequence">
+        <return>xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="avg" group="sequence">
+        <return quantifier="?">xs:anyAtomicType</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FORG0006</error>
+      </function>
+      
+      <function fn="max" group="sequence">
+        <return quantifier="?">xs:anyAtomicType</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+        <error>FORG0006</error>
+        <error>FOCH0002</error>
+      </function>
+      
+      <function fn="min" group="sequence">
+        <return quantifier="?">xs:anyAtomicType</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+        <error>FORG0006</error>
+        <error>FOCH0002</error>
+      </function>
+      
+      <function fn="sum" group="sequence">
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1">
+          <return>xs:anyAtomicType</return>
+        </args>
+        <args num="2">
+          <return quantifier="?">xs:anyAtomicType</return>
+        </args>
+        <error>FORG0006</error>
+      </function>
+    </section>
+    
+    <section n="14.5" xml:id="fns-on-identifiers">
+      <heading>Functions on node identifiers</heading>
+      
+      <function fn="id" group="sequence">
+        <return quantifier="*">element()</return>
+        <property>deterministic</property>
+        <args num="1">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+          <error>XPTY0004</error>
+        </args>
+        <args num="2">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+        <error>FODC0001</error>
+      </function>
+      
+      <function fn="element-with-id" group="sequence">
+        <return quantifier="*">element()</return>
+        <property>deterministic</property>
+        <args num="1">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+          <error>XPTY0004</error>
+        </args>
+        <args num="2">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+        <error>FODC0001</error>
+      </function>
+      
+      <function fn="idref" group="sequence">
+        <return quantifier="*">node()</return>
+        <property>deterministic</property>
+        <args num="1">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+          <error>XPTY0004</error>
+        </args>
+        <args num="2">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+        <error>FODC0001</error>
+      </function>
+      
+      <function fn="generate-id" group="sequence">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <args num="0">
+          <property>context-dependent</property>
+          <property>focus-dependent</property>
+          <error>XPDY0002</error>
+          <error>XPTY0004</error>
+        </args>
+        <args num="1">
+          <property>context-independent</property>
+          <property>focus-independent</property>
+        </args>
+      </function>
+    </section>
+    
+    <section n="14.6" xml:id="fns-on-docs">
+      <heading>Functions giving access to external information</heading>
+      
+      <function fn="doc" group="sequence">
+        <return quantifier="?">document-node()</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FODC0002</error>
+        <error>FODC0003</error>
+        <error>FODC0005</error>
+      </function>
+      
+      <function fn="doc-available" group="sequence">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="collection" group="sequence">
+        <return quantifier="?">document-node()</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="0"/>
+        <args num="1">
+          <error>FODC0004</error>
+        </args>
+        <error>FODC0002</error>
+        <error>FODC0003</error>
+      </function>
+      
+      <function fn="uri-collection" group="sequence">
+        <return quantifier="*">xs:anyURI</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="0"/>
+        <args num="1">
+          <error>FODC0004</error>
+        </args>
+        <error>FODC0002</error>
+        <error>FODC0003</error>
+      </function>
+      
+      <function fn="unparsed-text" group="sequence">
+        <return quantifier="?">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1">
+          <error>FOUT1200</error>
+        </args>
+        <args num="2">
+          <error>FOUT1190</error>
+        </args>
+        <error>FOUT1170</error>
+      </function>
+      
+      <function fn="unparsed-text-lines" group="sequence">
+        <return quantifier="*">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1">
+          <error>FOUT1200</error>
+        </args>
+        <args num="2">
+          <error>FOUT1190</error>
+        </args>
+        <error>FOUT1170</error>
+      </function>
+      
+      <function fn="unparsed-text-available" group="sequence">
+        <return>xs:boolean</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+      </function>
+      
+      <function fn="environment-variable" group="sequence">
+        <return quantifier="?">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="available-environment-variables" group="sequence">
+        <return quantifier="*">xs:string</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="0"/>
+      </function>
+    </section>
+    
+    <section n="14.7" xml:id="parsing-and-serializing">
+      <heading>Parsing and serializing</heading>
+      
+      <function fn="parse-xml" group="sequence">
+        <return quantifier="?">document-node(element(*))</return>
+        <property>nondeterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FODC0006</error>
+      </function>
+      
+      <function fn="parse-xml-fragment" group="sequence">
+        <return quantifier="?">document-node()</return>
+        <property>nondeterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FODC0006</error>
+      </function>
+      
+      <function fn="serialize" group="sequence">
+        <return>xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2">
+          <error>XPTY0004</error>
+          <error>SEPM0016</error>
+        </args>
+        <error>FODC0010</error>
+      </function>
+    </section>
+  </section>
+  
+  <section n="15" xml:id="context">
+    <heading>Context functions</heading>
+    
+    <function fn="position" group="context">
+      <return>xs:integer</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-dependent</property>
+      <args num="0"/>
+      <error>XPDY0002</error>
+    </function>
+    
+    <function fn="last" group="context">
+      <return>xs:integer</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-dependent</property>
+      <args num="0"/>
+      <error>XPDY0002</error>
+    </function>
+    
+    <function fn="current-dateTime" group="context">
+      <return>xs:dateTimeStamp</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-independent</property>
+      <args num="0"/>
+    </function>
+    
+    <function fn="current-date" group="context">
+      <return>xs:date</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-independent</property>
+      <args num="0"/>
+    </function>
+    
+    <function fn="current-time" group="context">
+      <return>xs:time</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-independent</property>
+      <args num="0"/>
+    </function>
+    
+    <function fn="implicit-timezone" group="context">
+      <return>xs:dayTimeDuration</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-independent</property>
+      <args num="0"/>
+    </function>
+    
+    <function fn="default-collation" group="context">
+      <return>xs:string</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-independent</property>
+      <args num="0"/>
+    </function>
+    
+    <function fn="default-language" group="context">
+      <return>xs:language</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-independent</property>
+      <args num="0"/>
+    </function>
+    
+    <function fn="static-base-uri" group="context">
+      <return quantifier="?">xs:anyURI</return>
+      <property>deterministic</property>
+      <property>context-dependent</property>
+      <property>focus-independent</property>
+      <args num="0"/>
+    </function>
+  </section>
+  
+  <section n="16" xml:id="higher-order-functions">
+    <heading>Higher-order functions</heading>
+    
+    <section n="16.1" xml:id="functions-on-functions">
+      <heading>Functions on functions</heading>
+      
+      <function fn="function-lookup" group="higher-order">
+        <return quantifier="?">function(*)</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-dependent</property>
+        <property>higher-order</property>
+        <args num="2"/>
+      </function>
+      
+      <function fn="function-name" group="higher-order">
+        <return quantifier="?">xs:QName</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <property>higher-order</property>
+        <args num="1"/>
+      </function>
+      
+      <function fn="function-arity" group="higher-order">
+        <return>xs:integer</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <property>higher-order</property>
+        <args num="1"/>
+      </function>
+    </section>
+    
+    <section n="16.2" xml:id="basic-hofs">
+      <heading>Basic higher-order functions</heading>
+      
+      <function fn="for-each" group="higher-order">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <property>higher-order</property>
+        <args num="2"/>
+      </function>
+      
+      <function fn="filter" group="higher-order">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <property>higher-order</property>
+        <args num="2"/>
+        <!-- type error -->
+      </function>
+      
+      <function fn="fold-left" group="higher-order">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <property>higher-order</property>
+        <args num="3"/>
+        <!-- type error -->
+      </function>
+      
+      <function fn="fold-right" group="higher-order">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <property>higher-order</property>
+        <args num="3"/>
+        <!-- type error -->
+      </function>
+      
+      <function fn="for-each-pair" group="higher-order">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <property>higher-order</property>
+        <args num="3"/>
+      </function>
+      
+      <function fn="sort" group="higher-order">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2"/>
+        <args num="3">
+          <property>higher-order</property>
+        </args>
+        <error>XPTY0004</error>
+      </function>
+      
+      <function fn="apply" group="higher-order">
+        <return quantifier="*">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <property>higher-order</property>
+        <args num="2"/>
+        <error>FOAP0001</error>
+      </function>
+    </section>
+    
+    <section n="16.3" xml:id="dynamic-loading">
+      <heading>Dynamic Loading</heading>
+      
+      <function fn="load-xquery-module" group="higher-order">
+        <return>xs:integer</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <property>higher-order</property>
+        <args num="1"/>
+        <args num="2"/>
+        <error>FOQM0001</error>
+        <error>FOQM0002</error>
+        <error>FOQM0003</error>
+        <error>FOQM0005</error>
+        <error>FOQM0006</error>
+      </function>
+      
+      <function fn="transform" group="higher-order">
+        <return>map(*)</return>
+        <property>nondeterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <error>FOXT0001</error>
+        <error>FOXT0002</error>
+        <error>FOXT0003</error>
+        <error>FOXT0004</error>
+        <error>FOXT0006</error>
+      </function>
+    </section>
+  </section>
+  
+  <section n="17" xml:id="maps-and-arrays">
+    <heading>Maps and Arrays</heading>
+    
+    <section n="17.1" xml:id="map-functions">
+      <heading>Functions that Operate on Maps</heading>
+    </section>
+    
+    <section n="17.3" xml:id="array-functions">
+      <heading>Functions that Operate on Arrays</heading>
+    </section>
+    
+    <section n="17.5" xml:id="json-functions">
+      <heading>Functions on JSON Data</heading>
+      
+      <function fn="parse-json" group="json">
+        <return quantifier="?">item()</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2">
+          <error>FOJS0003</error>
+          <error>FOJS0005</error>
+        </args>
+        <error>FOJS0001</error>
+      </function>
+      
+      <function fn="json-doc" group="json">
+        <return quantifier="?">item()</return>
+        <property>deterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2">
+          <error>FOJS0003</error>
+          <error>FOJS0005</error>
+        </args>
+        <error>FOJS0001</error>
+        <error>FOUT1170</error>
+        <error>FOUT1190</error>
+        <error>FOUT1200</error>
+      </function>
+      
+      <function fn="json-to-xml" group="json">
+        <return quantifier="?">document-node()</return>
+        <property>nondeterministic</property>
+        <property>context-dependent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2">
+          <error>FOJS0005</error>
+        </args>
+        <error>FOJS0001</error>
+        <error>FOJS0004</error>
+      </function>
+      
+      <function fn="xml-to-json" group="json">
+        <return quantifier="?">xs:string</return>
+        <property>deterministic</property>
+        <property>context-independent</property>
+        <property>focus-independent</property>
+        <args num="1"/>
+        <args num="2">
+          <error>FOJS0005</error>
+        </args>
+        <error>FOJS0006</error>
+        <error>FOJS0007</error>
+      </function>
+    </section>
+  </section>
+  
+  <section n="18" xml:id="constructor-functions">
+    <heading>Constructor functions</heading>
+  </section>
+  
+</specification>

From 7964dc40b14a566f87601d571a9330f5744c202f Mon Sep 17 00:00:00 2001
From: Ash Clark <amclark42@gmail.com>
Date: Wed, 17 Jan 2024 09:27:53 -0500
Subject: [PATCH 6/7] Release XPath function data into public domain

---
 .../xar-resources/indexes-test/data/fn-library_2-0.xml    | 8 ++++++++
 .../xar-resources/indexes-test/data/fn-library_3-0.xml    | 7 +++++++
 .../xar-resources/indexes-test/data/fn-library_3-1.xml    | 7 +++++++
 3 files changed, 22 insertions(+)

diff --git a/src/main/xar-resources/indexes-test/data/fn-library_2-0.xml b/src/main/xar-resources/indexes-test/data/fn-library_2-0.xml
index a288f69..87d6fd1 100644
--- a/src/main/xar-resources/indexes-test/data/fn-library_2-0.xml
+++ b/src/main/xar-resources/indexes-test/data/fn-library_2-0.xml
@@ -13,6 +13,14 @@
     </editors>
     <url>https://www.w3.org/TR/xquery-operators</url>
     <url>http://www.w3.org/TR/2010/REC-xpath-functions-20101214/</url>
+    <note>
+      <p>Compiled 2023-12 by Ash Clark.</p>
+      <p>This is free and unencumbered data released into the public domain.</p>
+      <p>Anyone is free to copy, modify, publish, use, compile, sell, or
+        distribute this data, either in source code form or as a compiled
+        binary, for any purpose, commercial or non-commercial, and by any
+        means.</p>
+    </note>
   </about>
   
   <section n="2" xml:id="accessors">
diff --git a/src/main/xar-resources/indexes-test/data/fn-library_3-0.xml b/src/main/xar-resources/indexes-test/data/fn-library_3-0.xml
index 240099a..e16fde1 100644
--- a/src/main/xar-resources/indexes-test/data/fn-library_3-0.xml
+++ b/src/main/xar-resources/indexes-test/data/fn-library_3-0.xml
@@ -10,6 +10,13 @@
     </editors>
     <url>https://www.w3.org/TR/xpath-functions-30</url>
     <url>http://www.w3.org/TR/2014/REC-xpath-functions-30-20140408/</url>
+    <note>
+      <p>Compiled 2023-12 by Ash Clark.</p>
+      <p>This is free and unencumbered data released into the public domain.</p>
+      <p>Anyone is free to copy, modify, publish, use, compile, sell, or
+        distribute this data for any purpose, commercial or non-commercial, 
+        and by any means.</p>
+    </note>
   </about>
   
   <section n="2" xml:id="accessors">
diff --git a/src/main/xar-resources/indexes-test/data/fn-library_3-1.xml b/src/main/xar-resources/indexes-test/data/fn-library_3-1.xml
index 1f30c9d..5b906d5 100644
--- a/src/main/xar-resources/indexes-test/data/fn-library_3-1.xml
+++ b/src/main/xar-resources/indexes-test/data/fn-library_3-1.xml
@@ -10,6 +10,13 @@
     </editors>
     <url>https://www.w3.org/TR/xpath-functions-31</url>
     <url>https://www.w3.org/TR/2017/REC-xpath-functions-31-20170321/</url>
+    <note>
+      <p>Compiled 2023-12 by Ash Clark.</p>
+      <p>This is free and unencumbered data released into the public domain.</p>
+      <p>Anyone is free to copy, modify, publish, use, compile, sell, or
+        distribute this data for any purpose, commercial or non-commercial, 
+        and by any means.</p>
+    </note>
   </about>
   
   <section n="2" xml:id="accessors">

From 19aefc08b78d2b7efc849509bd9eadb777f5e6b6 Mon Sep 17 00:00:00 2001
From: Ash Clark <amclark42@gmail.com>
Date: Wed, 17 Jan 2024 09:29:20 -0500
Subject: [PATCH 7/7] Tweak note

---
 src/main/xar-resources/indexes-test/data/fn-library_2-0.xml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/main/xar-resources/indexes-test/data/fn-library_2-0.xml b/src/main/xar-resources/indexes-test/data/fn-library_2-0.xml
index 87d6fd1..cbe52bf 100644
--- a/src/main/xar-resources/indexes-test/data/fn-library_2-0.xml
+++ b/src/main/xar-resources/indexes-test/data/fn-library_2-0.xml
@@ -17,9 +17,8 @@
       <p>Compiled 2023-12 by Ash Clark.</p>
       <p>This is free and unencumbered data released into the public domain.</p>
       <p>Anyone is free to copy, modify, publish, use, compile, sell, or
-        distribute this data, either in source code form or as a compiled
-        binary, for any purpose, commercial or non-commercial, and by any
-        means.</p>
+        distribute this data for any purpose, commercial or non-commercial, 
+        and by any means.</p>
     </note>
   </about>