43_a_factbook_2_2010
International law differs from other legal systems in that it primarily concerns sovereign political entities.
arc(r_0043_0002__law, r_0043_0001__International, attrib3).
arc(r_0043_0003__differs, r_0043_0002__law, arg0).
arc(r_0043_0003__differs, r_0043_0007__systems, r_0043_0004__from_clr13).
arc(r_0043_0007__systems, r_0043_0005__other, attrib14).
arc(r_0043_0007__systems, r_0043_0006__legal, attrib17).
arc(r_0043_0008__in_that, r_0043_0003__differs, scope).
arc(r_0043_0008__in_that, r_0043_0011__concerns, restriction).
arc(r_0043_0011__concerns, r_0043_0002__law, arg0).
arc(r_0043_0011__concerns, r_0043_0010__primarily, nim29).
arc(r_0043_0011__concerns, r_0043_0014__entities, arg1).
arc(r_0043_0014__entities, r_0043_0012__sovereign, attrib35).
arc(r_0043_0014__entities, r_0043_0013__political, attrib38).
fof(formula,axiom,
? [R_43_8_IN_THAT,R_43_11_CONCERNS,R_43_14_ENTITIES,R_43_12_SOVEREIGN,R_43_13_POLITICAL,R_43_10_PRIMARILY,R_43_3_DIFFERS,R_43_2_LAW,R_43_1_INTERNATIONAL,R_43_7_SYSTEMS,R_43_5_OTHER,R_43_6_LEGAL] :
( sovereign(R_43_12_SOVEREIGN)
& political(R_43_13_POLITICAL)
& primarily(R_43_10_PRIMARILY)
& international(R_43_1_INTERNATIONAL)
& other(R_43_5_OTHER)
& legal(R_43_6_LEGAL)
& in_that(R_43_8_IN_THAT)
& conj1(R_43_8_IN_THAT,R_43_11_CONCERNS)
& concerns(R_43_11_CONCERNS,R_43_2_LAW,R_43_14_ENTITIES)
& law(R_43_2_LAW)
& attrib3(R_43_2_LAW,R_43_1_INTERNATIONAL)
& entities(R_43_14_ENTITIES)
& attrib35(R_43_14_ENTITIES,R_43_12_SOVEREIGN)
& attrib38(R_43_14_ENTITIES,R_43_13_POLITICAL)
& nim29(R_43_11_CONCERNS,R_43_10_PRIMARILY)
& conj2(R_43_8_IN_THAT,R_43_3_DIFFERS)
& differs(R_43_3_DIFFERS,R_43_2_LAW)
& from_clr13(R_43_3_DIFFERS,R_43_7_SYSTEMS)
& systems(R_43_7_SYSTEMS)
& attrib14(R_43_7_SYSTEMS,R_43_5_OTHER)
& attrib17(R_43_7_SYSTEMS,R_43_6_LEGAL) ) ).
( (IP-MAT (NP-SBJ;{INTERNATIONAL_LAW} (ADJP (ADJ International;{international}))
(N law;{law}))
(VBP;_Ipr_ differs;{differ[from]})
(PP-CLR (P-ROLE from;{from})
(NP (ADJP (ADJ other;{other}))
(ADJP (ADJ legal;{legal}))
(NS systems;{system})))
(PP-SCON (P-CONN in_that;{in_that})
(IP-ADV (NP-SBJ;{INTERNATIONAL_LAW} (PRO it;{it}))
(ADVP-NIM (ADV primarily;{primarily}))
(VBP;_Tn_ concerns;{concern})
(NP-OB1 (ADJP (ADJ sovereign;{sovereign}))
(ADJP (ADJ political;{political}))
(NS entities;{entity}))))
(PUNC .))
(ID 43_a_factbook_2_2010))