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.

n42_a_factbook_2_2010 n42_a_factbook_2_2010__1_1_1_1 International n42_a_factbook_2_2010__1_1_2_1 Law n42_a_factbook_2_2010__1_2_1 - n42_a_factbook_2_2010__1_3_1_1_1_1 The n42_a_factbook_2_2010__1_3_1_1_2_1 law n42_a_factbook_2_2010__1_3_1_1_3_1_1 of n42_a_factbook_2_2010__1_3_1_1_3_2_1_1 the n42_a_factbook_2_2010__1_3_1_1_3_2_2_1_1 international n42_a_factbook_2_2010__1_3_1_1_3_2_3_1 community n42_a_factbook_2_2010__1_3_1_2_1 , n42_a_factbook_2_2010__1_3_1_3_1_1 or n42_a_factbook_2_2010__1_3_1_3_2_1_1 the n42_a_factbook_2_2010__1_3_1_3_2_2_1 body n42_a_factbook_2_2010__1_3_1_3_2_3_1_1 of n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1_1_1_1 customary n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1_2_1 rules n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_1_1 and n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2_1_1 treaty n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2_2_1 rules n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_1_1 accepted n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_1_1 as n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2_1_1_1 legally n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2_2_1 binding n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3_1_1 by n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3_2_1_1 states n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_1_1 in n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_1_1_1 their n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_2_1 relations n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3_1_1 with n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3_2_1_1 each_other n42_a_factbook_2_2010__1_4_1 . n42_a_factbook_2_2010__1 FRAG n42_a_factbook_2_2010__1_1 NP-SBJ n42_a_factbook_2_2010__1->n42_a_factbook_2_2010__1_1 n42_a_factbook_2_2010__1_2 PUNC n42_a_factbook_2_2010__1->n42_a_factbook_2_2010__1_2 n42_a_factbook_2_2010__1_3 NP-PRD n42_a_factbook_2_2010__1->n42_a_factbook_2_2010__1_3 n42_a_factbook_2_2010__1_4 PUNC n42_a_factbook_2_2010__1->n42_a_factbook_2_2010__1_4 n42_a_factbook_2_2010__1_1_1 NPR n42_a_factbook_2_2010__1_1->n42_a_factbook_2_2010__1_1_1 n42_a_factbook_2_2010__1_1_2 NPR n42_a_factbook_2_2010__1_1->n42_a_factbook_2_2010__1_1_2 n42_a_factbook_2_2010__1_1_1->n42_a_factbook_2_2010__1_1_1_1 n42_a_factbook_2_2010__1_1_2->n42_a_factbook_2_2010__1_1_2_1 n42_a_factbook_2_2010__1_2->n42_a_factbook_2_2010__1_2_1 n42_a_factbook_2_2010__1_3_1 NLYR n42_a_factbook_2_2010__1_3->n42_a_factbook_2_2010__1_3_1 n42_a_factbook_2_2010__1_3_1_1 NLYR n42_a_factbook_2_2010__1_3_1->n42_a_factbook_2_2010__1_3_1_1 n42_a_factbook_2_2010__1_3_1_2 PUNC n42_a_factbook_2_2010__1_3_1->n42_a_factbook_2_2010__1_3_1_2 n42_a_factbook_2_2010__1_3_1_3 CONJP n42_a_factbook_2_2010__1_3_1->n42_a_factbook_2_2010__1_3_1_3 n42_a_factbook_2_2010__1_3_1_1_1 D n42_a_factbook_2_2010__1_3_1_1->n42_a_factbook_2_2010__1_3_1_1_1 n42_a_factbook_2_2010__1_3_1_1_2 N n42_a_factbook_2_2010__1_3_1_1->n42_a_factbook_2_2010__1_3_1_1_2 n42_a_factbook_2_2010__1_3_1_1_3 PP n42_a_factbook_2_2010__1_3_1_1->n42_a_factbook_2_2010__1_3_1_1_3 n42_a_factbook_2_2010__1_3_1_1_1->n42_a_factbook_2_2010__1_3_1_1_1_1 n42_a_factbook_2_2010__1_3_1_1_2->n42_a_factbook_2_2010__1_3_1_1_2_1 n42_a_factbook_2_2010__1_3_1_1_3_1 P-ROLE n42_a_factbook_2_2010__1_3_1_1_3->n42_a_factbook_2_2010__1_3_1_1_3_1 n42_a_factbook_2_2010__1_3_1_1_3_2 NP n42_a_factbook_2_2010__1_3_1_1_3->n42_a_factbook_2_2010__1_3_1_1_3_2 n42_a_factbook_2_2010__1_3_1_1_3_1->n42_a_factbook_2_2010__1_3_1_1_3_1_1 n42_a_factbook_2_2010__1_3_1_1_3_2_1 D n42_a_factbook_2_2010__1_3_1_1_3_2->n42_a_factbook_2_2010__1_3_1_1_3_2_1 n42_a_factbook_2_2010__1_3_1_1_3_2_2 ADJP n42_a_factbook_2_2010__1_3_1_1_3_2->n42_a_factbook_2_2010__1_3_1_1_3_2_2 n42_a_factbook_2_2010__1_3_1_1_3_2_3 N n42_a_factbook_2_2010__1_3_1_1_3_2->n42_a_factbook_2_2010__1_3_1_1_3_2_3 n42_a_factbook_2_2010__1_3_1_1_3_2_1->n42_a_factbook_2_2010__1_3_1_1_3_2_1_1 n42_a_factbook_2_2010__1_3_1_1_3_2_2_1 ADJ n42_a_factbook_2_2010__1_3_1_1_3_2_2->n42_a_factbook_2_2010__1_3_1_1_3_2_2_1 n42_a_factbook_2_2010__1_3_1_1_3_2_2_1->n42_a_factbook_2_2010__1_3_1_1_3_2_2_1_1 n42_a_factbook_2_2010__1_3_1_1_3_2_3->n42_a_factbook_2_2010__1_3_1_1_3_2_3_1 n42_a_factbook_2_2010__1_3_1_2->n42_a_factbook_2_2010__1_3_1_2_1 n42_a_factbook_2_2010__1_3_1_3_1 CONJ n42_a_factbook_2_2010__1_3_1_3->n42_a_factbook_2_2010__1_3_1_3_1 n42_a_factbook_2_2010__1_3_1_3_2 NLYR n42_a_factbook_2_2010__1_3_1_3->n42_a_factbook_2_2010__1_3_1_3_2 n42_a_factbook_2_2010__1_3_1_3_1->n42_a_factbook_2_2010__1_3_1_3_1_1 n42_a_factbook_2_2010__1_3_1_3_2_1 D n42_a_factbook_2_2010__1_3_1_3_2->n42_a_factbook_2_2010__1_3_1_3_2_1 n42_a_factbook_2_2010__1_3_1_3_2_2 N n42_a_factbook_2_2010__1_3_1_3_2->n42_a_factbook_2_2010__1_3_1_3_2_2 n42_a_factbook_2_2010__1_3_1_3_2_3 PP n42_a_factbook_2_2010__1_3_1_3_2->n42_a_factbook_2_2010__1_3_1_3_2_3 n42_a_factbook_2_2010__1_3_1_3_2_1->n42_a_factbook_2_2010__1_3_1_3_2_1_1 n42_a_factbook_2_2010__1_3_1_3_2_2->n42_a_factbook_2_2010__1_3_1_3_2_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_1 P-ROLE n42_a_factbook_2_2010__1_3_1_3_2_3->n42_a_factbook_2_2010__1_3_1_3_2_3_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2 NP n42_a_factbook_2_2010__1_3_1_3_2_3->n42_a_factbook_2_2010__1_3_1_3_2_3_2 n42_a_factbook_2_2010__1_3_1_3_2_3_1->n42_a_factbook_2_2010__1_3_1_3_2_3_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1 NLYR n42_a_factbook_2_2010__1_3_1_3_2_3_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2 IP-PPL n42_a_factbook_2_2010__1_3_1_3_2_3_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1 NLYR n42_a_factbook_2_2010__1_3_1_3_2_3_2_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2 CONJP n42_a_factbook_2_2010__1_3_1_3_2_3_2_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1_1 ADJP n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1_2 NS n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1_2 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1_1_1 ADJ n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1_1_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1_1_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_1_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_1 CONJ n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2 NLYR n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2_1 N n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2_2 NS n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2_2 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_1_2_2_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_1 VVN;_Cn.n/a_ n42_a_factbook_2_2010__1_3_1_3_2_3_2_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2 PP-PRD n42_a_factbook_2_2010__1_3_1_3_2_3_2_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3 PP-LGS n42_a_factbook_2_2010__1_3_1_3_2_3_2_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4 PP-NIM n42_a_factbook_2_2010__1_3_1_3_2_3_2_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_1 P-ROLE n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2 ADJP n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2_1 ADVP n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2_2 ADJ n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2_2 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2_1_1 ADV n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2_1_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2_1_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_2_2_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3_1 P-ROLE;_lgs_ n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3_2 NP n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3_2 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3_2_1 NS n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3_2_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_3_2_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_1 P-ROLE n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2 NP n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_1 NP-GEN n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_2 NS n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_2 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3 PP n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_1_1 PRO;_genm_ n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_1_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_1_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3_1 P-ROLE n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3_2 NP n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3_2 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3_1_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3_2_1 PNX n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3_2->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3_2_1 n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3_2_1->n42_a_factbook_2_2010__1_3_1_3_2_3_2_2_4_2_3_2_1_1 n42_a_factbook_2_2010__1_4->n42_a_factbook_2_2010__1_4_1
( (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})
                                                           (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))



