arc(r_0045_0006__is, r_0045_0002__present, r_0045_0001__At_nim5).
arc(r_0045_0006__is, r_0045_0003__the_r_0045_0004__European_r_0045_0005__Union, arg0).
arc(r_0045_0006__is, r_0045_0007__the_r_0045_0009__entity, prd).
arc(r_0045_0007__the_r_0045_0009__entity, r_0045_0008__only, attrib20).
arc(r_0045_0007__the_r_0045_0009__entity, r_0045_0011__a_r_0045_0014__system, r_0045_0010__under).
arc(r_0045_0011__a_r_0045_0014__system, r_0045_0012__supranational, attrib31).
arc(r_0045_0011__a_r_0045_0014__system, r_0045_0013__legal, attrib34).

fof(formula,axiom,
    ? [R_45_6_IS,R_45_3_THE_EUROPEAN_UNION,R_45_7_THE_ENTITY,R_45_8_ONLY,R_45_11_A_SYSTEM,R_45_12_SUPRANATIONAL,R_45_13_LEGAL,R_45_2_PRESENT] :
      ( the_European_Union(R_45_3_THE_EUROPEAN_UNION)
      & only(R_45_8_ONLY)
      & supranational(R_45_12_SUPRANATIONAL)
      & legal(R_45_13_LEGAL)
      & present(R_45_2_PRESENT)
      & is(R_45_6_IS,R_45_3_THE_EUROPEAN_UNION,R_45_7_THE_ENTITY)
      & the_entity(R_45_7_THE_ENTITY)
      & attrib20(R_45_7_THE_ENTITY,R_45_8_ONLY)
      & under(R_45_7_THE_ENTITY,R_45_11_A_SYSTEM)
      & a_system(R_45_11_A_SYSTEM)
      & attrib31(R_45_11_A_SYSTEM,R_45_12_SUPRANATIONAL)
      & attrib34(R_45_11_A_SYSTEM,R_45_13_LEGAL)
      & at_nim5(R_45_6_IS,R_45_2_PRESENT) ) ).

( (IP-MAT (PP-NIM (P-ROLE At;{at})
                  (NP (N present;{present})))
          (NP-SBJ (D the;{the})
                  (NPR European;{European})
                  (NPR Union;{Union}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D the;{the})
                  (ADJP (ADJ only;{only}))
                  (N entity;{entity})
                  (PP (P-ROLE under;{under})
                      (NP (D a;{a})
                          (ADJP (ADJ supranational;{supranational}))
                          (ADJP (ADJ legal;{legal}))
                          (N system;{system}))))
          (PUNC .))
  (ID 45_a_factbook_2_2010))