TSPC 15_a_factbook_2

15_a_factbook_2_2010
Henry II established the king's court and designated that laws were common to the entire English realm.

( (IP-MAT (NP-SBJ (NPR Henry;{Henry})
                  (NPR II;{II}))
          (ILYR (ILYR (VBD;_Tn_ established;{establish})
                      (NP-OB1 (NP-GEN (D the;{the})
                                      (N king;{king})
                                      (GENM <apos>s))
                              (N court;{court})))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tf_ designated;{designate})
                             (CP-THT-OB1 (IP-SUB (C that;{that})
                                                 (NP-SBJ (NS laws;{law}))
                                                 (BED;_La_ were;{be})
                                                 (ADJP-PRD (ADJ common;{common})
                                                           (PP (P-ROLE to;{to})
                                                               (NP (D the;{the})
                                                                   (ADJP (ADJ entire;{entire}))
                                                                   (ADJP (ADJ English;{english}))
                                                                   (N realm;{realm})))))))))
          (PUNC .))
  (ID 15_a_factbook_2_2010))

arc(r_0015_0003__established,r_0015_0001__Henry_r_0015_0002__II,arg0).
arc(r_0015_0003__established,r_0015_0007__court,arg1).
arc(r_0015_0007__court,r_0015_0004__the_r_0015_0005__king,gen).
arc(r_0015_0008__and,r_0015_0003__established,conj1).
arc(r_0015_0008__and,r_0015_0009__designated,conj2).
arc(r_0015_0009__designated,r_0015_0001__Henry_r_0015_0002__II,arg0).
arc(r_0015_0009__designated,r_0015_0012__were,arg1).
arc(r_0015_0012__were,r_0015_0011__laws,arg0).
arc(r_0015_0012__were,r_0015_0013__common,prd).
arc(r_0015_0013__common,r_0015_0015__the_r_0015_0018__realm,r_0015_0014__to).
arc(r_0015_0015__the_r_0015_0018__realm,r_0015_0016__entire,attrib).
arc(r_0015_0015__the_r_0015_0018__realm,r_0015_0017__English,attrib).

fof(formula,axiom,
    ? [R_0015_0001__HENRY_R_0015_0002__II,R_0015_0004__THE_R_0015_0005__KING,R_0015_0007__COURT,R_0015_0003__ESTABLISHED,R_0015_0011__LAWS,R_0015_0016__ENTIRE,R_0015_0017__ENGLISH,R_0015_0015__THE_R_0015_0018__REALM,R_0015_0013__COMMON,R_0015_0012__WERE,R_0015_0009__DESIGNATED,R_0015_0008__AND] :
      ( r_0015_0001__Henry_r_0015_0002__II(R_0015_0001__HENRY_R_0015_0002__II)
      & r_0015_0004__the_r_0015_0005__king(R_0015_0004__THE_R_0015_0005__KING)
      & r_0015_0011__laws(R_0015_0011__LAWS)
      & r_0015_0016__entire(R_0015_0016__ENTIRE)
      & r_0015_0017__English(R_0015_0017__ENGLISH)
      & r_0015_0008__and(R_0015_0008__AND)
      & has_conj2(R_0015_0008__AND,R_0015_0009__DESIGNATED)
      & r_0015_0009__designated(R_0015_0009__DESIGNATED)
      & has_arg1(R_0015_0009__DESIGNATED,R_0015_0012__WERE)
      & r_0015_0012__were(R_0015_0012__WERE)
      & has_prd(R_0015_0012__WERE,R_0015_0013__COMMON)
      & r_0015_0013__common(R_0015_0013__COMMON)
      & has_r_0015_0014__to(R_0015_0013__COMMON,R_0015_0015__THE_R_0015_0018__REALM)
      & r_0015_0015__the_r_0015_0018__realm(R_0015_0015__THE_R_0015_0018__REALM)
      & has_attrib(R_0015_0015__THE_R_0015_0018__REALM,R_0015_0017__ENGLISH)
      & has_attrib(R_0015_0015__THE_R_0015_0018__REALM,R_0015_0016__ENTIRE)
      & has_arg0(R_0015_0012__WERE,R_0015_0011__LAWS)
      & has_arg0(R_0015_0009__DESIGNATED,R_0015_0001__HENRY_R_0015_0002__II)
      & has_conj1(R_0015_0008__AND,R_0015_0003__ESTABLISHED)
      & r_0015_0003__established(R_0015_0003__ESTABLISHED)
      & has_arg1(R_0015_0003__ESTABLISHED,R_0015_0007__COURT)
      & r_0015_0007__court(R_0015_0007__COURT)
      & has_gen(R_0015_0007__COURT,R_0015_0004__THE_R_0015_0005__KING)
      & has_arg0(R_0015_0003__ESTABLISHED,R_0015_0001__HENRY_R_0015_0002__II) ) ).