arc(r_0058_0001__The_r_0058_0004__systems, r_0058_0002__mixed, attrib5).
arc(r_0058_0001__The_r_0058_0004__systems, r_0058_0003__legal, attrib8).
arc(r_0058_0001__The_r_0058_0004__systems, r_0058_0006__a_r_0058_0007__number, r_0058_0005__of).
arc(r_0058_0006__a_r_0058_0007__number, r_0058_0009__countries, r_0058_0008__of).
arc(r_0058_0010__came_r_0058_0011__about, r_0058_0001__The_r_0058_0004__systems, arg0).
arc(r_0058_0010__came_r_0058_0011__about, z_000_58_a_factbook_2_2010_31, nim31).
arc(r_0058_0015__overlaid, r_0058_0013__colonial_r_0058_0014__powers, arg0).
arc(r_0058_0015__overlaid, r_0058_0019__systems, arg1).
arc(r_0058_0015__overlaid, r_0058_0022__regions, r_0058_0020__upon_clr61).
arc(r_0058_0015__overlaid, z_000_58_a_factbook_2_2010_31, nim33).
arc(r_0058_0019__systems, r_0058_0018__legal, attrib53).
arc(r_0058_0019__systems, z_000_58_a_factbook_2_2010_46, gen).
arc(r_0058_0022__regions, r_0058_0021__colonized, attrib62).
arc(r_0058_0023__but, r_0058_0015__overlaid, conj1).
arc(r_0058_0023__but, r_0058_0024__retained, conj2).
arc(r_0058_0024__retained, r_0058_0013__colonial_r_0058_0014__powers, arg0).
arc(r_0058_0024__retained, r_0058_0025__elements, arg1).
arc(r_0058_0024__retained, z_000_58_a_factbook_2_2010_31, nim33).
arc(r_0058_0025__elements, r_0058_0032__systems, r_0058_0026__of).
arc(r_0058_0032__systems, r_0058_0027__the_r_0058_0028__colonies_r_0058_0029___apos_, gen).
arc(r_0058_0032__systems, r_0058_0030__existing, attrib87).
arc(r_0058_0032__systems, r_0058_0031__legal, attrib90).
arc(z_000_58_a_factbook_2_2010_46, r_0058_0013__colonial_r_0058_0014__powers, gen).
arc(z_000_58_a_factbook_2_2010_46, r_0058_0017__own, attrib50).

