( (FRAG (LST (PULB -LRB-)
             (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))

arc(r_0152_0008__violates,r_0152_0004__Cases,r_0152_0005__in__nim).
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,attrib).
arc(r_0152_0011__and,r_0152_0010__laws,conj1).
arc(r_0152_0011__and,r_0152_0012__regulations,conj2).
arc(z_0152_5010,r_0152_0004__Cases,z_0152_5002).

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_0152_5010] :
      ( 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_0152_5010(Z_0152_5010)
      & has_z_0152_5002(Z_0152_5010,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_attrib(R_0152_0011__AND,R_0152_0009__OTHER)
      & has_arg0(R_0152_0008__VIOLATES,R_0152_0007__DISCLOSURE)
      & has_r_0152_0005__in__nim(R_0152_0008__VIOLATES,R_0152_0004__CASES) ) ).