arc(r_0009_0002__was, r_0009_0004__the_r_0009_0005__Northern_r_0009_0006__Song_r_0009_0007__dynasty, arg0).
arc(r_0009_0002__was, r_0009_0008__that_r_0009_0011__became, prd).
arc(r_0009_0008__that_r_0009_0011__became, r_0009_0009__Rinzai_r_0009_0010__School, arg0).
arc(r_0009_0008__that_r_0009_0011__became, r_0009_0012__vibrant, prd).
arc(r_0009_0008__that_r_0009_0011__became, r_0009_0013__again, nim34).
arc(r_0009_0008__that_r_0009_0011__became, r_0009_0016__the_r_0009_0017__gates, r_0009_0015__below_nim42).
arc(r_0009_0008__that_r_0009_0011__became, r_0009_0025__and, r_0009_0022__along_with_nim60).
arc(r_0009_0008__that_r_0009_0011__became, x_000_9_a_kyoto_2_19, nim22).
arc(r_0009_0016__the_r_0009_0017__gates, r_0009_0019__Sekiso_r_0009_0020__SOEN, r_0009_0018__of).
arc(r_0009_0025__and, r_0009_0023__Enan_r_0009_0024__OURYU, conj1).
arc(r_0009_0025__and, r_0009_0026__Houe_r_0009_0027__YOUGI, conj2).
arc(r_0009_0029__came, r_0009_0025__and, arg0).
arc(r_0009_0029__came, r_0009_0031__Jiangxi_r_0009_0032__province, r_0009_0030__from_clr86).
arc(r_0009_0033__and_r_0009_0047__and, r_0009_0029__came, conj1).
arc(r_0009_0033__and_r_0009_0047__and, r_0009_0034__created, conj2).
arc(r_0009_0033__and_r_0009_0047__and, r_0009_0050__all_quant, conj3).
arc(r_0009_0034__created, r_0009_0025__and, arg0).
arc(r_0009_0034__created, r_0009_0035__the_r_0009_0036__two_r_0009_0038__sectes, arg1).
arc(r_0009_0035__the_r_0009_0036__two_r_0009_0038__sectes, r_0009_0037__main, attrib102).
arc(r_0009_0035__the_r_0009_0036__two_r_0009_0038__sectes, r_0009_0040__Rinzai, r_0009_0039__of).
arc(r_0009_0043__and, r_0009_0042__Ouryu, conj1).
arc(r_0009_0043__and, r_0009_0044__Yougi, conj2).
arc(r_0009_0048__swept, r_0009_0025__and, arg0).
arc(r_0009_0048__swept, z_000_9_a_kyoto_2_140, r_0009_0049__across_clr140).
arc(r_0009_0050__all_quant, r_0009_0048__swept, scope).
arc(r_0009_0050__all_quant, z_000_9_a_kyoto_2_140, restriction).
arc(z_000_9_a_kyoto_2_115, r_0009_0035__the_r_0009_0036__two_r_0009_0038__sectes, arg0).
arc(z_000_9_a_kyoto_2_115, r_0009_0043__and, prd).
arc(z_000_9_a_kyoto_2_140, r_0009_0052__China, r_0009_0051__of).

