arc(r_0131_0008__data, r_0131_0007__personal, attrib20).
arc(r_0131_0009__is, r_0131_0004__Cases, r_0131_0005__in_nim16).
arc(r_0131_0009__is, r_0131_0010__provided, scope).
arc(r_0131_0010__provided, r_0131_0008__data, arg1).
arc(r_0131_0010__provided, r_0131_0012__a_r_0131_0013__result, r_0131_0011__as_nim35).
arc(r_0131_0010__provided, z_000_131_a_law_h15a119_28, arg0).
arc(r_0131_0012__a_r_0131_0013__result, r_0131_0015__the_r_0131_0016__succession, r_0131_0014__of).
arc(r_0131_0015__the_r_0131_0016__succession, r_0131_0018__business, r_0131_0017__of).
arc(r_0131_0018__business, r_0131_0022__or, r_0131_0019__in).
arc(r_0131_0022__or, r_0131_0020__a_r_0131_0021__merger, conj1).
arc(r_0131_0022__or, z_000_131_a_law_h15a119_67, conj2).
arc(z_000_131_a_law_h15a119_1, r_0131_0004__Cases, nim9).
arc(z_000_131_a_law_h15a119_67, r_0131_0023__otherwise, qual68).

fof(formula,axiom,
    ? [R_131_9_IS_PROVIDED,Z_131_A_LAW_H15A119_28,R_131_8_DATA,R_131_7_PERSONAL,R_131_12_A_RESULT,R_131_15_THE_SUCCESSION,R_131_18_BUSINESS,R_131_22_OR,R_131_20_A_MERGER,Z_131_A_LAW_H15A119_67,R_131_23_OTHERWISE,Z_131_A_LAW_H15A119_1,R_131_4_CASES] :
      ( personal(R_131_7_PERSONAL)
      & a_merger(R_131_20_A_MERGER)
      & otherwise(R_131_23_OTHERWISE)
      & cases(R_131_4_CASES)
      & is_provided(R_131_9_IS_PROVIDED,Z_131_A_LAW_H15A119_28,R_131_8_DATA)
      & data(R_131_8_DATA)
      & attrib20(R_131_8_DATA,R_131_7_PERSONAL)
      & in_nim16(R_131_9_IS_PROVIDED,R_131_4_CASES)
      & as_nim35(R_131_9_IS_PROVIDED,R_131_12_A_RESULT)
      & a_result(R_131_12_A_RESULT)
      & of(R_131_12_A_RESULT,R_131_15_THE_SUCCESSION)
      & the_succession(R_131_15_THE_SUCCESSION)
      & of(R_131_15_THE_SUCCESSION,R_131_18_BUSINESS)
      & business(R_131_18_BUSINESS)
      & in(R_131_18_BUSINESS,R_131_22_OR)
      & or(R_131_22_OR)
      & conj1(R_131_22_OR,R_131_20_A_MERGER)
      & conj2(R_131_22_OR,Z_131_A_LAW_H15A119_67)
      & z_131_a_law_h15a119_67(Z_131_A_LAW_H15A119_67)
      & qual68(Z_131_A_LAW_H15A119_67,R_131_23_OTHERWISE)
      & z_131_a_law_h15a119_1(Z_131_A_LAW_H15A119_1)
      & nim9(Z_131_A_LAW_H15A119_1,R_131_4_CASES) ) ).

( (FRAG (PULB -LRB-)
        (LST (LS ii))
        (PURB -RRB-)
        (NP (NS Cases;{case})
            (IP-REL (PP-NIM (P-ROLE in;{in})
                            (NP (RPRO which;{which})))
                    (NP-SBJ (ADJP (ADJ personal;{personal}))
                            (N data;{data}))
                    (BEP;_cat_VePASS_ is;{be})
                    (IP-PPL-CAT (NP-LGS *)
                                (VVN;_Tn_ provided;{provide})
                                (PP-NIM (P-ROLE as;{as})
                                        (NP (D a;{a})
                                            (N result;{result})
                                            (PP (P-ROLE of;{of})
                                                (NP (D the;{the})
                                                    (N succession;{succession})
                                                    (PP (P-ROLE of;{of})
                                                        (NP (N business;{business})
                                                            (PP (P-ROLE in;{in})
                                                                (NP (NLYR (NLYR (D a;{a})
                                                                                (N merger;{merger}))
                                                                          (CONJP (CONJ or;{or})
                                                                                 (NLYR (ADVP (ADV otherwise;{otherwise})))))))))))))))))
  (ID 131_a_law_h15a119;106_4_23_4ii))