From fdcaaf9ec17f48a90fe005627d9adc8121b63712 Mon Sep 17 00:00:00 2001
From: Olaf Hartig <olaf.hartig@liu.se>
Date: Wed, 5 Mar 2025 19:06:17 +0100
Subject: [PATCH] Update spec/index.html

---
 spec/index.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/spec/index.html b/spec/index.html
index df2eb5f..64c0b11 100644
--- a/spec/index.html
+++ b/spec/index.html
@@ -1092,7 +1092,8 @@ <h3>RDF Dataset Comparison</h3>
         the following are true:
         <ul>
           <li>|M|(|n|) is [=RDF term equality|equal=] to <var>n'</var>.</li>
-          <li>The triple (|s|, |p|, |o|) is in |G| if and only if
+          <li>For every triple |t|=(|s|, |p|, |o|), it holds that
+            |t| is in |G| if and only if
             the triple ( |M|(|s|), |M|(|p|), |M|(|o|) ) is in <var>G'</var>.</li>
         </ul>
       </li>