fof(formula,axiom,
    ? [R_9_2_WAS,R_9_4_THE_NORTHERN_SONG_DYNASTY,R_9_8_THAT_BECAME,R_9_9_RINZAI_SCHOOL,X_9_A_KYOTO_2_19,R_9_13_AGAIN,R_9_12_VIBRANT,R_9_16_THE_GATES,R_9_19_SEKISO_SOEN,R_9_33_AND_AND,R_9_29_CAME,R_9_31_JIANGXI_PROVINCE,R_9_34_CREATED,R_9_25_AND,R_9_23_ENAN_OURYU,R_9_26_HOUE_YOUGI,Z_9_A_KYOTO_2_115,R_9_35_THE_TWO_SECTES,R_9_37_MAIN,R_9_40_RINZAI,R_9_43_AND,R_9_42_OURYU,R_9_44_YOUGI] :
      ( the_Northern_Song_dynasty(R_9_4_THE_NORTHERN_SONG_DYNASTY)
      & rinzai_School(R_9_9_RINZAI_SCHOOL)
      & again(R_9_13_AGAIN)
      & vibrant(R_9_12_VIBRANT)
      & sekiso_SOEN(R_9_19_SEKISO_SOEN)
      & jiangxi_province(R_9_31_JIANGXI_PROVINCE)
      & enan_OURYU(R_9_23_ENAN_OURYU)
      & houe_YOUGI(R_9_26_HOUE_YOUGI)
      & main(R_9_37_MAIN)
      & rinzai(R_9_40_RINZAI)
      & ouryu(R_9_42_OURYU)
      & yougi(R_9_44_YOUGI)
      & was(R_9_2_WAS,R_9_4_THE_NORTHERN_SONG_DYNASTY,R_9_8_THAT_BECAME)
      & that_became(R_9_8_THAT_BECAME,R_9_9_RINZAI_SCHOOL,R_9_12_VIBRANT)
      & nim22(R_9_8_THAT_BECAME,X_9_A_KYOTO_2_19)
      & nim34(R_9_8_THAT_BECAME,R_9_13_AGAIN)
      & below_nim42(R_9_8_THAT_BECAME,R_9_16_THE_GATES)
      & the_gates(R_9_16_THE_GATES)
      & of(R_9_16_THE_GATES,R_9_19_SEKISO_SOEN)
      & along_with_nim60(R_9_8_THAT_BECAME,R_9_25_AND)
      & and(R_9_25_AND)
      & conj1(R_9_25_AND,R_9_23_ENAN_OURYU)
      & conj2(R_9_25_AND,R_9_26_HOUE_YOUGI)
      & ! [Z_9_A_KYOTO_2_140,R_9_52_CHINA] :
          ( ( china(R_9_52_CHINA)
            & z_9_a_kyoto_2_140(Z_9_A_KYOTO_2_140)
            & of(Z_9_A_KYOTO_2_140,R_9_52_CHINA) )
         => ? [R_9_48_SWEPT] :
              ( swept(R_9_48_SWEPT,R_9_25_AND)
              & across_clr140(R_9_48_SWEPT,Z_9_A_KYOTO_2_140) ) )
      & conj3(CONJ3)
      & and_and(R_9_33_AND_AND)
      & conj1(R_9_33_AND_AND,R_9_29_CAME)
      & came(R_9_29_CAME,R_9_25_AND)
      & from_clr86(R_9_29_CAME,R_9_31_JIANGXI_PROVINCE)
      & conj2(R_9_33_AND_AND,R_9_34_CREATED)
      & created(R_9_34_CREATED,R_9_25_AND,R_9_35_THE_TWO_SECTES)
      & the_two_sectes(R_9_35_THE_TWO_SECTES)
      & attrib102(R_9_35_THE_TWO_SECTES,R_9_37_MAIN)
      & of(R_9_35_THE_TWO_SECTES,R_9_40_RINZAI)
      & z_9_a_kyoto_2_115(Z_9_A_KYOTO_2_115,R_9_35_THE_TWO_SECTES,R_9_43_AND)
      & and(R_9_43_AND)
      & conj1(R_9_43_AND,R_9_42_OURYU)
      & conj2(R_9_43_AND,R_9_44_YOUGI) ) ).

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BED;_cleft_Vpr_ was;{be})
          (PP-FOC (P-ROLE in;{in})
                  (NP (D the;{the})
                      (NPR Northern;{Northern})
                      (NPR Song;{Song})
                      (N dynasty;{dynasty})))
          (IP-CLF (C that;{that})
                  (NP-NIM *T*)
                  (NP-SBJ (NPR Rinzai;{Rinzai})
                          (NPR School;{School}))
                  (VBD;_La_ became;{become})
                  (ADJP-PRD (ADJ vibrant;{vibrant}))
                  (ADVP-NIM (ADV again;{again}))
                  (PUNC ,)
                  (PP-NIM (P-ROLE below;{below})
                          (NP (D the;{the})
                              (NS gates;{gate})
                              (PP (P-ROLE of;{of})
                                  (NP (NPR Sekiso;{Sekiso})
                                      (NPR SOEN;{Soen})))))
                  (PUNC ,)
                  (PP-NIM (P-ROLE along_with;{along_with})
                          (NP (NLYR (NLYR (NPR Enan;{Enan})
                                          (NPR OURYU;{Ouryu}))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (NPR Houe;{Houe})
                                                 (NPR YOUGI;{Yougi}))))
                              (IP-REL (NP-SBJ (RPRO who;{who}))
                                      (ILYR (ILYR (VBD;_Ipr_ came;{come[from]})
                                                  (PP-CLR (P-ROLE from;{from})
                                                          (NP (NPR Jiangxi;{Jiangxi})
                                                              (NPR province;{province}))))
                                            (CONJP (CONJ and;{and})
                                                   (ILYR (VBD;_Tn_ created;{create})
                                                         (NP-OB1 (D the;{the})
                                                                 (NUM two;{two})
                                                                 (ADJP (ADJ main;{main}))
                                                                 (NS sectes;{sectes})
                                                                 (PP (P-ROLE of;{of})
                                                                     (NP (NPR Rinzai;{Rinzai})))
                                                                 (PULB -LRB-)
                                                                 (IP-PPL (NP-PRD (NLYR (NLYR (NPR Ouryu;{Ouryu}))
                                                                                       (CONJP (CONJ and;{and})
                                                                                              (NLYR (NPR Yougi;{Yougi}))))))
                                                                 (PURB -RRB-))))
                                            (PUNC ,)
                                            (CONJP (CONJ and;{and})
                                                   (ILYR (VBD;_Ipr_ swept;{sweep[across]})
                                                         (PP-CLR (P-ROLE across;{across})
                                                                 (NP (Q;_nphd_ all;{all})
                                                                     (PP (P-ROLE of;{of})
                                                                         (NP (NPR China;{China}))))))))))))
          (PUNC .))
  (ID 9_a_kyoto_2;BDS_00002;9))