arc(r_0005_0001__The_r_0005_0003__list, r_0005_0002__following, attrib5).
arc(r_0005_0004__describes, r_0005_0001__The_r_0005_0003__list, arg0).
arc(r_0005_0004__describes, r_0005_0020__and, arg1).
arc(r_0005_0005__these_r_0005_0007__systems, r_0005_0006__legal, attrib17).
arc(r_0005_0011__or, r_0005_0010__countries, conj1).
arc(r_0005_0011__or, r_0005_0012__world_r_0005_0013__regions, conj2).
arc(r_0005_0017__are, r_0005_0011__or, nim41).
arc(r_0005_0017__are, r_0005_0018__enforced, scope).
arc(r_0005_0018__enforced, r_0005_0015__these_r_0005_0016__systems, arg1).
arc(r_0005_0018__enforced, z_000_5_a_factbook_2_2010_52, arg0).
arc(r_0005_0020__and, r_0005_0005__these_r_0005_0007__systems, conj1).
arc(r_0005_0020__and, r_0005_0011__or, conj2).
arc(r_0005_0020__and, r_0005_0021__a_r_0005_0023__statement, conj3).
arc(r_0005_0021__a_r_0005_0023__statement, r_0005_0022__brief, attrib64).
arc(r_0005_0021__a_r_0005_0023__statement, r_0005_0027__and, r_0005_0024__on).
arc(r_0005_0027__and, r_0005_0026__origins, conj1).
arc(r_0005_0027__and, r_0005_0029__features, conj2).
arc(r_0005_0027__and, z_000_5_a_factbook_2_2010_91, r_0005_0030__of).
arc(r_0005_0029__features, r_0005_0028__major, attrib83).
arc(r_0005_0031__each_quant, r_0005_0027__and, scope).
arc(r_0005_0031__each_quant, z_000_5_a_factbook_2_2010_91, restriction).

fof(formula,axiom,
    ? [R_5_4_DESCRIBES,R_5_1_THE_LIST,R_5_2_FOLLOWING,R_5_20_AND,R_5_5_THESE_SYSTEMS,R_5_6_LEGAL,R_5_21_A_STATEMENT,R_5_22_BRIEF,R_5_27_AND,R_5_26_ORIGINS,R_5_29_FEATURES,R_5_28_MAJOR,Z_5_A_FACTBOOK_2_2010_91,R_5_17_ARE_ENFORCED,Z_5_A_FACTBOOK_2_2010_52,R_5_15_THESE_SYSTEMS,R_5_11_OR,R_5_10_COUNTRIES,R_5_12_WORLD_REGIONS] :
      ( following(R_5_2_FOLLOWING)
      & legal(R_5_6_LEGAL)
      & brief(R_5_22_BRIEF)
      & origins(R_5_26_ORIGINS)
      & major(R_5_28_MAJOR)
      & these_systems(R_5_15_THESE_SYSTEMS)
      & countries(R_5_10_COUNTRIES)
      & world_regions(R_5_12_WORLD_REGIONS)
      & describes(R_5_4_DESCRIBES,R_5_1_THE_LIST,R_5_20_AND)
      & the_list(R_5_1_THE_LIST)
      & attrib5(R_5_1_THE_LIST,R_5_2_FOLLOWING)
      & and(R_5_20_AND)
      & conj1(R_5_20_AND,R_5_5_THESE_SYSTEMS)
      & these_systems(R_5_5_THESE_SYSTEMS)
      & attrib17(R_5_5_THESE_SYSTEMS,R_5_6_LEGAL)
      & conj2(R_5_20_AND,R_5_11_OR)
      & or(R_5_11_OR)
      & conj1(R_5_11_OR,R_5_10_COUNTRIES)
      & conj2(R_5_11_OR,R_5_12_WORLD_REGIONS)
      & conj3(R_5_20_AND,R_5_21_A_STATEMENT)
      & a_statement(R_5_21_A_STATEMENT)
      & attrib64(R_5_21_A_STATEMENT,R_5_22_BRIEF)
      & on(R_5_21_A_STATEMENT,R_5_27_AND)
      & and(R_5_27_AND)
      & conj1(R_5_27_AND,R_5_26_ORIGINS)
      & conj2(R_5_27_AND,R_5_29_FEATURES)
      & features(R_5_29_FEATURES)
      & attrib83(R_5_29_FEATURES,R_5_28_MAJOR)
      & of(R_5_27_AND,Z_5_A_FACTBOOK_2_2010_91)
      & are_enforced(R_5_17_ARE_ENFORCED,Z_5_A_FACTBOOK_2_2010_52,R_5_15_THESE_SYSTEMS)
      & nim41(R_5_17_ARE_ENFORCED,R_5_11_OR)
      & ( true
       => true ) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ following;{following}))
                  (N list;{list}))
          (VBP;_Tn_ describes;{describe})
          (NP-OB1 (NLYR (NLYR (D these;{these})
                              (ADJP (ADJ legal;{legal}))
                              (NS systems;{system}))
                        (PUNC ,)
                        (CONJP (NLYR (D the;{the})
                                     (NLYR (NLYR (NS countries;{country}))
                                           (CONJP (CONJ or;{or})
                                                  (NLYR (N world;{world})
                                                        (NS regions;{region}))))
                                     (IP-REL (ADVP-NIM (RADV where;{where}))
                                             (NP-SBJ (D these;{these})
                                                     (NS systems;{system}))
                                             (BEP;_cat_VePASS_ are;{be})
                                             (IP-PPL-CAT (NP-LGS *)
                                                         (VVN;_Tn_ enforced;{enforce})))))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (D a;{a})
                                     (ADJP (ADJ brief;{brief}))
                                     (N statement;{statement})
                                     (PP (P-ROLE on;{on})
                                         (NP (D the;{the})
                                             (NLYR (NLYR (NS origins;{origin}))
                                                   (CONJP (CONJ and;{and})
                                                          (NLYR (ADJP (ADJ major;{major}))
                                                                (NS features;{feature}))))
                                             (PP (P-ROLE of;{of})
                                                 (NP (Q;_nphd_ each;{each})))))))))
          (PUNC .))
  (ID 5_a_factbook_2_2010))