Update index.html

formal-semantics/index.html

@@ -472,8 +472,12 @@ <h4>Example of a permission whose permitted action is refined</h4>
 
         <p><i>Monitoring scenario:</i></p> 
         <p>
-            The Permission is always active because it has neither Constraints nor Conditions (Duties). Given a formal description a performed action. 
-            If such an action belongs to the class of actions regulated by the Permission then the permission is used by the performed action.
+            The Permission is always active because it has neither Constraints nor Conditions (Duties). 
+	Given a formal description a performed action. 
+        If such an action belongs to the class of actions regulated by the Permission <i>AND 
+	the performed action satisfies the Refinement then the permission is used by the performed action.
+	If the performed actions does not satisfy the Refinement and there is not another permission that 
+	permits such an action a violation has to be creted.</i>
         </p>
 
         <table border="1" style="font-size:small;">