Update index.html

formal-semantics/index.html

@@ -274,8 +274,9 @@ <h4>Semantics of Duty when it is used as an activation condition of a Permission
 
 	<a href="https://www.w3.org/TR/odrl-model/#constraint-rule">Example 13</a><br>
 	Type of Permission: Permission P1 is constrained by the Constraint C1. <br>
-	(The permission allows the <code>target</code> asset to be distributed, and includes a constraint of a dateTime condition 
-	that the permission can only be exercised until 2018-01-01).<br>
+	(The permission allows the <code>target</code> asset to be distributed, and includes a <code>constraint</code>
+	of a <code>dateTime</code> condition that the permission can only be exercised until 2018-01-01).<br>
+	When the constraint is no longer satisfied and the permission is no longer active.<br>
 
 	<table border="1">
   	<tr>
@@ -298,6 +299,31 @@ <h4>Semantics of Duty when it is used as an activation condition of a Permission
 	<hr>
 
 
+<a href="https://www.w3.org/TR/odrl-model/#constraint-action">Example 14</a><br>
+	<b>Type of Permission</b>: Permission P1 permits an action that is refined by Refinement R1. <br>
+	(The permission allows the target asset to be printed, and also include a refinement of less 
+	than or equal to 1200 dpi resolution.).<br>
+	Acces control scenario: If the requested action to print satisfies the Refinement the action is permitted otherwise it is blocked.<br>
+
+	<table border="1">
+  	<tr>
+    		<th>ID</th>
+    		<th>P1.C1</th>
+		<th>P1</th>
+	 </tr>
+  	<tr>
+    		<td>E13-1</td>
+    		<td>not-satisfied</td>
+    		<td>inactive</td>
+    	</tr>
+  	<tr>
+    		<td>E13-2</td>
+    		<td>satisfied</td>
+    		<td>active</td>
+    	</tr>
+	</table>
+
+	<hr>
 
 	<a href="https://www.w3.org/TR/odrl-model/#duty-perm">Example 22 (Permission)</a> <br>