27_a_factbook_2_2010
European Union Law - A sub-discipline of international law known as supranational law in which the rights of sovereign nations are limited in relation to one another.

%3 r_0027_0005__A_r_0027_0006__sub__hyphen__discipline A sub-discipline r_0027_0009__law law r_0027_0005__A_r_0027_0006__sub__hyphen__discipline->r_0027_0009__law of r_0027_0008__international international r_0027_0009__law->r_0027_0008__international [attrib] r_0027_0010__known known r_0027_0010__known->r_0027_0005__A_r_0027_0006__sub__hyphen__discipline [arg1] r_0027_0013__law law r_0027_0010__known->r_0027_0013__law [prd] z_000_27_a_factbook_2_2010_26 r_0027_0010__known->z_000_27_a_factbook_2_2010_26 [arg0] r_0027_0012__supranational supranational r_0027_0013__law->r_0027_0012__supranational [attrib] r_0027_0016__the_r_0027_0017__rights the rights r_0027_0020__nations nations r_0027_0016__the_r_0027_0017__rights->r_0027_0020__nations of r_0027_0019__sovereign sovereign r_0027_0020__nations->r_0027_0019__sovereign [attrib] r_0027_0021__are are r_0027_0021__are->r_0027_0005__A_r_0027_0006__sub__hyphen__discipline in [nim] r_0027_0021__are->r_0027_0016__the_r_0027_0017__rights [arg0] r_0027_0022__limited limited r_0027_0021__are->r_0027_0022__limited [prd] r_0027_0024__one_r_0027_0025__another one another r_0027_0022__limited->r_0027_0024__one_r_0027_0025__another in relation to z_000_27_a_factbook_2_2010_1 z_000_27_a_factbook_2_2010_1->r_0027_0005__A_r_0027_0006__sub__hyphen__discipline [prd] r_0027_0001__European_r_0027_0002__Union_r_0027_0003__Law European Union Law z_000_27_a_factbook_2_2010_1->r_0027_0001__European_r_0027_0002__Union_r_0027_0003__Law [arg0]
arc(r_0027_0005__A_r_0027_0006__sub__hyphen__discipline, r_0027_0009__law, r_0027_0007__of).
arc(r_0027_0009__law, r_0027_0008__international, attrib20).
arc(r_0027_0010__known, r_0027_0005__A_r_0027_0006__sub__hyphen__discipline, arg1).
arc(r_0027_0010__known, r_0027_0013__law, prd).
arc(r_0027_0010__known, z_000_27_a_factbook_2_2010_26, arg0).
arc(r_0027_0013__law, r_0027_0012__supranational, attrib34).
arc(r_0027_0016__the_r_0027_0017__rights, r_0027_0020__nations, r_0027_0018__of).
arc(r_0027_0020__nations, r_0027_0019__sovereign, attrib55).
arc(r_0027_0021__are, r_0027_0005__A_r_0027_0006__sub__hyphen__discipline, r_0027_0014__in_nim43).
arc(r_0027_0021__are, r_0027_0016__the_r_0027_0017__rights, arg0).
arc(r_0027_0021__are, r_0027_0022__limited, prd).
arc(r_0027_0022__limited, r_0027_0024__one_r_0027_0025__another, r_0027_0023__in_relation_to).
arc(z_000_27_a_factbook_2_2010_1, r_0027_0001__European_r_0027_0002__Union_r_0027_0003__Law, arg0).
arc(z_000_27_a_factbook_2_2010_1, r_0027_0005__A_r_0027_0006__sub__hyphen__discipline, prd).



