Context                Previous, Next                Top


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_0011__a_r_0045_0014__system a system r_0045_0013__legal legal r_0045_0011__a_r_0045_0014__system->r_0045_0013__legal [attrib] r_0045_0012__supranational supranational r_0045_0011__a_r_0045_0014__system->r_0045_0012__supranational [attrib] r_0045_0007__the_r_0045_0009__entity the entity r_0045_0007__the_r_0045_0009__entity->r_0045_0011__a_r_0045_0014__system under r_0045_0008__only only r_0045_0007__the_r_0045_0009__entity->r_0045_0008__only [attrib] r_0045_0006__is is r_0045_0006__is->r_0045_0007__the_r_0045_0009__entity [prd] 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_0002__present present r_0045_0006__is->r_0045_0002__present At [nim] 
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_attrib34(R_0045_0011__A_R_0045_0014__SYSTEM,R_0045_0013__LEGAL)
      & has_attrib31(R_0045_0011__A_R_0045_0014__SYSTEM,R_0045_0012__SUPRANATIONAL)
      & has_attrib20(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_nim5(R_0045_0006__IS,R_0045_0002__PRESENT) ) ).


n45_a_factbook_2_2010 n45_a_factbook_2_2010__1_1_1_1 At n45_a_factbook_2_2010__1_1_2_1_1 present n45_a_factbook_2_2010__1_2_1_1 the n45_a_factbook_2_2010__1_2_2_1 European n45_a_factbook_2_2010__1_2_3_1 Union n45_a_factbook_2_2010__1_3_1 is n45_a_factbook_2_2010__1_4_1_1 the n45_a_factbook_2_2010__1_4_2_1_1 only n45_a_factbook_2_2010__1_4_3_1 entity n45_a_factbook_2_2010__1_4_4_1_1 under n45_a_factbook_2_2010__1_4_4_2_1_1 a n45_a_factbook_2_2010__1_4_4_2_2_1_1 supranational n45_a_factbook_2_2010__1_4_4_2_3_1_1 legal n45_a_factbook_2_2010__1_4_4_2_4_1 system n45_a_factbook_2_2010__1_5_1 . n45_a_factbook_2_2010__1 IP-MAT n45_a_factbook_2_2010__1_1 PP-NIM n45_a_factbook_2_2010__1->n45_a_factbook_2_2010__1_1 n45_a_factbook_2_2010__1_2 NP-SBJ n45_a_factbook_2_2010__1->n45_a_factbook_2_2010__1_2 n45_a_factbook_2_2010__1_3 BEP;_Ln_ n45_a_factbook_2_2010__1->n45_a_factbook_2_2010__1_3 n45_a_factbook_2_2010__1_4 NP-PRD n45_a_factbook_2_2010__1->n45_a_factbook_2_2010__1_4 n45_a_factbook_2_2010__1_5 PUNC n45_a_factbook_2_2010__1->n45_a_factbook_2_2010__1_5 n45_a_factbook_2_2010__1_1_1 P-ROLE n45_a_factbook_2_2010__1_1->n45_a_factbook_2_2010__1_1_1 n45_a_factbook_2_2010__1_1_2 NP n45_a_factbook_2_2010__1_1->n45_a_factbook_2_2010__1_1_2 n45_a_factbook_2_2010__1_1_1->n45_a_factbook_2_2010__1_1_1_1 n45_a_factbook_2_2010__1_1_2_1 N n45_a_factbook_2_2010__1_1_2->n45_a_factbook_2_2010__1_1_2_1 n45_a_factbook_2_2010__1_1_2_1->n45_a_factbook_2_2010__1_1_2_1_1 n45_a_factbook_2_2010__1_2_1 D n45_a_factbook_2_2010__1_2->n45_a_factbook_2_2010__1_2_1 n45_a_factbook_2_2010__1_2_2 NPR n45_a_factbook_2_2010__1_2->n45_a_factbook_2_2010__1_2_2 n45_a_factbook_2_2010__1_2_3 NPR n45_a_factbook_2_2010__1_2->n45_a_factbook_2_2010__1_2_3 n45_a_factbook_2_2010__1_2_1->n45_a_factbook_2_2010__1_2_1_1 n45_a_factbook_2_2010__1_2_2->n45_a_factbook_2_2010__1_2_2_1 n45_a_factbook_2_2010__1_2_3->n45_a_factbook_2_2010__1_2_3_1 n45_a_factbook_2_2010__1_3->n45_a_factbook_2_2010__1_3_1 n45_a_factbook_2_2010__1_4_1 D n45_a_factbook_2_2010__1_4->n45_a_factbook_2_2010__1_4_1 n45_a_factbook_2_2010__1_4_2 ADJP n45_a_factbook_2_2010__1_4->n45_a_factbook_2_2010__1_4_2 n45_a_factbook_2_2010__1_4_3 N n45_a_factbook_2_2010__1_4->n45_a_factbook_2_2010__1_4_3 n45_a_factbook_2_2010__1_4_4 PP n45_a_factbook_2_2010__1_4->n45_a_factbook_2_2010__1_4_4 n45_a_factbook_2_2010__1_4_1->n45_a_factbook_2_2010__1_4_1_1 n45_a_factbook_2_2010__1_4_2_1 ADJ n45_a_factbook_2_2010__1_4_2->n45_a_factbook_2_2010__1_4_2_1 n45_a_factbook_2_2010__1_4_2_1->n45_a_factbook_2_2010__1_4_2_1_1 n45_a_factbook_2_2010__1_4_3->n45_a_factbook_2_2010__1_4_3_1 n45_a_factbook_2_2010__1_4_4_1 P-ROLE n45_a_factbook_2_2010__1_4_4->n45_a_factbook_2_2010__1_4_4_1 n45_a_factbook_2_2010__1_4_4_2 NP n45_a_factbook_2_2010__1_4_4->n45_a_factbook_2_2010__1_4_4_2 n45_a_factbook_2_2010__1_4_4_1->n45_a_factbook_2_2010__1_4_4_1_1 n45_a_factbook_2_2010__1_4_4_2_1 D n45_a_factbook_2_2010__1_4_4_2->n45_a_factbook_2_2010__1_4_4_2_1 n45_a_factbook_2_2010__1_4_4_2_2 ADJP n45_a_factbook_2_2010__1_4_4_2->n45_a_factbook_2_2010__1_4_4_2_2 n45_a_factbook_2_2010__1_4_4_2_3 ADJP n45_a_factbook_2_2010__1_4_4_2->n45_a_factbook_2_2010__1_4_4_2_3 n45_a_factbook_2_2010__1_4_4_2_4 N n45_a_factbook_2_2010__1_4_4_2->n45_a_factbook_2_2010__1_4_4_2_4 n45_a_factbook_2_2010__1_4_4_2_1->n45_a_factbook_2_2010__1_4_4_2_1_1 n45_a_factbook_2_2010__1_4_4_2_2_1 ADJ n45_a_factbook_2_2010__1_4_4_2_2->n45_a_factbook_2_2010__1_4_4_2_2_1 n45_a_factbook_2_2010__1_4_4_2_2_1->n45_a_factbook_2_2010__1_4_4_2_2_1_1 n45_a_factbook_2_2010__1_4_4_2_3_1 ADJ n45_a_factbook_2_2010__1_4_4_2_3->n45_a_factbook_2_2010__1_4_4_2_3_1 n45_a_factbook_2_2010__1_4_4_2_3_1->n45_a_factbook_2_2010__1_4_4_2_3_1_1 n45_a_factbook_2_2010__1_4_4_2_4->n45_a_factbook_2_2010__1_4_4_2_4_1 n45_a_factbook_2_2010__1_5->n45_a_factbook_2_2010__1_5_1 
( (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))