15_a_factbook_2_2010
Henry II established the king's court and designated that laws were common to the entire English realm.
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_r_0015_0006___apos_s, 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_0010__that_r_0015_0012__were, arg1).
arc(r_0015_0010__that_r_0015_0012__were, r_0015_0011__laws, arg0).
arc(r_0015_0010__that_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, attrib45).
arc(r_0015_0015__the_r_0015_0018__realm, r_0015_0017__English, attrib48).
fof(formula,axiom,
? [R_0015_0001__HENRY_R_0015_0002__II,R_0015_0004__THE_R_0015_0005__KING_R_0015_0006___APOS_S,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_0010__THAT_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_0006___apos_s(R_0015_0004__THE_R_0015_0005__KING_R_0015_0006___APOS_S)
& 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_0010__THAT_R_0015_0012__WERE)
& r_0015_0010__that_r_0015_0012__were(R_0015_0010__THAT_R_0015_0012__WERE)
& has_prd(R_0015_0010__THAT_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_attrib48(R_0015_0015__THE_R_0015_0018__REALM,R_0015_0017__ENGLISH)
& has_attrib45(R_0015_0015__THE_R_0015_0018__REALM,R_0015_0016__ENTIRE)
& has_arg0(R_0015_0010__THAT_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_R_0015_0006___APOS_S)
& has_arg0(R_0015_0003__ESTABLISHED,R_0015_0001__HENRY_R_0015_0002__II) ) ).
( (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))