TSPC 108_a_factbook_2

108_a_factbook_2_2010
Case law is a collection of judicial decisions, customs, and general principles that began in England centuries ago, that were adopted in America at the time of the Revolution, and that continue to develop today.

arc(r_0108_0003__is, r_0108_0001__Case_r_0108_0002__law, arg0).
arc(r_0108_0003__is, r_0108_0004__a_r_0108_0005__collection, prd).
arc(r_0108_0004__a_r_0108_0005__collection, r_0108_0012__and, r_0108_0006__of).
arc(r_0108_0008__decisions, r_0108_0007__judicial, attrib20).
arc(r_0108_0012__and, r_0108_0008__decisions, conj1).
arc(r_0108_0012__and, r_0108_0010__customs, conj2).
arc(r_0108_0012__and, r_0108_0014__principles, conj3).
arc(r_0108_0014__principles, r_0108_0013__general, attrib37).
arc(r_0108_0015__that_r_0108_0016__began, r_0108_0004__a_r_0108_0005__collection, arg0).
arc(r_0108_0015__that_r_0108_0016__began, r_0108_0018__England, r_0108_0017__in_nim54).
arc(r_0108_0015__that_r_0108_0016__began, r_0108_0020__ago, nim57).
arc(r_0108_0020__ago, r_0108_0019__centuries, nim58).
arc(r_0108_0022__that_r_0108_0023__were, r_0108_0024__adopted, scope).
arc(r_0108_0024__adopted, r_0108_0004__a_r_0108_0005__collection, arg1).
arc(r_0108_0024__adopted, r_0108_0026__America, r_0108_0025__in_nim81).
arc(r_0108_0024__adopted, r_0108_0028__the_r_0108_0029__time, r_0108_0027__at_nim87).
arc(r_0108_0024__adopted, z_000_108_a_factbook_2_2010_74, arg0).
arc(r_0108_0028__the_r_0108_0029__time, r_0108_0031__the_r_0108_0032__Revolution, r_0108_0030__of).
arc(r_0108_0034__and, r_0108_0015__that_r_0108_0016__began, conj1).
arc(r_0108_0034__and, r_0108_0022__that_r_0108_0023__were, conj2).
arc(r_0108_0034__and, r_0108_0035__that_r_0108_0036__continue, conj3).
arc(r_0108_0035__that_r_0108_0036__continue, r_0108_0037__to_r_0108_0038__develop, scope).
arc(r_0108_0037__to_r_0108_0038__develop, r_0108_0004__a_r_0108_0005__collection, arg0).
arc(r_0108_0037__to_r_0108_0038__develop, r_0108_0039__today, nim117).

