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

%3 r_0045_0006__is is r_0045_0002__present present r_0045_0006__is->r_0045_0002__present At [nim] r_0045_0003__the_r_0045_0004__European_r_0045_0005__Union the European Union r_0045_0006__is->r_0045_0003__the_r_0045_0004__European_r_0045_0005__Union [arg0] r_0045_0007__the_r_0045_0009__entity the entity r_0045_0006__is->r_0045_0007__the_r_0045_0009__entity [prd] r_0045_0008__only only r_0045_0007__the_r_0045_0009__entity->r_0045_0008__only [attrib] r_0045_0011__a_r_0045_0014__system a system r_0045_0007__the_r_0045_0009__entity->r_0045_0011__a_r_0045_0014__system under r_0045_0012__supranational supranational r_0045_0011__a_r_0045_0014__system->r_0045_0012__supranational [attrib] r_0045_0013__legal legal r_0045_0011__a_r_0045_0014__system->r_0045_0013__legal [attrib]
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).



%3 r_0045_0006__is is r_0045_0002__present present r_0045_0006__is->r_0045_0002__present At [nim] r_0045_0003__the_r_0045_0004__European_r_0045_0005__Union the European Union r_0045_0006__is->r_0045_0003__the_r_0045_0004__European_r_0045_0005__Union [arg0] r_0045_0007__the_r_0045_0009__entity the entity r_0045_0006__is->r_0045_0007__the_r_0045_0009__entity [prd] r_0045_0008__only only r_0045_0007__the_r_0045_0009__entity->r_0045_0008__only [attrib] r_0045_0011__a_r_0045_0014__system a system r_0045_0007__the_r_0045_0009__entity->r_0045_0011__a_r_0045_0014__system under r_0045_0012__supranational supranational r_0045_0011__a_r_0045_0014__system->r_0045_0012__supranational [attrib] r_0045_0013__legal legal r_0045_0011__a_r_0045_0014__system->r_0045_0013__legal [attrib]
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) ) ).



n45_a_factbook_2_2010 n45_a_factbook_2_2010_4 At n45_a_factbook_2_2010_7 present n45_a_factbook_2_2010_10 the n45_a_factbook_2_2010_12 European n45_a_factbook_2_2010_14 Union n45_a_factbook_2_2010_16 is n45_a_factbook_2_2010_19 the n45_a_factbook_2_2010_22 only n45_a_factbook_2_2010_24 entity n45_a_factbook_2_2010_27 under n45_a_factbook_2_2010_30 a n45_a_factbook_2_2010_33 supranational n45_a_factbook_2_2010_36 legal n45_a_factbook_2_2010_38 system n45_a_factbook_2_2010_40 . n45_a_factbook_2_2010_1 IP-MAT n45_a_factbook_2_2010_2 PP-NIM n45_a_factbook_2_2010_1->n45_a_factbook_2_2010_2 n45_a_factbook_2_2010_8 NP-SBJ n45_a_factbook_2_2010_1->n45_a_factbook_2_2010_8 n45_a_factbook_2_2010_15 BEP;_Ln_ n45_a_factbook_2_2010_1->n45_a_factbook_2_2010_15 n45_a_factbook_2_2010_17 NP-PRD n45_a_factbook_2_2010_1->n45_a_factbook_2_2010_17 n45_a_factbook_2_2010_39 PUNC n45_a_factbook_2_2010_1->n45_a_factbook_2_2010_39 n45_a_factbook_2_2010_3 P-ROLE n45_a_factbook_2_2010_2->n45_a_factbook_2_2010_3 n45_a_factbook_2_2010_5 NP n45_a_factbook_2_2010_2->n45_a_factbook_2_2010_5 n45_a_factbook_2_2010_3->n45_a_factbook_2_2010_4 n45_a_factbook_2_2010_6 N n45_a_factbook_2_2010_5->n45_a_factbook_2_2010_6 n45_a_factbook_2_2010_6->n45_a_factbook_2_2010_7 n45_a_factbook_2_2010_9 D n45_a_factbook_2_2010_8->n45_a_factbook_2_2010_9 n45_a_factbook_2_2010_11 NPR n45_a_factbook_2_2010_8->n45_a_factbook_2_2010_11 n45_a_factbook_2_2010_13 NPR n45_a_factbook_2_2010_8->n45_a_factbook_2_2010_13 n45_a_factbook_2_2010_9->n45_a_factbook_2_2010_10 n45_a_factbook_2_2010_11->n45_a_factbook_2_2010_12 n45_a_factbook_2_2010_13->n45_a_factbook_2_2010_14 n45_a_factbook_2_2010_15->n45_a_factbook_2_2010_16 n45_a_factbook_2_2010_18 D n45_a_factbook_2_2010_17->n45_a_factbook_2_2010_18 n45_a_factbook_2_2010_20 ADJP n45_a_factbook_2_2010_17->n45_a_factbook_2_2010_20 n45_a_factbook_2_2010_23 N n45_a_factbook_2_2010_17->n45_a_factbook_2_2010_23 n45_a_factbook_2_2010_25 PP n45_a_factbook_2_2010_17->n45_a_factbook_2_2010_25 n45_a_factbook_2_2010_18->n45_a_factbook_2_2010_19 n45_a_factbook_2_2010_21 ADJ n45_a_factbook_2_2010_20->n45_a_factbook_2_2010_21 n45_a_factbook_2_2010_21->n45_a_factbook_2_2010_22 n45_a_factbook_2_2010_23->n45_a_factbook_2_2010_24 n45_a_factbook_2_2010_26 P-ROLE n45_a_factbook_2_2010_25->n45_a_factbook_2_2010_26 n45_a_factbook_2_2010_28 NP n45_a_factbook_2_2010_25->n45_a_factbook_2_2010_28 n45_a_factbook_2_2010_26->n45_a_factbook_2_2010_27 n45_a_factbook_2_2010_29 D n45_a_factbook_2_2010_28->n45_a_factbook_2_2010_29 n45_a_factbook_2_2010_31 ADJP n45_a_factbook_2_2010_28->n45_a_factbook_2_2010_31 n45_a_factbook_2_2010_34 ADJP n45_a_factbook_2_2010_28->n45_a_factbook_2_2010_34 n45_a_factbook_2_2010_37 N n45_a_factbook_2_2010_28->n45_a_factbook_2_2010_37 n45_a_factbook_2_2010_29->n45_a_factbook_2_2010_30 n45_a_factbook_2_2010_32 ADJ n45_a_factbook_2_2010_31->n45_a_factbook_2_2010_32 n45_a_factbook_2_2010_32->n45_a_factbook_2_2010_33 n45_a_factbook_2_2010_35 ADJ n45_a_factbook_2_2010_34->n45_a_factbook_2_2010_35 n45_a_factbook_2_2010_35->n45_a_factbook_2_2010_36 n45_a_factbook_2_2010_37->n45_a_factbook_2_2010_38 n45_a_factbook_2_2010_39->n45_a_factbook_2_2010_40
( (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))