From 47d58230ca7901205dd3b949ccc26b604742141d Mon Sep 17 00:00:00 2001
From: Andy Seaborne <andy@apache.org>
Date: Sun, 15 Dec 2024 11:16:49 +0000
Subject: [PATCH] Reformat

---
 spec/index.html | 26 +++++++++++++++++---------
 1 file changed, 17 insertions(+), 9 deletions(-)

diff --git a/spec/index.html b/spec/index.html
index e995e28..66542b7 100644
--- a/spec/index.html
+++ b/spec/index.html
@@ -7596,15 +7596,23 @@ <h5>SHA512</h5>
       </section>
       <section id="FunctionMapping">
         <h3>XPath Constructor Functions</h3>
-        <p>SPARQL imports a subset of the XPath constructor functions defined in [[[XPATH-FUNCTIONS-31]]]
-          [[XPATH-FUNCTIONS-31]] in section <a data-cite="XPATH-FUNCTIONS-31#casting-from-primitive-to-primitive">17.1 Casting
-            from primitive types to primitive types</a>. SPARQL constructors include all of the XPath
-          constructors for the <a href="#operandDataTypes">SPARQL operand datatypes</a> plus the
-          <a href="#operandDataTypes">additional datatypes</a> imposed by the RDF data model. Casting
-          in SPARQL is performed by calling a constructor function for the target type on an operand of
-          the source type.</p>
-        <p>XPath defines only the casts from one XML Schema datatype to another. The remaining cast
-          is defined as follows:</p>
+        <p>
+          SPARQL imports a subset of the XPath constructor functions defined in
+          [[[XPATH-FUNCTIONS-31]]] [[XPATH-FUNCTIONS-31]] in
+          section 
+          <a data-cite="XPATH-FUNCTIONS-31#casting-from-primitive-to-primitive"
+          >17.1 Casting from primitive types to primitive types</a>.
+          SPARQL constructors include all of the XPath constructors for
+          the <a href="#operandDataTypes">SPARQL operand datatypes</a> plus
+          the <a href="#operandDataTypes">additional datatypes</a> imposed by
+          the RDF data model. Casting in SPARQL is performed by calling a
+          constructor function for the target type on an operand of the source
+          type.
+        </p>
+        <p>
+          XPath defines only the casts from one XML Schema datatype to another. The remaining cast
+          is defined as follows:
+        </p>
         <ul>
           <li>Casting an <span class="IRI type">IRI</span> to an <code>xsd:string</code> produces a
             <span class="IRI literal">literal</span> with a lexical value of the codepoints