TSPC 42_a_factbook_2

42_a_factbook_2_2010
International Law - The law of the international community, or the body of customary rules and treaty rules accepted as legally binding by states in their relations with each other.

arc(r_0042_0004__The_r_0042_0005__law, r_0042_0007__the_r_0042_0009__community, r_0042_0006__of).
arc(r_0042_0007__the_r_0042_0009__community, r_0042_0008__international, attrib22).
arc(r_0042_0011__or, r_0042_0004__The_r_0042_0005__law, conj1).
arc(r_0042_0011__or, r_0042_0012__the_r_0042_0013__body, conj2).
arc(r_0042_0012__the_r_0042_0013__body, r_0042_0017__and, r_0042_0014__of).
arc(r_0042_0016__rules, r_0042_0015__customary, attrib43).
arc(r_0042_0017__and, r_0042_0016__rules, conj1).
arc(r_0042_0017__and, r_0042_0018__treaty_r_0042_0019__rules, conj2).
arc(r_0042_0020__accepted, r_0042_0017__and, arg1).
arc(r_0042_0020__accepted, r_0042_0025__states, arg0).
arc(r_0042_0020__accepted, r_0042_0028__relations, r_0042_0026__in_nim78).
arc(r_0042_0020__accepted, z_000_42_a_factbook_2_2010_62, prd).
arc(r_0042_0023__binding, r_0042_0022__legally, qual64).
arc(r_0042_0028__relations, r_0042_0007__the_r_0042_0009__community, r_0042_0029__with).
arc(r_0042_0028__relations, r_0042_0027__their, gen).
arc(z_000_42_a_factbook_2_2010_1, r_0042_0001__International_r_0042_0002__Law, arg0).
arc(z_000_42_a_factbook_2_2010_1, r_0042_0011__or, prd).
arc(z_000_42_a_factbook_2_2010_62, r_0042_0023__binding, attrib63).

fof(formula,axiom,
    ? [R_42_20_ACCEPTED,R_42_25_STATES,Z_42_A_FACTBOOK_2_2010_62,R_42_23_BINDING,R_42_22_LEGALLY,R_42_28_RELATIONS,R_42_27_THEIR,Z_42_A_FACTBOOK_2_2010_1,R_42_1_INTERNATIONAL_LAW,R_42_11_OR,R_42_4_THE_LAW,R_42_7_THE_COMMUNITY,R_42_8_INTERNATIONAL,R_42_12_THE_BODY,R_42_17_AND,R_42_16_RULES,R_42_15_CUSTOMARY,R_42_18_TREATY_RULES] :
      ( states(R_42_25_STATES)
      & legally(R_42_22_LEGALLY)
      & their(R_42_27_THEIR)
      & international_Law(R_42_1_INTERNATIONAL_LAW)
      & international(R_42_8_INTERNATIONAL)
      & customary(R_42_15_CUSTOMARY)
      & treaty_rules(R_42_18_TREATY_RULES)
      & accepted(R_42_20_ACCEPTED,R_42_25_STATES,R_42_17_AND,Z_42_A_FACTBOOK_2_2010_62)
      & and(R_42_17_AND)
      & conj1(R_42_17_AND,R_42_16_RULES)
      & rules(R_42_16_RULES)
      & attrib43(R_42_16_RULES,R_42_15_CUSTOMARY)
      & conj2(R_42_17_AND,R_42_18_TREATY_RULES)
      & z_42_a_factbook_2_2010_62(Z_42_A_FACTBOOK_2_2010_62)
      & attrib63(Z_42_A_FACTBOOK_2_2010_62,R_42_23_BINDING)
      & binding(R_42_23_BINDING)
      & qual64(R_42_23_BINDING,R_42_22_LEGALLY)
      & in_nim78(R_42_20_ACCEPTED,R_42_28_RELATIONS)
      & relations(R_42_28_RELATIONS)
      & gen(R_42_28_RELATIONS,R_42_27_THEIR)
      & with(R_42_28_RELATIONS,R_42_7_THE_COMMUNITY)
      & the_community(R_42_7_THE_COMMUNITY)
      & attrib22(R_42_7_THE_COMMUNITY,R_42_8_INTERNATIONAL)
      & z_42_a_factbook_2_2010_1(Z_42_A_FACTBOOK_2_2010_1,R_42_1_INTERNATIONAL_LAW,R_42_11_OR)
      & or(R_42_11_OR)
      & conj1(R_42_11_OR,R_42_4_THE_LAW)
      & the_law(R_42_4_THE_LAW)
      & of(R_42_4_THE_LAW,R_42_7_THE_COMMUNITY)
      & conj2(R_42_11_OR,R_42_12_THE_BODY)
      & the_body(R_42_12_THE_BODY)
      & of(R_42_12_THE_BODY,R_42_17_AND) ) ).

( (FRAG (NP-SBJ;{INTERNATIONAL_LAW} (NPR International;{International})
                                    (NPR Law;{Law}))
        (PUNC <hyphen>)
        (NP-PRD (NLYR (NLYR (D The;{the})
                            (N law;{law})
                            (PP (P-ROLE of;{of})
                                (NP (D the;{the})
                                    (ADJP (ADJ international;{international}))
                                    (N community;{community}))))
                      (PUNC ,)
                      (CONJP (CONJ or;{or})
                             (NLYR (D the;{the})
                                   (N body;{body})
                                   (PP (P-ROLE of;{of})
                                       (NP (NLYR (NLYR (ADJP (ADJ customary;{customary}))
                                                       (NS rules;{rule}))
                                                 (CONJP (CONJ and;{and})
                                                        (NLYR (N treaty;{treaty})
                                                              (NS rules;{rule}))))
                                           (IP-PPL (VVN;_Cn.n/a_ accepted;{accept[as]})
                                                   (PP-PRD (P-ROLE as;{as})
                                                           (NP (ADJP (ADVP (ADV legally;{legally}))
                                                                     (ADJ binding;{binding}))))
                                                   (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                           (NP;{STATES} (NS states;{state})))
                                                   (PP-NIM (P-ROLE in;{in})
                                                           (NP (NP-GEN;{STATES} (PRO;_genm_ their;{their}))
                                                               (NS relations;{relation})
                                                               (PP (P-ROLE with;{with})
                                                                   (NP (PNX each_other;{each_other}))))))))))))
        (PUNC .))
  (ID 42_a_factbook_2_2010))