%3 z_0042_5016 r_0042_0011__or or z_0042_5016->r_0042_0011__or [prd] r_0042_0001__International_r_0042_0002__Law International Law z_0042_5016->r_0042_0001__International_r_0042_0002__Law [arg0] r_0042_0012__the_r_0042_0013__body the body r_0042_0011__or->r_0042_0012__the_r_0042_0013__body [conj2] r_0042_0004__The_r_0042_0005__law The law r_0042_0011__or->r_0042_0004__The_r_0042_0005__law [conj1] r_0042_0028__relations relations r_0042_0030__each_other each_other r_0042_0028__relations->r_0042_0030__each_other with r_0042_0027__their their r_0042_0028__relations->r_0042_0027__their [gen] r_0042_0023__binding binding r_0042_0022__legally legally r_0042_0023__binding->r_0042_0022__legally [qual] r_0042_0020__accepted accepted r_0042_0020__accepted->r_0042_0028__relations in [nim] r_0042_0020__accepted->r_0042_0023__binding as [prd] r_0042_0025__states states r_0042_0020__accepted->r_0042_0025__states [by_arg0] r_0042_0017__and and r_0042_0020__accepted->r_0042_0017__and [inv_arg1] r_0042_0018__treaty_r_0042_0019__rules treaty rules r_0042_0017__and->r_0042_0018__treaty_r_0042_0019__rules [conj2] r_0042_0016__rules rules r_0042_0017__and->r_0042_0016__rules [conj1] r_0042_0015__customary customary r_0042_0016__rules->r_0042_0015__customary [attrib] r_0042_0012__the_r_0042_0013__body->r_0042_0017__and of r_0042_0007__the_r_0042_0009__community the community r_0042_0004__The_r_0042_0005__law->r_0042_0007__the_r_0042_0009__community of r_0042_0008__international international r_0042_0007__the_r_0042_0009__community->r_0042_0008__international [attrib]
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,attrib).
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,attrib).
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,inv_arg1).
arc(r_0042_0020__accepted,r_0042_0023__binding,r_0042_0021__as__prd).
arc(r_0042_0020__accepted,r_0042_0025__states,r_0042_0024__by_arg0).
arc(r_0042_0020__accepted,r_0042_0028__relations,r_0042_0026__in__nim).
arc(r_0042_0023__binding,r_0042_0022__legally,qual).
arc(r_0042_0028__relations,r_0042_0027__their,gen).
arc(r_0042_0028__relations,r_0042_0030__each_other,r_0042_0029__with).
arc(z_0042_5016,r_0042_0001__International_r_0042_0002__Law,arg0).
arc(z_0042_5016,r_0042_0011__or,prd).



