152_a_law_h15a119
(iii) Cases in which disclosure violates other laws and regulations
arc(r_0152_0008__violates, r_0152_0004__Cases, r_0152_0005__in_nim16).
arc(r_0152_0008__violates, r_0152_0007__disclosure, arg0).
arc(r_0152_0008__violates, r_0152_0011__and, arg1).
arc(r_0152_0011__and, r_0152_0009__other, attrib25).
arc(r_0152_0011__and, r_0152_0010__laws, conj1).
arc(r_0152_0011__and, r_0152_0012__regulations, conj2).
arc(z_000_152_a_law_h15a119_1, r_0152_0004__Cases, nim9).
fof(formula,axiom,
? [R_0152_0004__CASES,R_0152_0007__DISCLOSURE,R_0152_0009__OTHER,R_0152_0010__LAWS,R_0152_0012__REGULATIONS,R_0152_0011__AND,R_0152_0008__VIOLATES,Z_000_152_A_LAW_H15A119_1] :
( r_0152_0004__Cases(R_0152_0004__CASES)
& r_0152_0007__disclosure(R_0152_0007__DISCLOSURE)
& r_0152_0009__other(R_0152_0009__OTHER)
& r_0152_0010__laws(R_0152_0010__LAWS)
& r_0152_0012__regulations(R_0152_0012__REGULATIONS)
& z_000_152_a_law_h15a119_1(Z_000_152_A_LAW_H15A119_1)
& has_nim9(Z_000_152_A_LAW_H15A119_1,R_0152_0004__CASES)
& r_0152_0008__violates(R_0152_0008__VIOLATES)
& has_arg1(R_0152_0008__VIOLATES,R_0152_0011__AND)
& r_0152_0011__and(R_0152_0011__AND)
& has_conj2(R_0152_0011__AND,R_0152_0012__REGULATIONS)
& has_conj1(R_0152_0011__AND,R_0152_0010__LAWS)
& has_attrib25(R_0152_0011__AND,R_0152_0009__OTHER)
& has_arg0(R_0152_0008__VIOLATES,R_0152_0007__DISCLOSURE)
& has_r_0152_0005__in_nim16(R_0152_0008__VIOLATES,R_0152_0004__CASES) ) ).
( (FRAG (PULB -LRB-)
(LST (LS iii))
(PURB -RRB-)
(NP (NS Cases;{case})
(IP-REL (PP-NIM (P-ROLE in;{in})
(NP (RPRO which;{which})))
(NP-SBJ (N disclosure;{disclosure}))
(VBP;_Tn_ violates;{violate})
(NP-OB1 (ADJP (ADJ other;{other}))
(NLYR (NLYR (NS laws;{law}))
(CONJP (CONJ and;{and})
(NLYR (NS regulations;{regulation}))))))))
(ID 152_a_law_h15a119;123_4_25_1iii))