%3 r_0027_0005__A_r_0027_0006__sub__hyphen__discipline A sub-discipline r_0027_0009__law law r_0027_0005__A_r_0027_0006__sub__hyphen__discipline->r_0027_0009__law of r_0027_0008__international international r_0027_0009__law->r_0027_0008__international [attrib] r_0027_0010__known known r_0027_0010__known->r_0027_0005__A_r_0027_0006__sub__hyphen__discipline [arg1] r_0027_0013__law law r_0027_0010__known->r_0027_0013__law [prd] z_000_27_a_factbook_2_2010_26 r_0027_0010__known->z_000_27_a_factbook_2_2010_26 [arg0] r_0027_0012__supranational supranational r_0027_0013__law->r_0027_0012__supranational [attrib] r_0027_0016__the_r_0027_0017__rights the rights r_0027_0020__nations nations r_0027_0016__the_r_0027_0017__rights->r_0027_0020__nations of r_0027_0019__sovereign sovereign r_0027_0020__nations->r_0027_0019__sovereign [attrib] r_0027_0021__are are r_0027_0021__are->r_0027_0005__A_r_0027_0006__sub__hyphen__discipline in [nim] r_0027_0021__are->r_0027_0016__the_r_0027_0017__rights [arg0] r_0027_0022__limited limited r_0027_0021__are->r_0027_0022__limited [prd] r_0027_0024__one_r_0027_0025__another one another r_0027_0022__limited->r_0027_0024__one_r_0027_0025__another in relation to z_000_27_a_factbook_2_2010_1 z_000_27_a_factbook_2_2010_1->r_0027_0005__A_r_0027_0006__sub__hyphen__discipline [prd] r_0027_0001__European_r_0027_0002__Union_r_0027_0003__Law European Union Law z_000_27_a_factbook_2_2010_1->r_0027_0001__European_r_0027_0002__Union_r_0027_0003__Law [arg0]
fof(formula,axiom,
    ? [R_27_10_KNOWN,Z_27_A_FACTBOOK_2_2010_26,R_27_13_LAW,R_27_12_SUPRANATIONAL,R_27_21_ARE,R_27_16_THE_RIGHTS,R_27_20_NATIONS,R_27_19_SOVEREIGN,R_27_22_LIMITED,R_27_24_ONE_ANOTHER,Z_27_A_FACTBOOK_2_2010_1,R_27_1_EUROPEAN_UNION_LAW,R_27_5_A_SUB_HYPHEN_DISCIPLINE,R_27_9_LAW,R_27_8_INTERNATIONAL] :
      ( supranational(R_27_12_SUPRANATIONAL)
      & sovereign(R_27_19_SOVEREIGN)
      & one_another(R_27_24_ONE_ANOTHER)
      & european_Union_Law(R_27_1_EUROPEAN_UNION_LAW)
      & international(R_27_8_INTERNATIONAL)
      & known(R_27_10_KNOWN,Z_27_A_FACTBOOK_2_2010_26,R_27_5_A_SUB_HYPHEN_DISCIPLINE,R_27_13_LAW)
      & a_sub_hyphen_discipline(R_27_5_A_SUB_HYPHEN_DISCIPLINE)
      & of(R_27_5_A_SUB_HYPHEN_DISCIPLINE,R_27_9_LAW)
      & law(R_27_9_LAW)
      & attrib20(R_27_9_LAW,R_27_8_INTERNATIONAL)
      & law(R_27_13_LAW)
      & attrib34(R_27_13_LAW,R_27_12_SUPRANATIONAL)
      & are(R_27_21_ARE,R_27_16_THE_RIGHTS,R_27_22_LIMITED)
      & the_rights(R_27_16_THE_RIGHTS)
      & of(R_27_16_THE_RIGHTS,R_27_20_NATIONS)
      & nations(R_27_20_NATIONS)
      & attrib55(R_27_20_NATIONS,R_27_19_SOVEREIGN)
      & limited(R_27_22_LIMITED)
      & in_relation_to(R_27_22_LIMITED,R_27_24_ONE_ANOTHER)
      & in_nim43(R_27_21_ARE,R_27_5_A_SUB_HYPHEN_DISCIPLINE)
      & z_27_a_factbook_2_2010_1(Z_27_A_FACTBOOK_2_2010_1,R_27_1_EUROPEAN_UNION_LAW,R_27_5_A_SUB_HYPHEN_DISCIPLINE) ) ).



