arc(r_0026_0005__laws, r_0026_0004__such, attrib11).
arc(r_0026_0006__were, r_0026_0002__colonization, r_0026_0001__Following_nim5).
arc(r_0026_0006__were, r_0026_0009__and, scope).
arc(r_0026_0007__written_r_0026_0008__down, r_0026_0005__laws, arg1).
arc(r_0026_0007__written_r_0026_0008__down, z_000_26_a_factbook_2_2010_21, arg0).
arc(r_0026_0007__written_r_0026_0008__down, z_000_26_a_factbook_2_2010_21, lgs).
arc(r_0026_0009__and, r_0026_0007__written_r_0026_0008__down, conj1).
arc(r_0026_0009__and, r_0026_0010__incorporated, conj2).
arc(r_0026_0010__incorporated, r_0026_0005__laws, arg1).
arc(r_0026_0010__incorporated, r_0026_0013__extents, r_0026_0011__to_nim38).
arc(r_0026_0010__incorporated, r_0026_0015__the_r_0026_0017__systems, r_0026_0014__into_clr47).
arc(r_0026_0010__incorporated, z_000_26_a_factbook_2_2010_31, arg0).
arc(r_0026_0013__extents, r_0026_0012__varying, attrib39).
arc(r_0026_0015__the_r_0026_0017__systems, r_0026_0016__legal, attrib50).
arc(r_0026_0018__imposed, r_0026_0015__the_r_0026_0017__systems, arg1).
arc(r_0026_0018__imposed, r_0026_0022__powers, arg0).
arc(r_0026_0022__powers, r_0026_0005__laws, gen).
arc(r_0026_0022__powers, r_0026_0021__colonial, attrib65).

fof(formula,axiom,
    ? [R_0026_0016__LEGAL,R_0026_0015__THE_R_0026_0017__SYSTEMS,R_0026_0004__SUCH,R_0026_0005__LAWS,R_0026_0021__COLONIAL,R_0026_0022__POWERS,R_0026_0018__IMPOSED,R_0026_0002__COLONIZATION,Z_000_26_A_FACTBOOK_2_2010_21,R_0026_0007__WRITTEN_R_0026_0008__DOWN,R_0026_0012__VARYING,R_0026_0013__EXTENTS,Z_000_26_A_FACTBOOK_2_2010_31,R_0026_0010__INCORPORATED,R_0026_0009__AND,R_0026_0006__WERE] :
      ( r_0026_0002__colonization(R_0026_0002__COLONIZATION)
      & r_0026_0004__such(R_0026_0004__SUCH)
      & r_0026_0012__varying(R_0026_0012__VARYING)
      & r_0026_0016__legal(R_0026_0016__LEGAL)
      & r_0026_0021__colonial(R_0026_0021__COLONIAL)
      & z_000_26_a_factbook_2_2010_21(Z_000_26_A_FACTBOOK_2_2010_21)
      & z_000_26_a_factbook_2_2010_31(Z_000_26_A_FACTBOOK_2_2010_31)
      & r_0026_0006__were(R_0026_0006__WERE)
      & has_keep_scope(R_0026_0006__WERE,R_0026_0009__AND)
      & r_0026_0009__and(R_0026_0009__AND)
      & has_conj2(R_0026_0009__AND,R_0026_0010__INCORPORATED)
      & r_0026_0010__incorporated(R_0026_0010__INCORPORATED)
      & has_arg0(R_0026_0010__INCORPORATED,Z_000_26_A_FACTBOOK_2_2010_31)
      & has_r_0026_0014__into_clr47(R_0026_0010__INCORPORATED,R_0026_0015__THE_R_0026_0017__SYSTEMS)
      & r_0026_0015__the_r_0026_0017__systems(R_0026_0015__THE_R_0026_0017__SYSTEMS)
      & has_attrib50(R_0026_0015__THE_R_0026_0017__SYSTEMS,R_0026_0016__LEGAL)
      & has_r_0026_0011__to_nim38(R_0026_0010__INCORPORATED,R_0026_0013__EXTENTS)
      & r_0026_0013__extents(R_0026_0013__EXTENTS)
      & has_attrib39(R_0026_0013__EXTENTS,R_0026_0012__VARYING)
      & has_arg1(R_0026_0010__INCORPORATED,R_0026_0005__LAWS)
      & r_0026_0005__laws(R_0026_0005__LAWS)
      & has_attrib11(R_0026_0005__LAWS,R_0026_0004__SUCH)
      & has_conj1(R_0026_0009__AND,R_0026_0007__WRITTEN_R_0026_0008__DOWN)
      & r_0026_0007__written_r_0026_0008__down(R_0026_0007__WRITTEN_R_0026_0008__DOWN)
      & has_lgs(R_0026_0007__WRITTEN_R_0026_0008__DOWN,Z_000_26_A_FACTBOOK_2_2010_21)
      & has_arg0(R_0026_0007__WRITTEN_R_0026_0008__DOWN,Z_000_26_A_FACTBOOK_2_2010_21)
      & has_arg1(R_0026_0007__WRITTEN_R_0026_0008__DOWN,R_0026_0005__LAWS)
      & has_r_0026_0001__Following_nim5(R_0026_0006__WERE,R_0026_0002__COLONIZATION)
      & r_0026_0018__imposed(R_0026_0018__IMPOSED)
      & has_arg0(R_0026_0018__IMPOSED,R_0026_0022__POWERS)
      & r_0026_0022__powers(R_0026_0022__POWERS)
      & has_attrib65(R_0026_0022__POWERS,R_0026_0021__COLONIAL)
      & has_gen(R_0026_0022__POWERS,R_0026_0005__LAWS)
      & has_arg1(R_0026_0018__IMPOSED,R_0026_0015__THE_R_0026_0017__SYSTEMS) ) ).

( (IP-MAT (PP-NIM (P-ROLE Following;{following})
                  (NP (N colonization;{colonization})))
          (PUNC ,)
          (NP-SBJ;{CUSTOMARY_LAWS} (ADJP (ADJ;_such_ such;{such}))
                                   (NS laws;{law}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
                                  (VVN;_Ip_ written;{write[down]})
                                  (RP down;{down}))
                            (CONJP (CONJ and;{and})
                                   (ILYR (NP-LGS *)
                                         (VVN;_Tn.pr_ incorporated;{incorporate[into]})
                                         (PP-NIM (P-ROLE to;{to})
                                                 (NP (ADJP (ADJ varying;{varying}))
                                                     (NS extents;{extent})))
                                         (PP-CLR (P-ROLE into;{into})
                                                 (NP (D the;{the})
                                                     (ADJP (ADJ legal;{legal}))
                                                     (NS systems;{system})
                                                     (IP-PPL (VVN;_Tn_ imposed;{impose})
                                                             (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                     (NP (NP-GEN;{CUSTOMARY_LAWS} (PRO;_genm_ their;{their}))
                                                                         (ADJP (ADJ colonial;{colonial}))
                                                                         (NS powers;{power}))))))))))
          (PUNC .))
  (ID 26_a_factbook_2_2010))