265_a_law_h15a119
(iii) Cases of violating the provisions of Article 44
( (FRAG (LST (PULB -LRB-)
(LS iii)
(PURB -RRB-))
(NP (NS Cases;{case})
(PP (P-ROLE of;{of})
(IP-PPL (VAG;_Tn_ violating;{violate})
(NP-OB1 (D the;{the})
(NS provisions;{provision})
(PP (P-ROLE of;{of})
(NP (N Article;{article})
(NUM 44))))))))
(ID 265_a_law_h15a119;208_4_48_1iii))
arc(r_0265_0004__Cases,r_0265_0006__violating,r_0265_0005__of).
arc(r_0265_0006__violating,r_0265_0007__the_r_0265_0008__provisions,arg1).
arc(r_0265_0006__violating,z_0265_5006,arg0).
arc(r_0265_0007__the_r_0265_0008__provisions,r_0265_0010__Article_r_0265_0011__44,r_0265_0009__of).
arc(z_0265_5010,r_0265_0004__Cases,z_0265_5002).
fof(formula,axiom,
? [R_0265_0010__ARTICLE_R_0265_0011__44,R_0265_0007__THE_R_0265_0008__PROVISIONS,Z_0265_5006,R_0265_0006__VIOLATING,R_0265_0004__CASES,Z_0265_5010] :
( r_0265_0010__Article_r_0265_0011__44(R_0265_0010__ARTICLE_R_0265_0011__44)
& z_0265_5006(Z_0265_5006)
& z_0265_5010(Z_0265_5010)
& has_z_0265_5002(Z_0265_5010,R_0265_0004__CASES)
& r_0265_0004__Cases(R_0265_0004__CASES)
& has_r_0265_0005__of(R_0265_0004__CASES,R_0265_0006__VIOLATING)
& r_0265_0006__violating(R_0265_0006__VIOLATING)
& has_arg0(R_0265_0006__VIOLATING,Z_0265_5006)
& has_arg1(R_0265_0006__VIOLATING,R_0265_0007__THE_R_0265_0008__PROVISIONS)
& r_0265_0007__the_r_0265_0008__provisions(R_0265_0007__THE_R_0265_0008__PROVISIONS)
& has_r_0265_0009__of(R_0265_0007__THE_R_0265_0008__PROVISIONS,R_0265_0010__ARTICLE_R_0265_0011__44) ) ).