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_15_8_AND,R_15_3_ESTABLISHED,R_15_7_COURT,R_15_4_THE_KING_APOS_S,R_15_9_DESIGNATED,R_15_1_HENRY_II,R_15_10_THAT_WERE,R_15_11_LAWS,R_15_13_COMMON,R_15_15_THE_REALM,R_15_16_ENTIRE,R_15_17_ENGLISH] :
( the_king_apos_s(R_15_4_THE_KING_APOS_S)
& henry_II(R_15_1_HENRY_II)
& laws(R_15_11_LAWS)
& entire(R_15_16_ENTIRE)
& english(R_15_17_ENGLISH)
& and(R_15_8_AND)
& conj1(R_15_8_AND,R_15_3_ESTABLISHED)
& established(R_15_3_ESTABLISHED,R_15_1_HENRY_II,R_15_7_COURT)
& court(R_15_7_COURT)
& gen(R_15_7_COURT,R_15_4_THE_KING_APOS_S)
& conj2(R_15_8_AND,R_15_9_DESIGNATED)
& designated(R_15_9_DESIGNATED,R_15_1_HENRY_II,R_15_10_THAT_WERE)
& that_were(R_15_10_THAT_WERE,R_15_11_LAWS,R_15_13_COMMON)
& common(R_15_13_COMMON)
& to(R_15_13_COMMON,R_15_15_THE_REALM)
& the_realm(R_15_15_THE_REALM)
& attrib45(R_15_15_THE_REALM,R_15_16_ENTIRE)
& attrib48(R_15_15_THE_REALM,R_15_17_ENGLISH) ) ).
( (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))