This example demonstrates the specification of deontic elements, such as Obligation and Reparation. The compact serialization is used.
X
Y
X
X
Y
X
Y
X
Y
Y
X
Y
X
Y
X
Y
X
Y
X
Y
X
Y
X