test.act

activity a:

claim cl_r1 r1;
claim cl_r2 r2;
claim cl_r3 r3;
release rl_r1 r1;
release rl_r2 r2;
release rl_r3 r3;

action a p1 r1 1;
action b p1 r1 2;
action c p2 r2 1;
action d p3 r3 3;
action e p4 r3 1;

dep cl_r1 a;
dep cl_r2 b;
dep cl_r3 c;
dep a d;
dep b d;
dep c e;
dep d rl_r1;
dep d rl_r2;
dep e rl_r3;

end