Skip to content

Commit

Permalink
Update index.html
Browse files Browse the repository at this point in the history
  • Loading branch information
@fornaran
fornaran authored Oct 14, 2024
1 parent 6aa1cb2 commit c5a0e0c
Showing 1 changed file with 11 additions and 8 deletions.
19 changes: 11 additions & 8 deletions formal-semantics/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -852,25 +852,28 @@ <h4>Evaluation of a prohibition with constraints</h4>
<th style="color:darkred"><kbd>monitoring</kbd><br>deontic state of <br><code>prohibition:1</code></th>
</tr>
<tr>
<td>E19-1</td>
<td>policy:5555</td>
<td>2024<br>satisfied by a performed action</td>
<td>E55-1</td>
<td>policy:55</td>
<td>in 2024 and <code>archive</code> of <code>photoAlbum:55</code> <br>
by <code>assignee:55</code> is performed</td>
<td>satisfied</td>
<td>active</td>
<td>violated</td>
</tr>
<tr>
<td>E19-2</td>
<td>policy:5555</td>
<td>2024<br>not satisfied by a performed action</td>
<td>E55-2</td>
<td>policy:55</td>
<td>in 2024 and <code>archive</code> of <code>photoAlbum:55</code> <br>
by <code>assignee:55</code> is NOT performed</td>
<td>satisfied</td>
<td>active</td>
<td>not set</td>
</tr>
<tr>
<td>E19-3</td>
<td>policy:5555</td>
<td>2025<br>satisfied by a performed action</td>
<td>policy:55</td>
<td>in 2025 and <code>archive</code> of <code>photoAlbum:55</code> <br>
by <code>assignee:55</code> is performed</td>
<td>not satisfied</td>
<td>inactive</td>
<td>not set</td>
Expand Down

0 comments on commit c5a0e0c

Please sign in to comment.