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,
? [Z_265_A_LAW_H15A119_1,R_265_4_CASES,R_265_6_VIOLATING,Z_265_A_LAW_H15A119_15,R_265_7_THE_PROVISIONS,R_265_10_ARTICLE_44] :
( article_44(R_265_10_ARTICLE_44)
& z_265_a_law_h15a119_1(Z_265_A_LAW_H15A119_1)
& nim9(Z_265_A_LAW_H15A119_1,R_265_4_CASES)
& cases(R_265_4_CASES)
& of(R_265_4_CASES,R_265_6_VIOLATING)
& violating(R_265_6_VIOLATING,Z_265_A_LAW_H15A119_15,R_265_7_THE_PROVISIONS)
& the_provisions(R_265_7_THE_PROVISIONS)
& of(R_265_7_THE_PROVISIONS,R_265_10_ARTICLE_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))