C1.3 Règles de terminaison

end$groupe$Group:
        event == EventEnd,
        ((service == "$service$",
          @$groupe$State == "$service$") |
          ...
          )
==>
        restrict $groupe$State noneof [$liste des services du groupe$];