TSPC 90_a_factbook_2

90_a_factbook_2_2010
The Christian Reconquest of Spain in the 11th through 15th centuries witnessed the development of customary law, which combined canon (religious) and Roman law.

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ Christian;{christian}))
                  (N Reconquest;{reconquest})
                  (PP (P-ROLE of;{of})
                      (NP (NPR Spain;{Spain})))
                  (PP (P-ROLE in;{in})
                      (NP (D the;{the})
                          (ADJP (ADJ 11th))))
                  (PP (P-ROLE through;{through})
                      (NP (ADJP (ADJ 15th))
                          (NS centuries;{century}))))
          (VBD;__ witnessed;{witness})
          (NP-OB1 (D the;{the})
                  (N development;{development})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ customary;{customary}))
                          (N law;{law})
                          (PUNC ,)
                          (IP-REL (NP-SBJ (RPRO which;{which}))
                                  (VBD;__ combined;{combine})
                                  (NP-OB1 (NLYR (NLYR (NPR canon;{canon})
                                                      (PULB -LRB-)
                                                      (ADJP (ADJ religious;{religious}))
                                                      (PURB -RRB-))
                                                (CONJP (CONJ and;{and})
                                                       (NLYR (ADJP (ADJ Roman;{roman}))
                                                             (N law;{law})))))))))
          (PUNC .))
  (ID 90_a_factbook_2_2010))

arc(r_0090_0001__The_r_0090_0003__Reconquest,r_0090_0002__Christian,attrib).
arc(r_0090_0001__The_r_0090_0003__Reconquest,r_0090_0005__Spain,r_0090_0004__of).
arc(r_0090_0001__The_r_0090_0003__Reconquest,r_0090_0007__the,r_0090_0006__in).
arc(r_0090_0001__The_r_0090_0003__Reconquest,r_0090_0011__centuries,r_0090_0009__through).
arc(r_0090_0007__the,r_0090_0008__11th,attrib).
arc(r_0090_0011__centuries,r_0090_0010__15th,attrib).
arc(r_0090_0012__witnessed,r_0090_0001__The_r_0090_0003__Reconquest,arg0).
arc(r_0090_0012__witnessed,r_0090_0013__the_r_0090_0014__development,arg1).
arc(r_0090_0013__the_r_0090_0014__development,r_0090_0017__law,r_0090_0015__of).
arc(r_0090_0017__law,r_0090_0016__customary,attrib).
arc(r_0090_0020__combined,r_0090_0017__law,arg0).
arc(r_0090_0020__combined,r_0090_0025__and,arg1).
arc(r_0090_0021__canon,r_0090_0023__religious,attrib).
arc(r_0090_0025__and,r_0090_0021__canon,conj1).
arc(r_0090_0025__and,r_0090_0027__law,conj2).
arc(r_0090_0027__law,r_0090_0026__Roman,attrib).

fof(formula,axiom,
    ? [R_0090_0002__CHRISTIAN,R_0090_0005__SPAIN,R_0090_0008__11TH,R_0090_0007__THE,R_0090_0010__15TH,R_0090_0011__CENTURIES,R_0090_0001__THE_R_0090_0003__RECONQUEST,R_0090_0016__CUSTOMARY,R_0090_0017__LAW,R_0090_0013__THE_R_0090_0014__DEVELOPMENT,R_0090_0012__WITNESSED,R_0090_0023__RELIGIOUS,R_0090_0021__CANON,R_0090_0026__ROMAN,R_0090_0027__LAW,R_0090_0025__AND,R_0090_0020__COMBINED] :
      ( r_0090_0002__Christian(R_0090_0002__CHRISTIAN)
      & r_0090_0005__Spain(R_0090_0005__SPAIN)
      & r_0090_0008__11th(R_0090_0008__11TH)
      & r_0090_0010__15th(R_0090_0010__15TH)
      & r_0090_0016__customary(R_0090_0016__CUSTOMARY)
      & r_0090_0023__religious(R_0090_0023__RELIGIOUS)
      & r_0090_0026__Roman(R_0090_0026__ROMAN)
      & r_0090_0020__combined(R_0090_0020__COMBINED)
      & has_arg1(R_0090_0020__COMBINED,R_0090_0025__AND)
      & r_0090_0025__and(R_0090_0025__AND)
      & has_conj2(R_0090_0025__AND,R_0090_0027__LAW)
      & r_0090_0027__law(R_0090_0027__LAW)
      & has_attrib(R_0090_0027__LAW,R_0090_0026__ROMAN)
      & has_conj1(R_0090_0025__AND,R_0090_0021__CANON)
      & r_0090_0021__canon(R_0090_0021__CANON)
      & has_attrib(R_0090_0021__CANON,R_0090_0023__RELIGIOUS)
      & has_arg0(R_0090_0020__COMBINED,R_0090_0017__LAW)
      & r_0090_0017__law(R_0090_0017__LAW)
      & has_attrib(R_0090_0017__LAW,R_0090_0016__CUSTOMARY)
      & r_0090_0012__witnessed(R_0090_0012__WITNESSED)
      & has_arg1(R_0090_0012__WITNESSED,R_0090_0013__THE_R_0090_0014__DEVELOPMENT)
      & r_0090_0013__the_r_0090_0014__development(R_0090_0013__THE_R_0090_0014__DEVELOPMENT)
      & has_r_0090_0015__of(R_0090_0013__THE_R_0090_0014__DEVELOPMENT,R_0090_0017__LAW)
      & has_arg0(R_0090_0012__WITNESSED,R_0090_0001__THE_R_0090_0003__RECONQUEST)
      & r_0090_0001__The_r_0090_0003__Reconquest(R_0090_0001__THE_R_0090_0003__RECONQUEST)
      & has_r_0090_0009__through(R_0090_0001__THE_R_0090_0003__RECONQUEST,R_0090_0011__CENTURIES)
      & r_0090_0011__centuries(R_0090_0011__CENTURIES)
      & has_attrib(R_0090_0011__CENTURIES,R_0090_0010__15TH)
      & has_r_0090_0006__in(R_0090_0001__THE_R_0090_0003__RECONQUEST,R_0090_0007__THE)
      & r_0090_0007__the(R_0090_0007__THE)
      & has_attrib(R_0090_0007__THE,R_0090_0008__11TH)
      & has_r_0090_0004__of(R_0090_0001__THE_R_0090_0003__RECONQUEST,R_0090_0005__SPAIN)
      & has_attrib(R_0090_0001__THE_R_0090_0003__RECONQUEST,R_0090_0002__CHRISTIAN) ) ).