Skip to content

Commit

Permalink
editorial: swapped violation/infringement #274
Browse files Browse the repository at this point in the history
  • Loading branch information
riannella committed Oct 25, 2017
1 parent f4ff940 commit 1fd3fac
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion model/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -1292,7 +1292,7 @@ <h3>Consequence property with a Permission/Obligation Duty</h3>
<section id="duty-prohib">
<h3>Remedy property with a Prohibition</h3>

<p>The <code>remedy</code> property expresses an agreed Duty that MUST be fulfilled in case that a Prohibition has been <strong>infringed</strong> by being exercised. If the Prohibition action is exercised, then all remedy Duties MUST be <strong>fulfilled</strong> to address the violation of the Prohibition. The <code>remedy</code> property is a sub-property of the <code><em>failure</em></code> property.</p>
<p>The <code>remedy</code> property expresses an agreed Duty that MUST be fulfilled in case that a Prohibition has been <strong>infringed</strong> by being exercised. If the Prohibition action is exercised, then all remedy Duties MUST be <strong>fulfilled</strong> to address the infringement of the Prohibition and set it to the state <strong>not infringed</strong>. The <code>remedy</code> property is a sub-property of the <code><em>failure</em></code> property.</p>

<p>A remedy MUST NOT refer to a Duty that includes a consequence Duty.</p>

Expand Down

0 comments on commit 1fd3fac

Please sign in to comment.