n27_a_factbook_2_2010 n27_a_factbook_2_2010_4 European n27_a_factbook_2_2010_6 Union n27_a_factbook_2_2010_8 Law n27_a_factbook_2_2010_10 - n27_a_factbook_2_2010_13 A n27_a_factbook_2_2010_15 sub-discipline n27_a_factbook_2_2010_18 of n27_a_factbook_2_2010_22 international n27_a_factbook_2_2010_24 law n27_a_factbook_2_2010_27 * n27_a_factbook_2_2010_29 known n27_a_factbook_2_2010_32 as n27_a_factbook_2_2010_36 supranational n27_a_factbook_2_2010_38 law n27_a_factbook_2_2010_42 in n27_a_factbook_2_2010_45 which n27_a_factbook_2_2010_48 the n27_a_factbook_2_2010_50 rights n27_a_factbook_2_2010_53 of n27_a_factbook_2_2010_57 sovereign n27_a_factbook_2_2010_59 nations n27_a_factbook_2_2010_61 are n27_a_factbook_2_2010_64 limited n27_a_factbook_2_2010_67 in_relation_to n27_a_factbook_2_2010_70 one n27_a_factbook_2_2010_72 another n27_a_factbook_2_2010_74 . n27_a_factbook_2_2010_1 FRAG n27_a_factbook_2_2010_2 NP-SBJ n27_a_factbook_2_2010_1->n27_a_factbook_2_2010_2 n27_a_factbook_2_2010_9 PUNC n27_a_factbook_2_2010_1->n27_a_factbook_2_2010_9 n27_a_factbook_2_2010_11 NP-PRD n27_a_factbook_2_2010_1->n27_a_factbook_2_2010_11 n27_a_factbook_2_2010_73 PUNC n27_a_factbook_2_2010_1->n27_a_factbook_2_2010_73 n27_a_factbook_2_2010_3 NPR n27_a_factbook_2_2010_2->n27_a_factbook_2_2010_3 n27_a_factbook_2_2010_5 NPR n27_a_factbook_2_2010_2->n27_a_factbook_2_2010_5 n27_a_factbook_2_2010_7 N n27_a_factbook_2_2010_2->n27_a_factbook_2_2010_7 n27_a_factbook_2_2010_3->n27_a_factbook_2_2010_4 n27_a_factbook_2_2010_5->n27_a_factbook_2_2010_6 n27_a_factbook_2_2010_7->n27_a_factbook_2_2010_8 n27_a_factbook_2_2010_9->n27_a_factbook_2_2010_10 n27_a_factbook_2_2010_12 D n27_a_factbook_2_2010_11->n27_a_factbook_2_2010_12 n27_a_factbook_2_2010_14 N n27_a_factbook_2_2010_11->n27_a_factbook_2_2010_14 n27_a_factbook_2_2010_16 PP n27_a_factbook_2_2010_11->n27_a_factbook_2_2010_16 n27_a_factbook_2_2010_25 IP-PPL n27_a_factbook_2_2010_11->n27_a_factbook_2_2010_25 n27_a_factbook_2_2010_39 IP-REL n27_a_factbook_2_2010_11->n27_a_factbook_2_2010_39 n27_a_factbook_2_2010_12->n27_a_factbook_2_2010_13 n27_a_factbook_2_2010_14->n27_a_factbook_2_2010_15 n27_a_factbook_2_2010_17 P-ROLE n27_a_factbook_2_2010_16->n27_a_factbook_2_2010_17 n27_a_factbook_2_2010_19 NP n27_a_factbook_2_2010_16->n27_a_factbook_2_2010_19 n27_a_factbook_2_2010_17->n27_a_factbook_2_2010_18 n27_a_factbook_2_2010_20 ADJP n27_a_factbook_2_2010_19->n27_a_factbook_2_2010_20 n27_a_factbook_2_2010_23 N n27_a_factbook_2_2010_19->n27_a_factbook_2_2010_23 n27_a_factbook_2_2010_21 ADJ n27_a_factbook_2_2010_20->n27_a_factbook_2_2010_21 n27_a_factbook_2_2010_21->n27_a_factbook_2_2010_22 n27_a_factbook_2_2010_23->n27_a_factbook_2_2010_24 n27_a_factbook_2_2010_26 NP-LGS n27_a_factbook_2_2010_25->n27_a_factbook_2_2010_26 n27_a_factbook_2_2010_28 VVN;_Cn.n/a_ n27_a_factbook_2_2010_25->n27_a_factbook_2_2010_28 n27_a_factbook_2_2010_30 PP-PRD n27_a_factbook_2_2010_25->n27_a_factbook_2_2010_30 n27_a_factbook_2_2010_26->n27_a_factbook_2_2010_27 n27_a_factbook_2_2010_28->n27_a_factbook_2_2010_29 n27_a_factbook_2_2010_31 P-ROLE n27_a_factbook_2_2010_30->n27_a_factbook_2_2010_31 n27_a_factbook_2_2010_33 NP n27_a_factbook_2_2010_30->n27_a_factbook_2_2010_33 n27_a_factbook_2_2010_31->n27_a_factbook_2_2010_32 n27_a_factbook_2_2010_34 ADJP n27_a_factbook_2_2010_33->n27_a_factbook_2_2010_34 n27_a_factbook_2_2010_37 N n27_a_factbook_2_2010_33->n27_a_factbook_2_2010_37 n27_a_factbook_2_2010_35 ADJ n27_a_factbook_2_2010_34->n27_a_factbook_2_2010_35 n27_a_factbook_2_2010_35->n27_a_factbook_2_2010_36 n27_a_factbook_2_2010_37->n27_a_factbook_2_2010_38 n27_a_factbook_2_2010_40 PP-NIM n27_a_factbook_2_2010_39->n27_a_factbook_2_2010_40 n27_a_factbook_2_2010_46 NP-SBJ n27_a_factbook_2_2010_39->n27_a_factbook_2_2010_46 n27_a_factbook_2_2010_60 BEP;_La_ n27_a_factbook_2_2010_39->n27_a_factbook_2_2010_60 n27_a_factbook_2_2010_62 ADJP-PRD n27_a_factbook_2_2010_39->n27_a_factbook_2_2010_62 n27_a_factbook_2_2010_41 P-ROLE n27_a_factbook_2_2010_40->n27_a_factbook_2_2010_41 n27_a_factbook_2_2010_43 NP n27_a_factbook_2_2010_40->n27_a_factbook_2_2010_43 n27_a_factbook_2_2010_41->n27_a_factbook_2_2010_42 n27_a_factbook_2_2010_44 RPRO n27_a_factbook_2_2010_43->n27_a_factbook_2_2010_44 n27_a_factbook_2_2010_44->n27_a_factbook_2_2010_45 n27_a_factbook_2_2010_47 D n27_a_factbook_2_2010_46->n27_a_factbook_2_2010_47 n27_a_factbook_2_2010_49 NS n27_a_factbook_2_2010_46->n27_a_factbook_2_2010_49 n27_a_factbook_2_2010_51 PP n27_a_factbook_2_2010_46->n27_a_factbook_2_2010_51 n27_a_factbook_2_2010_47->n27_a_factbook_2_2010_48 n27_a_factbook_2_2010_49->n27_a_factbook_2_2010_50 n27_a_factbook_2_2010_52 P-ROLE n27_a_factbook_2_2010_51->n27_a_factbook_2_2010_52 n27_a_factbook_2_2010_54 NP n27_a_factbook_2_2010_51->n27_a_factbook_2_2010_54 n27_a_factbook_2_2010_52->n27_a_factbook_2_2010_53 n27_a_factbook_2_2010_55 ADJP n27_a_factbook_2_2010_54->n27_a_factbook_2_2010_55 n27_a_factbook_2_2010_58 NS n27_a_factbook_2_2010_54->n27_a_factbook_2_2010_58 n27_a_factbook_2_2010_56 ADJ n27_a_factbook_2_2010_55->n27_a_factbook_2_2010_56 n27_a_factbook_2_2010_56->n27_a_factbook_2_2010_57 n27_a_factbook_2_2010_58->n27_a_factbook_2_2010_59 n27_a_factbook_2_2010_60->n27_a_factbook_2_2010_61 n27_a_factbook_2_2010_63 ADJ n27_a_factbook_2_2010_62->n27_a_factbook_2_2010_63 n27_a_factbook_2_2010_65 PP n27_a_factbook_2_2010_62->n27_a_factbook_2_2010_65 n27_a_factbook_2_2010_63->n27_a_factbook_2_2010_64 n27_a_factbook_2_2010_66 P-ROLE n27_a_factbook_2_2010_65->n27_a_factbook_2_2010_66 n27_a_factbook_2_2010_68 NP n27_a_factbook_2_2010_65->n27_a_factbook_2_2010_68 n27_a_factbook_2_2010_66->n27_a_factbook_2_2010_67 n27_a_factbook_2_2010_69 NUM n27_a_factbook_2_2010_68->n27_a_factbook_2_2010_69 n27_a_factbook_2_2010_71 D n27_a_factbook_2_2010_68->n27_a_factbook_2_2010_71 n27_a_factbook_2_2010_69->n27_a_factbook_2_2010_70 n27_a_factbook_2_2010_71->n27_a_factbook_2_2010_72 n27_a_factbook_2_2010_73->n27_a_factbook_2_2010_74
( (FRAG (NP-SBJ (NPR European;{European})
                (NPR Union;{Union})
                (N Law;{law}))
        (PUNC <hyphen>)
        (NP-PRD (D A;{a})
                (N sub_<hyphen>_discipline;{sub_discipline})
                (PP (P-ROLE of;{of})
                    (NP (ADJP (ADJ international;{international}))
                        (N law;{law})))
                (IP-PPL (NP-LGS *)
                        (VVN;_Cn.n/a_ known;{know[as]})
                        (PP-PRD (P-ROLE as;{as})
                                (NP;{SUPRANATIONAL_LAW} (ADJP (ADJ supranational;{supranational}))
                                                        (N law;{law}))))
                (IP-REL (PP-NIM (P-ROLE in;{in})
                                (NP (RPRO which;{which})))
                        (NP-SBJ (D the;{the})
                                (NS rights;{right})
                                (PP (P-ROLE of;{of})
                                    (NP (ADJP (ADJ sovereign;{sovereign}))
                                        (NS nations;{nation}))))
                        (BEP;_La_ are;{be})
                        (ADJP-PRD (ADJ limited;{limited})
                                  (PP (P-ROLE in_relation_to;{in_relation_to})
                                      (NP (NUM one;{one})
                                          (D another;{another}))))))
        (PUNC .))
  (ID 27_a_factbook_2_2010))