265_a_law_h15a119
(iii) Cases of violating the provisions of Article 44
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_000_265_a_law_h15a119_15, arg0).
arc(r_0265_0007__the_r_0265_0008__provisions, r_0265_0010__Article_r_0265_0011__44, r_0265_0009__of).
arc(z_000_265_a_law_h15a119_1, r_0265_0004__Cases, nim9).
fof(formula,axiom,
? [R_0265_0010__ARTICLE_R_0265_0011__44,R_0265_0007__THE_R_0265_0008__PROVISIONS,Z_000_265_A_LAW_H15A119_15,R_0265_0006__VIOLATING,R_0265_0004__CASES,Z_000_265_A_LAW_H15A119_1] :
( r_0265_0010__Article_r_0265_0011__44(R_0265_0010__ARTICLE_R_0265_0011__44)
& z_000_265_a_law_h15a119_15(Z_000_265_A_LAW_H15A119_15)
& z_000_265_a_law_h15a119_1(Z_000_265_A_LAW_H15A119_1)
& has_nim9(Z_000_265_A_LAW_H15A119_1,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_000_265_A_LAW_H15A119_15)
& 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) ) ).
( (FRAG (PULB -LRB-)
(LST (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))