%3 r_0042_0004__The_r_0042_0005__law The law r_0042_0007__the_r_0042_0009__community the community r_0042_0004__The_r_0042_0005__law->r_0042_0007__the_r_0042_0009__community of r_0042_0008__international international r_0042_0007__the_r_0042_0009__community->r_0042_0008__international [attrib] r_0042_0011__or or r_0042_0011__or->r_0042_0004__The_r_0042_0005__law [conj1] r_0042_0012__the_r_0042_0013__body the body r_0042_0011__or->r_0042_0012__the_r_0042_0013__body [conj2] r_0042_0017__and and r_0042_0012__the_r_0042_0013__body->r_0042_0017__and of r_0042_0016__rules rules r_0042_0017__and->r_0042_0016__rules [conj1] r_0042_0018__treaty_r_0042_0019__rules treaty rules r_0042_0017__and->r_0042_0018__treaty_r_0042_0019__rules [conj2] r_0042_0020__accepted accepted r_0042_0017__and->r_0042_0020__accepted [inv_arg1] r_0042_0015__customary customary r_0042_0016__rules->r_0042_0015__customary [attrib] r_0042_0023__binding binding r_0042_0020__accepted->r_0042_0023__binding as [prd] r_0042_0025__states states r_0042_0020__accepted->r_0042_0025__states [by_arg0] r_0042_0028__relations relations r_0042_0020__accepted->r_0042_0028__relations in [nim] r_0042_0022__legally legally r_0042_0023__binding->r_0042_0022__legally [qual] r_0042_0027__their their r_0042_0028__relations->r_0042_0027__their [gen] r_0042_0030__each_other each_other r_0042_0028__relations->r_0042_0030__each_other with z_0042_5016 z_0042_5016->r_0042_0011__or [prd] r_0042_0001__International_r_0042_0002__Law International Law z_0042_5016->r_0042_0001__International_r_0042_0002__Law [arg0]
fof(formula,axiom,
    ? [R_0042_0001__INTERNATIONAL_R_0042_0002__LAW,R_0042_0008__INTERNATIONAL,R_0042_0007__THE_R_0042_0009__COMMUNITY,R_0042_0004__THE_R_0042_0005__LAW,R_0042_0015__CUSTOMARY,R_0042_0016__RULES,R_0042_0018__TREATY_R_0042_0019__RULES,R_0042_0022__LEGALLY,R_0042_0023__BINDING,R_0042_0025__STATES,R_0042_0027__THEIR,R_0042_0030__EACH_OTHER,R_0042_0028__RELATIONS,R_0042_0020__ACCEPTED,R_0042_0017__AND,R_0042_0012__THE_R_0042_0013__BODY,R_0042_0011__OR,Z_0042_5016] :
      ( r_0042_0001__International_r_0042_0002__Law(R_0042_0001__INTERNATIONAL_R_0042_0002__LAW)
      & r_0042_0008__international(R_0042_0008__INTERNATIONAL)
      & r_0042_0015__customary(R_0042_0015__CUSTOMARY)
      & r_0042_0018__treaty_r_0042_0019__rules(R_0042_0018__TREATY_R_0042_0019__RULES)
      & r_0042_0022__legally(R_0042_0022__LEGALLY)
      & r_0042_0025__states(R_0042_0025__STATES)
      & r_0042_0027__their(R_0042_0027__THEIR)
      & r_0042_0030__each_other(R_0042_0030__EACH_OTHER)
      & z_0042_5016(Z_0042_5016)
      & has_prd(Z_0042_5016,R_0042_0011__OR)
      & r_0042_0011__or(R_0042_0011__OR)
      & has_conj2(R_0042_0011__OR,R_0042_0012__THE_R_0042_0013__BODY)
      & r_0042_0012__the_r_0042_0013__body(R_0042_0012__THE_R_0042_0013__BODY)
      & has_r_0042_0014__of(R_0042_0012__THE_R_0042_0013__BODY,R_0042_0017__AND)
      & r_0042_0017__and(R_0042_0017__AND)
      & has_inv_arg1(R_0042_0017__AND,R_0042_0020__ACCEPTED)
      & r_0042_0020__accepted(R_0042_0020__ACCEPTED)
      & has_r_0042_0026__in__nim(R_0042_0020__ACCEPTED,R_0042_0028__RELATIONS)
      & r_0042_0028__relations(R_0042_0028__RELATIONS)
      & has_r_0042_0029__with(R_0042_0028__RELATIONS,R_0042_0030__EACH_OTHER)
      & has_gen(R_0042_0028__RELATIONS,R_0042_0027__THEIR)
      & has_r_0042_0024__by_arg0(R_0042_0020__ACCEPTED,R_0042_0025__STATES)
      & has_r_0042_0021__as__prd(R_0042_0020__ACCEPTED,R_0042_0023__BINDING)
      & r_0042_0023__binding(R_0042_0023__BINDING)
      & has_qual(R_0042_0023__BINDING,R_0042_0022__LEGALLY)
      & has_conj2(R_0042_0017__AND,R_0042_0018__TREATY_R_0042_0019__RULES)
      & has_conj1(R_0042_0017__AND,R_0042_0016__RULES)
      & r_0042_0016__rules(R_0042_0016__RULES)
      & has_attrib(R_0042_0016__RULES,R_0042_0015__CUSTOMARY)
      & has_conj1(R_0042_0011__OR,R_0042_0004__THE_R_0042_0005__LAW)
      & r_0042_0004__The_r_0042_0005__law(R_0042_0004__THE_R_0042_0005__LAW)
      & has_r_0042_0006__of(R_0042_0004__THE_R_0042_0005__LAW,R_0042_0007__THE_R_0042_0009__COMMUNITY)
      & r_0042_0007__the_r_0042_0009__community(R_0042_0007__THE_R_0042_0009__COMMUNITY)
      & has_attrib(R_0042_0007__THE_R_0042_0009__COMMUNITY,R_0042_0008__INTERNATIONAL)
      & has_arg0(Z_0042_5016,R_0042_0001__INTERNATIONAL_R_0042_0002__LAW) ) ).