Skip to content

Commit

Permalink
Update index.html
Browse files Browse the repository at this point in the history
  • Loading branch information
fornaran authored Oct 11, 2024
1 parent 56ef3e2 commit 32d2e71
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions formal-semantics/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -502,7 +502,7 @@ <h4>Example of a permission whose permitted action is refined</h4>

<h3>Evaluation of Conditions (Duties)</h3>
<p>
When a Permission contains Conditions (duties) they have to be evaluated first.
When a Permission contains Conditions (duties), they have to be evaluated first.
</p>

<p>
Expand All @@ -522,8 +522,8 @@ <h3>Evaluation of Conditions (Duties)</h3>
<img src="2024ODRLDuty.png"></p>

<p>
Once the Condition (duty) has been evaluated, the Permission can be evaluated.
If the Condition is active but it is not fullfilled then the Permission is inactive.
Once the Condition (duty) has been evaluated, the Permission can be evaluated. <br>
If the Condition is active but it is not fullfilled then the Permission is inactive.<br>
If the Condition is fulfilled then the Permission is active.
</p>

Expand Down

0 comments on commit 32d2e71

Please sign in to comment.