( (FRAG (NP-SBJ (NLYR (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))

arc(r_0027_0003__Law,r_0027_0001__European_r_0027_0002__Union,nim).
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,attrib).
arc(r_0027_0010__known,r_0027_0005__A_r_0027_0006__sub__hyphen__discipline,inv_arg1).
arc(r_0027_0010__known,r_0027_0013__law,r_0027_0011__as__prd).
arc(r_0027_0010__known,z_0027_5007___star_,arg0).
arc(r_0027_0013__law,r_0027_0012__supranational,attrib).
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,attrib).
arc(r_0027_0021__are,r_0027_0005__A_r_0027_0006__sub__hyphen__discipline,r_0027_0014__in__nim).
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_0027_5015,r_0027_0003__Law,arg0).
arc(z_0027_5015,r_0027_0005__A_r_0027_0006__sub__hyphen__discipline,prd).

fof(formula,axiom,
    ? [R_0027_0008__INTERNATIONAL,R_0027_0009__LAW,R_0027_0012__SUPRANATIONAL,R_0027_0013__LAW,Z_0027_5007___STAR_,R_0027_0010__KNOWN,R_0027_0005__A_R_0027_0006__SUB__HYPHEN__DISCIPLINE,R_0027_0019__SOVEREIGN,R_0027_0020__NATIONS,R_0027_0016__THE_R_0027_0017__RIGHTS,R_0027_0024__ONE_R_0027_0025__ANOTHER,R_0027_0022__LIMITED,R_0027_0021__ARE,R_0027_0001__EUROPEAN_R_0027_0002__UNION,R_0027_0003__LAW,Z_0027_5015] :
      ( r_0027_0001__European_r_0027_0002__Union(R_0027_0001__EUROPEAN_R_0027_0002__UNION)
      & r_0027_0008__international(R_0027_0008__INTERNATIONAL)
      & r_0027_0012__supranational(R_0027_0012__SUPRANATIONAL)
      & r_0027_0019__sovereign(R_0027_0019__SOVEREIGN)
      & r_0027_0024__one_r_0027_0025__another(R_0027_0024__ONE_R_0027_0025__ANOTHER)
      & z_0027_5007___star_(Z_0027_5007___STAR_)
      & z_0027_5015(Z_0027_5015)
      & has_prd(Z_0027_5015,R_0027_0005__A_R_0027_0006__SUB__HYPHEN__DISCIPLINE)
      & r_0027_0005__A_r_0027_0006__sub__hyphen__discipline(R_0027_0005__A_R_0027_0006__SUB__HYPHEN__DISCIPLINE)
      & has_inv_arg1(R_0027_0005__A_R_0027_0006__SUB__HYPHEN__DISCIPLINE,R_0027_0010__KNOWN)
      & r_0027_0010__known(R_0027_0010__KNOWN)
      & has_arg0(R_0027_0010__KNOWN,Z_0027_5007___STAR_)
      & has_r_0027_0011__as__prd(R_0027_0010__KNOWN,R_0027_0013__LAW)
      & r_0027_0013__law(R_0027_0013__LAW)
      & has_attrib(R_0027_0013__LAW,R_0027_0012__SUPRANATIONAL)
      & has_r_0027_0007__of(R_0027_0005__A_R_0027_0006__SUB__HYPHEN__DISCIPLINE,R_0027_0009__LAW)
      & r_0027_0009__law(R_0027_0009__LAW)
      & has_attrib(R_0027_0009__LAW,R_0027_0008__INTERNATIONAL)
      & has_arg0(Z_0027_5015,R_0027_0003__LAW)
      & r_0027_0003__Law(R_0027_0003__LAW)
      & has_nim(R_0027_0003__LAW,R_0027_0001__EUROPEAN_R_0027_0002__UNION)
      & r_0027_0021__are(R_0027_0021__ARE)
      & has_prd(R_0027_0021__ARE,R_0027_0022__LIMITED)
      & r_0027_0022__limited(R_0027_0022__LIMITED)
      & has_r_0027_0023__in_relation_to(R_0027_0022__LIMITED,R_0027_0024__ONE_R_0027_0025__ANOTHER)
      & has_arg0(R_0027_0021__ARE,R_0027_0016__THE_R_0027_0017__RIGHTS)
      & r_0027_0016__the_r_0027_0017__rights(R_0027_0016__THE_R_0027_0017__RIGHTS)
      & has_r_0027_0018__of(R_0027_0016__THE_R_0027_0017__RIGHTS,R_0027_0020__NATIONS)
      & r_0027_0020__nations(R_0027_0020__NATIONS)
      & has_attrib(R_0027_0020__NATIONS,R_0027_0019__SOVEREIGN)
      & has_r_0027_0014__in__nim(R_0027_0021__ARE,R_0027_0005__A_R_0027_0006__SUB__HYPHEN__DISCIPLINE) ) ).