arc(r_0017_0002__the_r_0017_0005__law_r_0017_0006__system, r_0017_0003__English, attrib8).
arc(r_0017_0002__the_r_0017_0005__law_r_0017_0006__system, r_0017_0004__common, attrib11).
arc(r_0017_0010__are, r_0017_0002__the_r_0017_0005__law_r_0017_0006__system, r_0017_0001__In_nim5).
arc(r_0017_0010__are, r_0017_0011__bound, scope).
arc(r_0017_0011__bound, r_0017_0008__court_r_0017_0009__judges, arg1).
arc(r_0017_0011__bound, r_0017_0014__decisions, r_0017_0012__in_clr33).
arc(r_0017_0011__bound, r_0017_0017__part, r_0017_0015__in_nim42).
arc(r_0017_0011__bound, r_0017_0021__and, arg0).
arc(r_0017_0014__decisions, r_0017_0008__court_r_0017_0009__judges, gen).
arc(r_0017_0017__part, r_0017_0016__large, attrib43).
arc(r_0017_0021__and, r_0017_0019__the_r_0017_0020__rules, conj1).
arc(r_0017_0021__and, r_0017_0023__doctrines, conj2).
arc(r_0017_0023__doctrines, r_0017_0022__other, attrib62).
arc(r_0017_0024__developed, r_0017_0021__and, arg1).
arc(r_0017_0024__developed, z_000_17_a_factbook_2_2010_70, arg0).
arc(r_0017_0026__and, r_0017_0024__developed, conj1).
arc(r_0017_0026__and, r_0017_0027__supplemented, conj2).
arc(r_0017_0027__supplemented, r_0017_0021__and, arg1).
arc(r_0017_0027__supplemented, r_0017_0029__time, r_0017_0028__over_nim87).
arc(r_0017_0027__supplemented, z_000_17_a_factbook_2_2010_80, arg0).
arc(r_0017_0032__the_r_0017_0033__judges, r_0017_0037__courts, r_0017_0034__of).
arc(r_0017_0037__courts, r_0017_0035__earlier, attrib104).
arc(r_0017_0037__courts, r_0017_0036__English, attrib107).

fof(formula,axiom,
    ? [R_17_10_ARE_BOUND,R_17_2_THE_LAW_SYSTEM,R_17_4_COMMON,R_17_3_ENGLISH,R_17_14_DECISIONS,R_17_8_COURT_JUDGES,R_17_17_PART,R_17_16_LARGE,R_17_26_AND,R_17_24_DEVELOPED,Z_17_A_FACTBOOK_2_2010_70,R_17_27_SUPPLEMENTED,Z_17_A_FACTBOOK_2_2010_80,R_17_21_AND,R_17_19_THE_RULES,R_17_23_DOCTRINES,R_17_22_OTHER,R_17_29_TIME,R_17_32_THE_JUDGES,R_17_37_COURTS,R_17_35_EARLIER,R_17_36_ENGLISH] :
      ( common(R_17_4_COMMON)
      & english(R_17_3_ENGLISH)
      & court_judges(R_17_8_COURT_JUDGES)
      & large(R_17_16_LARGE)
      & the_rules(R_17_19_THE_RULES)
      & other(R_17_22_OTHER)
      & time(R_17_29_TIME)
      & earlier(R_17_35_EARLIER)
      & english(R_17_36_ENGLISH)
      & are_bound(R_17_10_ARE_BOUND,R_17_21_AND,R_17_8_COURT_JUDGES)
      & and(R_17_21_AND)
      & conj1(R_17_21_AND,R_17_19_THE_RULES)
      & conj2(R_17_21_AND,R_17_23_DOCTRINES)
      & doctrines(R_17_23_DOCTRINES)
      & attrib62(R_17_23_DOCTRINES,R_17_22_OTHER)
      & in_nim5(R_17_10_ARE_BOUND,R_17_2_THE_LAW_SYSTEM)
      & the_law_system(R_17_2_THE_LAW_SYSTEM)
      & attrib11(R_17_2_THE_LAW_SYSTEM,R_17_4_COMMON)
      & attrib8(R_17_2_THE_LAW_SYSTEM,R_17_3_ENGLISH)
      & in_clr33(R_17_10_ARE_BOUND,R_17_14_DECISIONS)
      & decisions(R_17_14_DECISIONS)
      & gen(R_17_14_DECISIONS,R_17_8_COURT_JUDGES)
      & in_nim42(R_17_10_ARE_BOUND,R_17_17_PART)
      & part(R_17_17_PART)
      & attrib43(R_17_17_PART,R_17_16_LARGE)
      & and(R_17_26_AND)
      & conj1(R_17_26_AND,R_17_24_DEVELOPED)
      & developed(R_17_24_DEVELOPED,Z_17_A_FACTBOOK_2_2010_70,R_17_21_AND)
      & conj2(R_17_26_AND,R_17_27_SUPPLEMENTED)
      & supplemented(R_17_27_SUPPLEMENTED,Z_17_A_FACTBOOK_2_2010_80,R_17_21_AND)
      & over_nim87(R_17_27_SUPPLEMENTED,R_17_29_TIME)
      & the_judges(R_17_32_THE_JUDGES)
      & of(R_17_32_THE_JUDGES,R_17_37_COURTS)
      & courts(R_17_37_COURTS)
      & attrib104(R_17_37_COURTS,R_17_35_EARLIER)
      & attrib107(R_17_37_COURTS,R_17_36_ENGLISH) ) ).

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D the;{the})
                      (ADJP (ADJ English;{english}))
                      (ADJP (ADJ common;{common}))
                      (N law;{law})
                      (N system;{system})))
          (PUNC ,)
          (NP-SBJ;{JUDGES} (N court;{court})
                           (NS judges;{judge}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (VVN;_Tn.pr_ bound;{bind[in]})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (NP-GEN;{JUDGES} (PRO;_genm_ their;{their}))
                                  (NS decisions;{decision})))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (ADJP (ADJ large;{large}))
                                  (N part;{part})))
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (NLYR (NLYR (D the;{the})
                                              (NS rules;{rule}))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (ADJP (ADJ other;{other}))
                                                     (NS doctrines;{doctrine}))))
                                  (IP-PPL (ILYR (ILYR (NP-LGS *)
                                                      (VVN;_Tn_ developed;{develop}))
                                                (PUNC <hyphen>)
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (NP-LGS *)
                                                             (VVN;_Tn_ supplemented;{supplement})
                                                             (PP-NIM (P-ROLE over;{over})
                                                                     (NP (N time;{time})))))
                                                (PUNC <hyphen>))
                                          (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                  (NP (D the;{the})
                                                      (NS judges;{judge})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (ADJP (ADJR earlier;{early}))
                                                              (ADJP (ADJ English;{english}))
                                                              (NS courts;{court})))))))))
          (PUNC .))
  (ID 17_a_factbook_2_2010))