fof(formula,axiom,
    ? [R_58_10_CAME_ABOUT,R_58_1_THE_SYSTEMS,R_58_2_MIXED,R_58_3_LEGAL,R_58_6_A_NUMBER,R_58_9_COUNTRIES,R_58_23_BUT,R_58_15_OVERLAID,R_58_19_SYSTEMS,R_58_18_LEGAL,Z_58_A_FACTBOOK_2_2010_46,R_58_17_OWN,R_58_22_REGIONS,R_58_21_COLONIZED,R_58_24_RETAINED,R_58_13_COLONIAL_POWERS,R_58_25_ELEMENTS,R_58_32_SYSTEMS,R_58_30_EXISTING,R_58_31_LEGAL,R_58_27_THE_COLONIES_APOS_,Z_58_A_FACTBOOK_2_2010_31] :
      ( mixed(R_58_2_MIXED)
      & legal(R_58_3_LEGAL)
      & countries(R_58_9_COUNTRIES)
      & legal(R_58_18_LEGAL)
      & own(R_58_17_OWN)
      & colonized(R_58_21_COLONIZED)
      & colonial_powers(R_58_13_COLONIAL_POWERS)
      & existing(R_58_30_EXISTING)
      & legal(R_58_31_LEGAL)
      & the_colonies_apos_(R_58_27_THE_COLONIES_APOS_)
      & came_about(R_58_10_CAME_ABOUT,R_58_1_THE_SYSTEMS)
      & the_systems(R_58_1_THE_SYSTEMS)
      & attrib5(R_58_1_THE_SYSTEMS,R_58_2_MIXED)
      & attrib8(R_58_1_THE_SYSTEMS,R_58_3_LEGAL)
      & of(R_58_1_THE_SYSTEMS,R_58_6_A_NUMBER)
      & a_number(R_58_6_A_NUMBER)
      & of(R_58_6_A_NUMBER,R_58_9_COUNTRIES)
      & nim31(R_58_10_CAME_ABOUT,Z_58_A_FACTBOOK_2_2010_31)
      & but(R_58_23_BUT)
      & conj1(R_58_23_BUT,R_58_15_OVERLAID)
      & overlaid(R_58_15_OVERLAID,R_58_13_COLONIAL_POWERS,R_58_19_SYSTEMS)
      & systems(R_58_19_SYSTEMS)
      & attrib53(R_58_19_SYSTEMS,R_58_18_LEGAL)
      & gen(R_58_19_SYSTEMS,Z_58_A_FACTBOOK_2_2010_46)
      & z_58_a_factbook_2_2010_46(Z_58_A_FACTBOOK_2_2010_46)
      & attrib50(Z_58_A_FACTBOOK_2_2010_46,R_58_17_OWN)
      & gen(Z_58_A_FACTBOOK_2_2010_46,R_58_13_COLONIAL_POWERS)
      & nim33(R_58_15_OVERLAID,Z_58_A_FACTBOOK_2_2010_31)
      & upon_clr61(R_58_15_OVERLAID,R_58_22_REGIONS)
      & regions(R_58_22_REGIONS)
      & attrib62(R_58_22_REGIONS,R_58_21_COLONIZED)
      & conj2(R_58_23_BUT,R_58_24_RETAINED)
      & retained(R_58_24_RETAINED,R_58_13_COLONIAL_POWERS,R_58_25_ELEMENTS)
      & elements(R_58_25_ELEMENTS)
      & of(R_58_25_ELEMENTS,R_58_32_SYSTEMS)
      & systems(R_58_32_SYSTEMS)
      & attrib87(R_58_32_SYSTEMS,R_58_30_EXISTING)
      & attrib90(R_58_32_SYSTEMS,R_58_31_LEGAL)
      & gen(R_58_32_SYSTEMS,R_58_27_THE_COLONIES_APOS_)
      & nim33(R_58_24_RETAINED,Z_58_A_FACTBOOK_2_2010_31) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ mixed;{mixed}))
                  (ADJP (ADJ legal;{legal}))
                  (NS systems;{system})
                  (PP (P-ROLE of;{of})
                      (NP (D a;{a})
                          (N number;{number})
                          (PP (P-ROLE of;{of})
                              (NP (NS countries;{country}))))))
          (VBD;__ came;{come})
          (RP about;{about})
          (NP-NIM (IP-REL (ADVP-NIM (RADV when;{when}))
                          (NP-SBJ;{COLONIAL_POWERS} (N colonial;{colonial})
                                                    (NS powers;{power}))
                          (ILYR (ILYR (VBD;__ overlaid;{overlay})
                                      (NP-OB1 (NP-GEN (NP-GEN;{COLONIAL_POWERS} (PRO;_genm_ their;{their}))
                                                      (ADJP (ADJ own;{own})))
                                              (ADJP (ADJ legal;{legal}))
                                              (NS systems;{system}))
                                      (PP-CLR (P-ROLE upon;{upon})
                                              (NP (ADJP (ADJ colonized;{colonized}))
                                                  (NS regions;{region}))))
                                (CONJP (CONJ but;{but})
                                       (ILYR (VBD;__ retained;{retain})
                                             (NP-OB1 (NS elements;{element})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (NP-GEN (D the;{the})
                                                                     (NS colonies;{colony})
                                                                     (GENM <apos>))
                                                             (ADJP (ADJ existing;{existing}))
                                                             (ADJP (ADJ legal;{legal}))
                                                             (NS systems;{system})))))))))
          (PUNC .))
  (ID 58_a_factbook_2_2010))