TSPC 43_a_factbook_2

43_a_factbook_2_2010
International law differs from other legal systems in that it primarily concerns sovereign political entities.

( (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))

arc(r_0043_0002__law,r_0043_0001__International,attrib).
arc(r_0043_0003__differs_r_0043_0004__from,r_0043_0002__law,arg0).
arc(r_0043_0003__differs_r_0043_0004__from,r_0043_0007__systems,arg1).
arc(r_0043_0007__systems,r_0043_0005__other,attrib).
arc(r_0043_0007__systems,r_0043_0006__legal,attrib).
arc(r_0043_0008__in_that,r_0043_0003__differs_r_0043_0004__from,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,nim).
arc(r_0043_0011__concerns,r_0043_0014__entities,arg1).
arc(r_0043_0014__entities,r_0043_0012__sovereign,attrib).
arc(r_0043_0014__entities,r_0043_0013__political,attrib).

fof(formula,axiom,
    ? [R_0043_0001__INTERNATIONAL,R_0043_0002__LAW,R_0043_0005__OTHER,R_0043_0006__LEGAL,R_0043_0007__SYSTEMS,R_0043_0003__DIFFERS_R_0043_0004__FROM,R_0043_0010__PRIMARILY,R_0043_0012__SOVEREIGN,R_0043_0013__POLITICAL,R_0043_0014__ENTITIES,R_0043_0011__CONCERNS,R_0043_0008__IN_THAT] :
      ( r_0043_0001__International(R_0043_0001__INTERNATIONAL)
      & r_0043_0005__other(R_0043_0005__OTHER)
      & r_0043_0006__legal(R_0043_0006__LEGAL)
      & r_0043_0010__primarily(R_0043_0010__PRIMARILY)
      & r_0043_0012__sovereign(R_0043_0012__SOVEREIGN)
      & r_0043_0013__political(R_0043_0013__POLITICAL)
      & r_0043_0008__in_that(R_0043_0008__IN_THAT)
      & has_conj1(R_0043_0008__IN_THAT,R_0043_0011__CONCERNS)
      & r_0043_0011__concerns(R_0043_0011__CONCERNS)
      & has_arg1(R_0043_0011__CONCERNS,R_0043_0014__ENTITIES)
      & r_0043_0014__entities(R_0043_0014__ENTITIES)
      & has_attrib(R_0043_0014__ENTITIES,R_0043_0013__POLITICAL)
      & has_attrib(R_0043_0014__ENTITIES,R_0043_0012__SOVEREIGN)
      & has_nim(R_0043_0011__CONCERNS,R_0043_0010__PRIMARILY)
      & has_arg0(R_0043_0011__CONCERNS,R_0043_0002__LAW)
      & r_0043_0002__law(R_0043_0002__LAW)
      & has_attrib(R_0043_0002__LAW,R_0043_0001__INTERNATIONAL)
      & has_conj2(R_0043_0008__IN_THAT,R_0043_0003__DIFFERS_R_0043_0004__FROM)
      & r_0043_0003__differs_r_0043_0004__from(R_0043_0003__DIFFERS_R_0043_0004__FROM)
      & has_arg1(R_0043_0003__DIFFERS_R_0043_0004__FROM,R_0043_0007__SYSTEMS)
      & r_0043_0007__systems(R_0043_0007__SYSTEMS)
      & has_attrib(R_0043_0007__SYSTEMS,R_0043_0006__LEGAL)
      & has_attrib(R_0043_0007__SYSTEMS,R_0043_0005__OTHER)
      & has_arg0(R_0043_0003__DIFFERS_R_0043_0004__FROM,R_0043_0002__LAW) ) ).