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_0016_0004__ENGLISH,R_0016_0005__COMMON,R_0016_0006__LAW,R_0016_0001__THE_R_0016_0002__FOUNDATION,R_0016_0008__LEGAL,R_0016_0009__PRECEDENT,R_0016_0007__IS,R_0016_0014__STARE_R_0016_0015__DECISIS,Z_000_16_A_FACTBOOK_2_2010_30,R_0016_0011__REFERRED,R_0016_0021__THINGS,R_0016_0018__TO_R_0016_0019__STAND,R_0016_0017__MEANING,Z_000_16_A_FACTBOOK_2_2010_62,R_0016_0022__DECIDED] :
( r_0016_0004__English(R_0016_0004__ENGLISH)
& r_0016_0005__common(R_0016_0005__COMMON)
& r_0016_0008__legal(R_0016_0008__LEGAL)
& r_0016_0014__stare_r_0016_0015__decisis(R_0016_0014__STARE_R_0016_0015__DECISIS)
& r_0016_0021__things(R_0016_0021__THINGS)
& z_000_16_a_factbook_2_2010_30(Z_000_16_A_FACTBOOK_2_2010_30)
& z_000_16_a_factbook_2_2010_62(Z_000_16_A_FACTBOOK_2_2010_62)
& r_0016_0022__decided(R_0016_0022__DECIDED)
& has_arg0(R_0016_0022__DECIDED,Z_000_16_A_FACTBOOK_2_2010_62)
& has_arg1(R_0016_0022__DECIDED,R_0016_0021__THINGS)
& r_0016_0017__meaning(R_0016_0017__MEANING)
& has_arg1(R_0016_0017__MEANING,R_0016_0018__TO_R_0016_0019__STAND)
& r_0016_0018__to_r_0016_0019__stand(R_0016_0018__TO_R_0016_0019__STAND)
& has_r_0016_0020__by_clr58(R_0016_0018__TO_R_0016_0019__STAND,R_0016_0021__THINGS)
& has_arg0(R_0016_0018__TO_R_0016_0019__STAND,R_0016_0014__STARE_R_0016_0015__DECISIS)
& has_arg0(R_0016_0017__MEANING,R_0016_0014__STARE_R_0016_0015__DECISIS)
& r_0016_0011__referred(R_0016_0011__REFERRED)
& has_arg0(R_0016_0011__REFERRED,Z_000_16_A_FACTBOOK_2_2010_30)
& has_prd(R_0016_0011__REFERRED,R_0016_0014__STARE_R_0016_0015__DECISIS)
& has_arg1(R_0016_0011__REFERRED,R_0016_0009__PRECEDENT)
& r_0016_0009__precedent(R_0016_0009__PRECEDENT)
& has_attrib22(R_0016_0009__PRECEDENT,R_0016_0008__LEGAL)
& r_0016_0007__is(R_0016_0007__IS)
& has_prd(R_0016_0007__IS,R_0016_0009__PRECEDENT)
& has_arg0(R_0016_0007__IS,R_0016_0001__THE_R_0016_0002__FOUNDATION)
& r_0016_0001__The_r_0016_0002__foundation(R_0016_0001__THE_R_0016_0002__FOUNDATION)
& has_r_0016_0003__of(R_0016_0001__THE_R_0016_0002__FOUNDATION,R_0016_0006__LAW)
& r_0016_0006__law(R_0016_0006__LAW)
& has_attrib14(R_0016_0006__LAW,R_0016_0005__COMMON)
& has_attrib11(R_0016_0006__LAW,R_0016_0004__ENGLISH) ) ).
( (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))