arc(r_0029_0001__Similar, r_0029_0004__states, r_0029_0002__to).
arc(r_0029_0004__states, r_0029_0003__federal, attrib11).
arc(r_0029_0006__the_r_0029_0009__system, r_0029_0007__EU, attrib21).
arc(r_0029_0006__the_r_0029_0009__system, r_0029_0008__legal, attrib24).
arc(r_0029_0010__ensures, r_0029_0006__the_r_0029_0009__system, arg0).
arc(r_0029_0010__ensures, r_0029_0011__compliance, arg1).
arc(r_0029_0010__ensures, r_0029_0022__nature, r_0029_0016__because_of_nim47).
arc(r_0029_0011__compliance, r_0029_0013__the_r_0029_0014__member_r_0029_0015__states, r_0029_0012__from).
arc(r_0029_0020__decentralized, r_0029_0017__the_r_0029_0018__Union_r_0029_0019___apos_s, gen).
arc(r_0029_0022__nature, r_0029_0020__decentralized, attrib48).
arc(r_0029_0022__nature, r_0029_0021__political, attrib58).
arc(z_000_29_a_factbook_2_2010_2, r_0029_0010__ensures, scope).
arc(z_000_29_a_factbook_2_2010_2, z_000_29_a_factbook_2_2010_3, restriction).
arc(z_000_29_a_factbook_2_2010_3, r_0029_0001__Similar, prd).
arc(z_000_29_a_factbook_2_2010_3, r_0029_0006__the_r_0029_0009__system, arg0).

fof(formula,axiom,
    ? [R_0029_0007__EU,R_0029_0008__LEGAL,R_0029_0006__THE_R_0029_0009__SYSTEM,R_0029_0013__THE_R_0029_0014__MEMBER_R_0029_0015__STATES,R_0029_0011__COMPLIANCE,R_0029_0017__THE_R_0029_0018__UNION_R_0029_0019___APOS_S,R_0029_0020__DECENTRALIZED,R_0029_0021__POLITICAL,R_0029_0022__NATURE,R_0029_0010__ENSURES,R_0029_0003__FEDERAL,R_0029_0004__STATES,R_0029_0001__SIMILAR,Z_000_29_A_FACTBOOK_2_2010_3,Z_000_29_A_FACTBOOK_2_2010_2] :
      ( r_0029_0003__federal(R_0029_0003__FEDERAL)
      & r_0029_0007__EU(R_0029_0007__EU)
      & r_0029_0008__legal(R_0029_0008__LEGAL)
      & r_0029_0013__the_r_0029_0014__member_r_0029_0015__states(R_0029_0013__THE_R_0029_0014__MEMBER_R_0029_0015__STATES)
      & r_0029_0017__the_r_0029_0018__Union_r_0029_0019___apos_s(R_0029_0017__THE_R_0029_0018__UNION_R_0029_0019___APOS_S)
      & r_0029_0021__political(R_0029_0021__POLITICAL)
      & z_000_29_a_factbook_2_2010_2(Z_000_29_A_FACTBOOK_2_2010_2)
      & has_conj1(Z_000_29_A_FACTBOOK_2_2010_2,Z_000_29_A_FACTBOOK_2_2010_3)
      & z_000_29_a_factbook_2_2010_3(Z_000_29_A_FACTBOOK_2_2010_3)
      & has_arg0(Z_000_29_A_FACTBOOK_2_2010_3,R_0029_0006__THE_R_0029_0009__SYSTEM)
      & r_0029_0006__the_r_0029_0009__system(R_0029_0006__THE_R_0029_0009__SYSTEM)
      & has_attrib24(R_0029_0006__THE_R_0029_0009__SYSTEM,R_0029_0008__LEGAL)
      & has_attrib21(R_0029_0006__THE_R_0029_0009__SYSTEM,R_0029_0007__EU)
      & has_prd(Z_000_29_A_FACTBOOK_2_2010_3,R_0029_0001__SIMILAR)
      & r_0029_0001__Similar(R_0029_0001__SIMILAR)
      & has_r_0029_0002__to(R_0029_0001__SIMILAR,R_0029_0004__STATES)
      & r_0029_0004__states(R_0029_0004__STATES)
      & has_attrib11(R_0029_0004__STATES,R_0029_0003__FEDERAL)
      & has_conj2(Z_000_29_A_FACTBOOK_2_2010_2,R_0029_0010__ENSURES)
      & r_0029_0010__ensures(R_0029_0010__ENSURES)
      & has_r_0029_0016__because_of_nim47(R_0029_0010__ENSURES,R_0029_0022__NATURE)
      & r_0029_0022__nature(R_0029_0022__NATURE)
      & has_attrib58(R_0029_0022__NATURE,R_0029_0021__POLITICAL)
      & has_attrib48(R_0029_0022__NATURE,R_0029_0020__DECENTRALIZED)
      & r_0029_0020__decentralized(R_0029_0020__DECENTRALIZED)
      & has_gen(R_0029_0020__DECENTRALIZED,R_0029_0017__THE_R_0029_0018__UNION_R_0029_0019___APOS_S)
      & has_arg1(R_0029_0010__ENSURES,R_0029_0011__COMPLIANCE)
      & r_0029_0011__compliance(R_0029_0011__COMPLIANCE)
      & has_r_0029_0012__from(R_0029_0011__COMPLIANCE,R_0029_0013__THE_R_0029_0014__MEMBER_R_0029_0015__STATES)
      & has_arg0(R_0029_0010__ENSURES,R_0029_0006__THE_R_0029_0009__SYSTEM) ) ).

( (IP-MAT (PP-SCON (IP-PPL2 (ADJP-PRD (ADJ Similar;{similar})
                                      (PP (P-ROLE to;{to})
                                          (NP (ADJP (ADJ federal;{federal}))
                                              (NS states;{state}))))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ EU;{eu}))
                  (ADJP (ADJ legal;{legal}))
                  (N system;{system}))
          (VBP;_Tn_ ensures;{ensure})
          (NP-OB1 (N compliance;{compliance})
                  (PP (P-ROLE from;{from})
                      (NP (D the;{the})
                          (N member;{member})
                          (NS states;{state}))))
          (PP-NIM (P-ROLE because_of;{because_of})
                  (NP (ADJP (NP-GEN (D the;{the})
                                    (NPR Union;{Union})
                                    (GENM <apos>s))
                            (ADJ decentralized;{decentralized}))
                      (ADJP (ADJ political;{political}))
                      (N nature;{nature})))
          (PUNC .))
  (ID 29_a_factbook_2_2010))