TSPC 45_a_factbook_2

45_a_factbook_2_2010
At present the European Union is the only entity under a supranational legal system.

( (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))

arc(r_0045_0006__is,r_0045_0002__present,r_0045_0001__At__nim).
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,attrib).
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,attrib).
arc(r_0045_0011__a_r_0045_0014__system,r_0045_0013__legal,attrib).

fof(formula,axiom,
    ? [R_0045_0002__PRESENT,R_0045_0003__THE_R_0045_0004__EUROPEAN_R_0045_0005__UNION,R_0045_0008__ONLY,R_0045_0012__SUPRANATIONAL,R_0045_0013__LEGAL,R_0045_0011__A_R_0045_0014__SYSTEM,R_0045_0007__THE_R_0045_0009__ENTITY,R_0045_0006__IS] :
      ( r_0045_0002__present(R_0045_0002__PRESENT)
      & r_0045_0003__the_r_0045_0004__European_r_0045_0005__Union(R_0045_0003__THE_R_0045_0004__EUROPEAN_R_0045_0005__UNION)
      & r_0045_0008__only(R_0045_0008__ONLY)
      & r_0045_0012__supranational(R_0045_0012__SUPRANATIONAL)
      & r_0045_0013__legal(R_0045_0013__LEGAL)
      & r_0045_0006__is(R_0045_0006__IS)
      & has_prd(R_0045_0006__IS,R_0045_0007__THE_R_0045_0009__ENTITY)
      & r_0045_0007__the_r_0045_0009__entity(R_0045_0007__THE_R_0045_0009__ENTITY)
      & has_r_0045_0010__under(R_0045_0007__THE_R_0045_0009__ENTITY,R_0045_0011__A_R_0045_0014__SYSTEM)
      & r_0045_0011__a_r_0045_0014__system(R_0045_0011__A_R_0045_0014__SYSTEM)
      & has_attrib(R_0045_0011__A_R_0045_0014__SYSTEM,R_0045_0013__LEGAL)
      & has_attrib(R_0045_0011__A_R_0045_0014__SYSTEM,R_0045_0012__SUPRANATIONAL)
      & has_attrib(R_0045_0007__THE_R_0045_0009__ENTITY,R_0045_0008__ONLY)
      & has_arg0(R_0045_0006__IS,R_0045_0003__THE_R_0045_0004__EUROPEAN_R_0045_0005__UNION)
      & has_r_0045_0001__At__nim(R_0045_0006__IS,R_0045_0002__PRESENT) ) ).