( (IP-MAT (ILYR (ILYR (NP-SBJ;{ENTRY} (D This;{this})
                                      (N entry;{entry}))
                      (VBP;_Tn_ provides;{provide})
                      (NP-OB1 (D the;{the})
                              (N description;{description})
                              (PP (P-ROLE of;{of})
                                  (NP (NP-GEN (D a;{a})
                                              (N country;{country})
                                              (GENM <apos>s))
                                      (ADJP (ADJ legal;{legal}))
                                      (N system;{system})))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{ENTRY} (PRO it;{it}))
                             (ADVP-NIM (ADV also;{also}))
                             (VBP;_Tn_ includes;{include})
                             (NP-OB1 (N information;{information})
                                     (PP (P-ROLE on;{on})
                                         (NP (N acceptance;{acceptance})
                                             (PP (P-ROLE of;{of})
                                                 (NP (NLYR (N International;{international})
                                                           (N Court;{court})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (N Justice;{justice})))
                                                           (PRN (NP (PULB -LRB-)
                                                                    (NPR ICJ;{ICJ})
                                                                    (PURB -RRB-))))
                                                     (N jurisdiction;{jurisdiction})))))))))
          (PUNC .))
  (ID 2_a_factbook_2_2010))

arc(r_0002_0003__provides,r_0002_0001__This_r_0002_0002__entry,arg0).
arc(r_0002_0003__provides,r_0002_0004__the_r_0002_0005__description,arg1).
arc(r_0002_0004__the_r_0002_0005__description,r_0002_0011__system,r_0002_0006__of).
arc(r_0002_0011__system,r_0002_0007__a_r_0002_0008__country,gen).
arc(r_0002_0011__system,r_0002_0010__legal,attrib).
arc(r_0002_0015__includes,r_0002_0001__This_r_0002_0002__entry,arg0).
arc(r_0002_0015__includes,r_0002_0014__also,nim).
arc(r_0002_0015__includes,r_0002_0016__information,arg1).
arc(r_0002_0016__information,r_0002_0018__acceptance,r_0002_0017__on).
arc(r_0002_0018__acceptance,r_0002_0027__jurisdiction,r_0002_0019__of).
arc(r_0002_0020__International_r_0002_0021__Court,r_0002_0023__Justice,r_0002_0022__of).
arc(r_0002_0027__jurisdiction,r_0002_0020__International_r_0002_0021__Court,nim).
arc(z_0002_5001,r_0002_0003__provides,conj1).
arc(z_0002_5001,r_0002_0015__includes,conj2).
arc(z_0002_5014,r_0002_0020__International_r_0002_0021__Court,arg0).
arc(z_0002_5014,r_0002_0025__ICJ,prd).

fof(formula,axiom,
    ? [R_0002_0001__THIS_R_0002_0002__ENTRY,R_0002_0007__A_R_0002_0008__COUNTRY,R_0002_0010__LEGAL,R_0002_0011__SYSTEM,R_0002_0004__THE_R_0002_0005__DESCRIPTION,R_0002_0003__PROVIDES,R_0002_0014__ALSO,R_0002_0023__JUSTICE,R_0002_0020__INTERNATIONAL_R_0002_0021__COURT,R_0002_0027__JURISDICTION,R_0002_0018__ACCEPTANCE,R_0002_0016__INFORMATION,R_0002_0015__INCLUDES,Z_0002_5001,R_0002_0025__ICJ,Z_0002_5014] :
      ( r_0002_0001__This_r_0002_0002__entry(R_0002_0001__THIS_R_0002_0002__ENTRY)
      & r_0002_0007__a_r_0002_0008__country(R_0002_0007__A_R_0002_0008__COUNTRY)
      & r_0002_0010__legal(R_0002_0010__LEGAL)
      & r_0002_0014__also(R_0002_0014__ALSO)
      & r_0002_0023__Justice(R_0002_0023__JUSTICE)
      & r_0002_0025__ICJ(R_0002_0025__ICJ)
      & z_0002_5014(Z_0002_5014)
      & has_prd(Z_0002_5014,R_0002_0025__ICJ)
      & has_arg0(Z_0002_5014,R_0002_0020__INTERNATIONAL_R_0002_0021__COURT)
      & r_0002_0020__International_r_0002_0021__Court(R_0002_0020__INTERNATIONAL_R_0002_0021__COURT)
      & has_r_0002_0022__of(R_0002_0020__INTERNATIONAL_R_0002_0021__COURT,R_0002_0023__JUSTICE)
      & z_0002_5001(Z_0002_5001)
      & has_conj2(Z_0002_5001,R_0002_0015__INCLUDES)
      & r_0002_0015__includes(R_0002_0015__INCLUDES)
      & has_arg1(R_0002_0015__INCLUDES,R_0002_0016__INFORMATION)
      & r_0002_0016__information(R_0002_0016__INFORMATION)
      & has_r_0002_0017__on(R_0002_0016__INFORMATION,R_0002_0018__ACCEPTANCE)
      & r_0002_0018__acceptance(R_0002_0018__ACCEPTANCE)
      & has_r_0002_0019__of(R_0002_0018__ACCEPTANCE,R_0002_0027__JURISDICTION)
      & r_0002_0027__jurisdiction(R_0002_0027__JURISDICTION)
      & has_nim(R_0002_0027__JURISDICTION,R_0002_0020__INTERNATIONAL_R_0002_0021__COURT)
      & has_nim(R_0002_0015__INCLUDES,R_0002_0014__ALSO)
      & has_arg0(R_0002_0015__INCLUDES,R_0002_0001__THIS_R_0002_0002__ENTRY)
      & has_conj1(Z_0002_5001,R_0002_0003__PROVIDES)
      & r_0002_0003__provides(R_0002_0003__PROVIDES)
      & has_arg1(R_0002_0003__PROVIDES,R_0002_0004__THE_R_0002_0005__DESCRIPTION)
      & r_0002_0004__the_r_0002_0005__description(R_0002_0004__THE_R_0002_0005__DESCRIPTION)
      & has_r_0002_0006__of(R_0002_0004__THE_R_0002_0005__DESCRIPTION,R_0002_0011__SYSTEM)
      & r_0002_0011__system(R_0002_0011__SYSTEM)
      & has_attrib(R_0002_0011__SYSTEM,R_0002_0010__LEGAL)
      & has_gen(R_0002_0011__SYSTEM,R_0002_0007__A_R_0002_0008__COUNTRY)
      & has_arg0(R_0002_0003__PROVIDES,R_0002_0001__THIS_R_0002_0002__ENTRY) ) ).