From 2b2c564a990dec474ac62ffbfb61d495dfc7ad85 Mon Sep 17 00:00:00 2001
From: Nicoletta Fornara <fornaran@usi.ch>
Date: Tue, 22 Oct 2024 08:32:47 +0200
Subject: [PATCH] Update index.html

---
 formal-semantics/index.html | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/formal-semantics/index.html b/formal-semantics/index.html
index 09655e2..20476ff 100644
--- a/formal-semantics/index.html
+++ b/formal-semantics/index.html
@@ -352,7 +352,7 @@ <h4>Example of a constrained permission</h4>
 		    <code>document:1234</code></td>
                     <td>satisfied</td>
                     <td>active</td>
-		    <td>the attempted action is permitted</td>
+		    <td>the attempted action is permitted by policy:13</td>
             </tr>
             <tr>
                     <td>E13-2</td>
@@ -362,7 +362,7 @@ <h4>Example of a constrained permission</h4>
 		    <code>document:1234</code></td>
                     <td>not-satisfied</td>
                     <td>inactive</td>	
-		    <td>the attempted action is not permitted</td>
+		    <td>the attempted action is not permitted by policy:13</td>
             </tr>
         </table>        
         
@@ -389,7 +389,7 @@ <h4>Example of a constrained permission</h4>
 		the action <code>distribute</code> of <code>document:1234</code> was perfomed</td>
                 <td>satisfied</td>
                 <td>active</td>
-		<td>the attempted action is permitted</td>
+		<td>the attempted action is permitted by policy:13</td>
             </tr>
             <tr>
                 <td>E13-4</td>
@@ -398,7 +398,7 @@ <h4>Example of a constrained permission</h4>
 		the action <code>distribute</code> of <code>document:1234</code> was perfomed</td>
                 <td>not-satisfied</td>
                 <td>inactive</td>
-		<td>the attempted action is not permitted</td>
+		<td>the attempted action is not permitted by policy:13</td>
             </tr>
         </table>
     <hr/>
@@ -468,7 +468,7 @@ <h4>Example of a permission whose permitted action is refined</h4>
             <td><code>print</code> of <code>document:1234</code> with <code>resolution</code> less than 1200 dpi</td> 
             <td>satisfied</td>
             <td>active </td> 
-	    <td>the attempted action is permitted</td>
+	    <td>the attempted action is permitted by policy:14</td>
         </tr>
         <tr>
             <td>E14-1</td>
@@ -476,7 +476,7 @@ <h4>Example of a permission whose permitted action is refined</h4>
             <td><code>print</code> of <code>document:1234</code> with <code>resolution</code> more than 1200 dpi</td> 
             <td>not-satisfied</td>
             <td>inactive </td>
-		<td>the attempted action is not permitted</td>
+		<td>the attempted action is not permitted by policy:14</td>
         </tr>
         </table>
         
@@ -509,7 +509,7 @@ <h4>Example of a permission whose permitted action is refined</h4>
                 <td><code>print</code> of <code>document:1234</code> with <code>resolution</code> less than 1200 dpi was performed</td> 
                 <td>satisfied</td>
                 <td>active </td>
-		 <td>the performed action is permitted</td>
+		 <td>the performed action is permitted by policy:14</td>
         </tr>
         <tr>
                 <td>E14-4</td>