Fixed textual definitions of QCR and sh:valueShape on failure handling

shacl/index.html

@@ -2681,7 +2681,8 @@ <h4>sh:valueShape</h4>
 						<div class="def-text-body">
 							A <span class="term">validation result</span> must be produced for each <span class="term">value node</span>
 							where validating the value node against the shape specified by <code>sh:valueShape</code> 
-							produces any validation results with severity <code>sh:Violation</code> or a failure.
+							produces any validation results with severity <code>sh:Violation</code>.
+							A <span class="term">failure</span> must be produced if the validation of any <span class="term">value node</span> has produced a failure.
 						</div>
 					</div>
 					<div class="def def-sparql">
@@ -2779,13 +2780,12 @@ <h4>sh:qualifiedValueShape, sh:qualifiedMinCount, sh:qualifiedMaxCount</h4>
 					<div class="def def-text">
 						<div class="def-header">TEXTUAL DEFINITION of sh:qualifiedMinCount</div>
 						<div class="def-text-body">
-							A <span class="term">validation result</span> must be produced if the number of triples that have
-							the <span class="term">focus node</span> as its subject, the <code>sh:predicate</code>
-							as its predicate and where validating the object against the shape specified by <code>sh:qualifiedValueShape</code>
-							produces no validation results with severity <code>sh:Violation</code> or a failure is less than
-							<code>sh:qualifiedMinCount</code>.
-							The produced <span class="term">validation result</span> must have the <span class="term">focus node</span> as its <code>sh:subject</code>,
-							and the <code>sh:predicate</code> as its <code>sh:predicate</code>.
+							Let <code>C</code> be the number of <span class="term">value nodes</span> where
+							validating the node against the shape specified by <code>sh:qualifiedValueShape</code>
+							produces no validation results with severity <code>sh:Violation</code>.
+							A <span class="term">failure</span> must be produced if the validation of any of the value nodes produces a failure.
+							A <span class="term">validation result</span> must be produced if <code>C</code>
+							is less than the specified <code>sh:qualifiedMinCount</code>.
 						</div>
 					</div>
 					<div class="def def-sparql">
@@ -2821,13 +2821,12 @@ <h4>sh:qualifiedValueShape, sh:qualifiedMinCount, sh:qualifiedMaxCount</h4>
 					<div class="def def-text">
 						<div class="def-header">TEXTUAL DEFINITION of sh:qualifiedMaxCount</div>
 						<div class="def-text-body">
-							A <span class="term">validation result</span> must be produced if the number of triples that have
-							the <span class="term">focus node</span> as its subject, the <code>sh:predicate</code>
-							as its predicate and where validating the object against the shape specified by <code>sh:qualifiedValueShape</code>
-							produces no validation results with severity <code>sh:Violation</code> or a failure is greater than
-							<code>sh:qualifiedMaxCount</code>.
-							The produced <span class="term">validation result</span> must have the <span class="term">focus node</span> as its <code>sh:subject</code>,
-							and the <code>sh:predicate</code> as its <code>sh:predicate</code>.
+							Let <code>C</code> be the number of <span class="term">value nodes</span> where
+							validating the node against the shape specified by <code>sh:qualifiedValueShape</code>
+							produces no validation results with severity <code>sh:Violation</code>.
+							A <span class="term">failure</span> must be produced if the validation of any of the value nodes produces a failure.
+							A <span class="term">validation result</span> must be produced if <code>C</code>
+							is greater than the specified <code>sh:qualifiedMaxCount</code>.
 						</div>
 					</div>
 					<div class="def def-sparql">