Update index.html

w3c · Apr 19, 2024 · e235d4b · e235d4b
1 parent 401d9c6
commit e235d4b
Showing 1 changed file with 6 additions and 12 deletions.
diff --git a/formal-semantics/index.html b/formal-semantics/index.html
@@ -495,30 +495,24 @@ <h4>Examples (Permission with duties)</h4>
 	<table border="1">
   	<tr>
     		<th>ID</th>
-    		<th>D1.Action.R1</th>
-		<th>D1</th>
-		<th>P1</th>
-		<th>P2.Action</th>
-		<th>P1.usage state</th>
-		<th>Violation</th>
- 	 </tr>
+    		<th>Duty</th>
+		<th>P88</th>
+		<th>P88.Action</th>
+		<th>P88.usage state</th>
+		</tr>
   	<tr>
     		<td>E22-1-m</td>
-    		<td>not satisfied</td>
     		<td>active</td>
     		<td>inactive</td>
     		<td>performed</td>	  
-    		<td>not-used</td>	  
-		<td>Yes</td>	  
+    		<td>not-used</td>	  	  
   	</tr>
   	<tr>
     		<td>E22-2-m</td>
-    		<td>satisfied</td>
     		<td>fulfilled</td>
     		<td>active</td>
    		<td>performed</td>
    		<td>used</td>
-		<td>No</td>
   	</tr>
 	</table>
 <!--