Added "with all satisfied refinements" to actions

model/index.html

@@ -999,7 +999,7 @@ <h3>Rule Class</h3>
 <h3>Permission Class</h3>
 
 
-<p>A Permission <strong>allows</strong> an action to be <strong>exercised</strong> on an Asset if all constraints are <strong>satisfied</strong> and if all duties are <strong>fulfilled</strong>.</p>
+<p>A Permission <strong>allows</strong> an action, with all <strong>satisfied</strong> refinements, to be <strong>exercised</strong> on an Asset if all constraints are <strong>satisfied</strong> and if all duties are <strong>fulfilled</strong>.</p>
 
 <p>The Permission class is a subclass of, and inherits all the properties from, the Rule class - and has the following additional property semantics:</p>
 <ul>
@@ -1041,7 +1041,7 @@ <h3>Permission Class</h3>
 <section id="prohibition">
 <h3>Prohibition Class</h3>
 
-<p>A Prohibition <strong>disallows</strong> an action to be <strong>exercised</strong> on an Asset if all constraints are <strong>satisfied</strong>. If the Prohibition has been <strong>infringed</strong> by the action being exercised, then all of the remedies MUST be <strong>fulfilled</strong> to set the state of the Prohibition to <strong>not infringed</strong>.
+<p>A Prohibition <strong>disallows</strong> an action, with all <strong>satisfied</strong> refinements, to be <strong>exercised</strong> on an Asset if all constraints are <strong>satisfied</strong>. If the Prohibition has been <strong>infringed</strong> by the action being exercised, then all of the remedies MUST be <strong>fulfilled</strong> to set the state of the Prohibition to <strong>not infringed</strong>.
 </p>
 
 	<p>The Prohibition class is a subclass of, and inherits all the properties from, the Rule class - and has the following additional property semantics:</p>
@@ -1088,7 +1088,7 @@ <h3>Prohibition Class</h3>
 <section id="duty">
 <h3>Duty Class</h3>
 
-<p>A Duty is the <strong>obligation</strong> to <strong>exercise</strong> an  action. A Duty is <strong>fulfilled</strong> if all constraints are <strong>satisfied</strong> and if its action has been <strong>exercised</strong>. If its action has not been exercised, then all <code>consequence</code>s must be fulfilled to fulfil the Duty. (Note: only Duties referenced by duty or obligation properties may use consequence properties.)
+<p>A Duty is the <strong>obligation</strong> to <strong>exercise</strong> an  action, with all <strong>satisfied</strong> refinements. A Duty is <strong>fulfilled</strong> if all constraints are <strong>satisfied</strong> and if its action, with all <strong>satisfied</strong> refinements, has been <strong>exercised</strong>. If its action has not been exercised, then all <code>consequence</code>s must be fulfilled to fulfil the Duty. (Note: only Duties referenced by duty or obligation properties may use consequence properties.)
 	</p>
 
 
@@ -1120,7 +1120,7 @@ <h3>Duty Class</h3>
 <section id="duty-policy">
 <h3>Obligation property with a Policy</h3>
 
-<p>A Policy MAY include an obligation to fulfill a Duty. The obligation is <strong>fulfilled</strong> if all constraints are <strong>satisfied</strong> and if its action has been <strong>exercised</strong>. </p>
+<p>A Policy MAY include an obligation to fulfil a Duty. The obligation is <strong>fulfilled</strong> if all constraints are <strong>satisfied</strong> and if its action, with all <strong>satisfied</strong> refinements, has been <strong>exercised</strong>. </p>
 
 <blockquote>
 <p>Example Use Case: The below Agreement includes an obligation from assigner <code>http://example.com/org:43</code> to assignee <code>http://example.com/person:44</code>  to compensate the assigner for a payment amount of EU500.00.</p>