fof(formula,axiom,
    ? [R_0108_0001__CASE_R_0108_0002__LAW,R_0108_0007__JUDICIAL,R_0108_0008__DECISIONS,R_0108_0010__CUSTOMS,R_0108_0013__GENERAL,R_0108_0014__PRINCIPLES,R_0108_0012__AND,R_0108_0004__A_R_0108_0005__COLLECTION,R_0108_0003__IS,R_0108_0018__ENGLAND,R_0108_0019__CENTURIES,R_0108_0020__AGO,R_0108_0015__THAT_R_0108_0016__BEGAN,R_0108_0026__AMERICA,R_0108_0031__THE_R_0108_0032__REVOLUTION,R_0108_0028__THE_R_0108_0029__TIME,Z_000_108_A_FACTBOOK_2_2010_74,R_0108_0022__THAT_R_0108_0023__WERE_R_0108_0024__ADOPTED,R_0108_0039__TODAY,R_0108_0035__THAT_R_0108_0036__CONTINUE_R_0108_0037__TO_R_0108_0038__DEVELOP,R_0108_0034__AND] :
      ( r_0108_0001__Case_r_0108_0002__law(R_0108_0001__CASE_R_0108_0002__LAW)
      & r_0108_0007__judicial(R_0108_0007__JUDICIAL)
      & r_0108_0010__customs(R_0108_0010__CUSTOMS)
      & r_0108_0013__general(R_0108_0013__GENERAL)
      & r_0108_0018__England(R_0108_0018__ENGLAND)
      & r_0108_0019__centuries(R_0108_0019__CENTURIES)
      & r_0108_0026__America(R_0108_0026__AMERICA)
      & r_0108_0031__the_r_0108_0032__Revolution(R_0108_0031__THE_R_0108_0032__REVOLUTION)
      & r_0108_0039__today(R_0108_0039__TODAY)
      & z_000_108_a_factbook_2_2010_74(Z_000_108_A_FACTBOOK_2_2010_74)
      & r_0108_0034__and(R_0108_0034__AND)
      & has_conj3(R_0108_0034__AND,R_0108_0035__THAT_R_0108_0036__CONTINUE_R_0108_0037__TO_R_0108_0038__DEVELOP)
      & r_0108_0035__that_r_0108_0036__continue_r_0108_0037__to_r_0108_0038__develop(R_0108_0035__THAT_R_0108_0036__CONTINUE_R_0108_0037__TO_R_0108_0038__DEVELOP)
      & has_nim117(R_0108_0035__THAT_R_0108_0036__CONTINUE_R_0108_0037__TO_R_0108_0038__DEVELOP,R_0108_0039__TODAY)
      & has_arg0(R_0108_0035__THAT_R_0108_0036__CONTINUE_R_0108_0037__TO_R_0108_0038__DEVELOP,R_0108_0004__A_R_0108_0005__COLLECTION)
      & r_0108_0004__a_r_0108_0005__collection(R_0108_0004__A_R_0108_0005__COLLECTION)
      & has_r_0108_0006__of(R_0108_0004__A_R_0108_0005__COLLECTION,R_0108_0012__AND)
      & r_0108_0012__and(R_0108_0012__AND)
      & has_conj3(R_0108_0012__AND,R_0108_0014__PRINCIPLES)
      & r_0108_0014__principles(R_0108_0014__PRINCIPLES)
      & has_attrib37(R_0108_0014__PRINCIPLES,R_0108_0013__GENERAL)
      & has_conj2(R_0108_0012__AND,R_0108_0010__CUSTOMS)
      & has_conj1(R_0108_0012__AND,R_0108_0008__DECISIONS)
      & r_0108_0008__decisions(R_0108_0008__DECISIONS)
      & has_attrib20(R_0108_0008__DECISIONS,R_0108_0007__JUDICIAL)
      & has_conj2(R_0108_0034__AND,R_0108_0022__THAT_R_0108_0023__WERE_R_0108_0024__ADOPTED)
      & r_0108_0022__that_r_0108_0023__were_r_0108_0024__adopted(R_0108_0022__THAT_R_0108_0023__WERE_R_0108_0024__ADOPTED)
      & has_arg0(R_0108_0022__THAT_R_0108_0023__WERE_R_0108_0024__ADOPTED,Z_000_108_A_FACTBOOK_2_2010_74)
      & has_r_0108_0027__at_nim87(R_0108_0022__THAT_R_0108_0023__WERE_R_0108_0024__ADOPTED,R_0108_0028__THE_R_0108_0029__TIME)
      & r_0108_0028__the_r_0108_0029__time(R_0108_0028__THE_R_0108_0029__TIME)
      & has_r_0108_0030__of(R_0108_0028__THE_R_0108_0029__TIME,R_0108_0031__THE_R_0108_0032__REVOLUTION)
      & has_r_0108_0025__in_nim81(R_0108_0022__THAT_R_0108_0023__WERE_R_0108_0024__ADOPTED,R_0108_0026__AMERICA)
      & has_arg1(R_0108_0022__THAT_R_0108_0023__WERE_R_0108_0024__ADOPTED,R_0108_0004__A_R_0108_0005__COLLECTION)
      & has_conj1(R_0108_0034__AND,R_0108_0015__THAT_R_0108_0016__BEGAN)
      & r_0108_0015__that_r_0108_0016__began(R_0108_0015__THAT_R_0108_0016__BEGAN)
      & has_nim57(R_0108_0015__THAT_R_0108_0016__BEGAN,R_0108_0020__AGO)
      & r_0108_0020__ago(R_0108_0020__AGO)
      & has_nim58(R_0108_0020__AGO,R_0108_0019__CENTURIES)
      & has_r_0108_0017__in_nim54(R_0108_0015__THAT_R_0108_0016__BEGAN,R_0108_0018__ENGLAND)
      & has_arg0(R_0108_0015__THAT_R_0108_0016__BEGAN,R_0108_0004__A_R_0108_0005__COLLECTION)
      & r_0108_0003__is(R_0108_0003__IS)
      & has_prd(R_0108_0003__IS,R_0108_0004__A_R_0108_0005__COLLECTION)
      & has_arg0(R_0108_0003__IS,R_0108_0001__CASE_R_0108_0002__LAW) ) ).

( (IP-MAT (NP-SBJ;{CASE_LAW} (N Case;{case})
                             (N law;{law}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (N collection;{collection})
                  (PP (P-ROLE of;{of})
                      (NP (NLYR (NLYR (ADJP (ADJ judicial;{judicial}))
                                      (NS decisions;{decision}))
                                (PUNC ,)
                                (CONJP (NLYR (NS customs;{custom})))
                                (PUNC ,)
                                (CONJP (CONJ and;{and})
                                       (NLYR (ADJP (ADJ general;{general}))
                                             (NS principles;{principle}))))))
                  (IP-REL (ILYR (ILYR (C that;{that})
                                      (NP-SBJ *T*)
                                      (VBD;__ began;{begin})
                                      (PP-NIM (P-ROLE in;{in})
                                              (NP (NPR England;{England})))
                                      (ADVP-NIM (NP (NS centuries;{century}))
                                                (ADV ago;{ago})))
                                (PUNC ,)
                                (CONJP (ILYR (C that;{that})
                                             (NP-SBJ *T*)
                                             (BED;_cat_VePASS_ were;{be})
                                             (IP-PPL-CAT (NP-LGS *)
                                                         (VVN;__ adopted;{adopt})
                                                         (PP-NIM (P-ROLE in;{in})
                                                                 (NP (NPR America;{America})))
                                                         (PP-NIM (P-ROLE at;{at})
                                                                 (NP (D the;{the})
                                                                     (N time;{time})
                                                                     (PP (P-ROLE of;{of})
                                                                         (NP (D the;{the})
                                                                             (N Revolution;{revolution}))))))))
                                (PUNC ,)
                                (CONJP (CONJ and;{and})
                                       (ILYR (C that;{that})
                                             (NP-SBJ *T*)
                                             (VBP;_cat_Vt_ continue;{continue})
                                             (IP-INF-CAT (TO to;{to})
                                                         (VB;__ develop;{develop})
                                                         (ADVP-NIM (ADV today;{today}))))))))
          (PUNC .))
  (ID 108_a_factbook_2_2010))