diff --git a/formal-semantics/index.html b/formal-semantics/index.html index b66ca56..094e677 100644 --- a/formal-semantics/index.html +++ b/formal-semantics/index.html @@ -495,30 +495,24 @@
ID | -D1.Action.R1 | -D1 | -P1 | -P2.Action | -P1.usage state | -Violation | -Duty | +P88 | +P88.Action | +P88.usage state | +
---|---|---|---|---|---|---|---|
E22-1-m | -not satisfied | active | inactive | performed | -not-used | -Yes | +not-used |
E22-2-m | -satisfied | fulfilled | active | performed | used | -No |