16_a_factbook_2_2010
The foundation of English common law is legal precedent - referred to as stare decisis, meaning to stand by things decided.
arc(r_0016_0001__The_r_0016_0002__foundation, r_0016_0006__law, r_0016_0003__of).
arc(r_0016_0006__law, r_0016_0004__English, attrib11).
arc(r_0016_0006__law, r_0016_0005__common, attrib14).
arc(r_0016_0007__is, r_0016_0001__The_r_0016_0002__foundation, arg0).
arc(r_0016_0007__is, r_0016_0009__precedent, prd).
arc(r_0016_0009__precedent, r_0016_0008__legal, attrib22).
arc(r_0016_0011__referred, r_0016_0009__precedent, arg1).
arc(r_0016_0011__referred, r_0016_0014__stare_r_0016_0015__decisis, prd).
arc(r_0016_0011__referred, z_000_16_a_factbook_2_2010_30, arg0).
arc(r_0016_0017__meaning, r_0016_0014__stare_r_0016_0015__decisis, arg0).
arc(r_0016_0017__meaning, r_0016_0018__to_r_0016_0019__stand, arg1).
arc(r_0016_0018__to_r_0016_0019__stand, r_0016_0014__stare_r_0016_0015__decisis, arg0).
arc(r_0016_0018__to_r_0016_0019__stand, r_0016_0021__things, r_0016_0020__by_clr58).
arc(r_0016_0022__decided, r_0016_0021__things, arg1).
arc(r_0016_0022__decided, z_000_16_a_factbook_2_2010_62, arg0).
fof(formula,axiom,
? [R_16_7_IS,R_16_1_THE_FOUNDATION,R_16_6_LAW,R_16_4_ENGLISH,R_16_5_COMMON,R_16_11_REFERRED,Z_16_A_FACTBOOK_2_2010_30,R_16_9_PRECEDENT,R_16_8_LEGAL,R_16_17_MEANING,R_16_18_TO_STAND,R_16_14_STARE_DECISIS,R_16_22_DECIDED,Z_16_A_FACTBOOK_2_2010_62,R_16_21_THINGS] :
( english(R_16_4_ENGLISH)
& common(R_16_5_COMMON)
& legal(R_16_8_LEGAL)
& stare_decisis(R_16_14_STARE_DECISIS)
& things(R_16_21_THINGS)
& is(R_16_7_IS,R_16_1_THE_FOUNDATION,R_16_9_PRECEDENT)
& the_foundation(R_16_1_THE_FOUNDATION)
& of(R_16_1_THE_FOUNDATION,R_16_6_LAW)
& law(R_16_6_LAW)
& attrib11(R_16_6_LAW,R_16_4_ENGLISH)
& attrib14(R_16_6_LAW,R_16_5_COMMON)
& precedent(R_16_9_PRECEDENT)
& attrib22(R_16_9_PRECEDENT,R_16_8_LEGAL)
& referred(R_16_11_REFERRED,Z_16_A_FACTBOOK_2_2010_30,R_16_9_PRECEDENT,R_16_14_STARE_DECISIS)
& meaning(R_16_17_MEANING,R_16_14_STARE_DECISIS,R_16_18_TO_STAND)
& to_stand(R_16_18_TO_STAND,R_16_14_STARE_DECISIS)
& by_clr58(R_16_18_TO_STAND,R_16_21_THINGS)
& decided(R_16_22_DECIDED,Z_16_A_FACTBOOK_2_2010_62,R_16_21_THINGS) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(N foundation;{foundation})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ English;{english}))
(ADJP (ADJ common;{common}))
(N law;{law}))))
(BEP;_Ln_ is;{be})
(NP-PRD (ADJP (ADJ legal;{legal}))
(N precedent;{precedent})
(PUNC <hyphen>)
(IP-PPL (NP-LGS *)
(VVN;_phr_Vpr.n/a_ referred;{refer[to,as]})
(PP-CLR (P-ROLE to;{to}))
(PP-PRD (P-ROLE as;{as})
(NP (NPR stare;{stare})
(NPR decisis;{decisis})
(PUNC ,)
(IP-PPL (VAG;_Tt_ meaning;{mean})
(IP-INF3-OB1 (TO to;{to})
(VB;_Ipr_ stand;{stand[by]})
(PP-CLR (P-ROLE by;{by})
(NP (NS things;{thing})
(IP-PPL (NP-LGS *)
(VVN;_Tn_ decided;{decide}))))))))))
(PUNC .))
(ID 16_a_factbook_2_2010))