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.
( (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))
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,attrib).
arc(r_0016_0006__law,r_0016_0005__common,attrib).
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,attrib).
arc(r_0016_0011__referred_r_0016_0012__to,r_0016_0009__precedent,inv_arg1).
arc(r_0016_0011__referred_r_0016_0012__to,r_0016_0014__stare_r_0016_0015__decisis,r_0016_0013__as__prd).
arc(r_0016_0011__referred_r_0016_0012__to,z_0016_5015___star_,arg0).
arc(r_0016_0017__meaning,r_0016_0014__stare_r_0016_0015__decisis,inv_arg0).
arc(r_0016_0017__meaning,r_0016_0019__stand_r_0016_0020__by,arg1).
arc(r_0016_0019__stand_r_0016_0020__by,r_0016_0021__things,arg1).
arc(r_0016_0019__stand_r_0016_0020__by,z_0016_5009,arg0).
arc(r_0016_0022__decided,r_0016_0021__things,inv_arg1).
arc(r_0016_0022__decided,z_0016_5011___star_,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,Z_0016_5011___STAR_,R_0016_0022__DECIDED,R_0016_0021__THINGS,Z_0016_5009,R_0016_0019__STAND_R_0016_0020__BY,R_0016_0017__MEANING,R_0016_0014__STARE_R_0016_0015__DECISIS,Z_0016_5015___STAR_,R_0016_0011__REFERRED_R_0016_0012__TO,R_0016_0009__PRECEDENT,R_0016_0007__IS] :
( r_0016_0004__English(R_0016_0004__ENGLISH)
& r_0016_0005__common(R_0016_0005__COMMON)
& r_0016_0008__legal(R_0016_0008__LEGAL)
& z_0016_5009(Z_0016_5009)
& z_0016_5011___star_(Z_0016_5011___STAR_)
& z_0016_5015___star_(Z_0016_5015___STAR_)
& r_0016_0007__is(R_0016_0007__IS)
& has_prd(R_0016_0007__IS,R_0016_0009__PRECEDENT)
& r_0016_0009__precedent(R_0016_0009__PRECEDENT)
& has_inv_arg1(R_0016_0009__PRECEDENT,R_0016_0011__REFERRED_R_0016_0012__TO)
& r_0016_0011__referred_r_0016_0012__to(R_0016_0011__REFERRED_R_0016_0012__TO)
& has_arg0(R_0016_0011__REFERRED_R_0016_0012__TO,Z_0016_5015___STAR_)
& has_r_0016_0013__as__prd(R_0016_0011__REFERRED_R_0016_0012__TO,R_0016_0014__STARE_R_0016_0015__DECISIS)
& r_0016_0014__stare_r_0016_0015__decisis(R_0016_0014__STARE_R_0016_0015__DECISIS)
& has_inv_arg0(R_0016_0014__STARE_R_0016_0015__DECISIS,R_0016_0017__MEANING)
& r_0016_0017__meaning(R_0016_0017__MEANING)
& has_arg1(R_0016_0017__MEANING,R_0016_0019__STAND_R_0016_0020__BY)
& r_0016_0019__stand_r_0016_0020__by(R_0016_0019__STAND_R_0016_0020__BY)
& has_arg0(R_0016_0019__STAND_R_0016_0020__BY,Z_0016_5009)
& has_arg1(R_0016_0019__STAND_R_0016_0020__BY,R_0016_0021__THINGS)
& r_0016_0021__things(R_0016_0021__THINGS)
& has_inv_arg1(R_0016_0021__THINGS,R_0016_0022__DECIDED)
& r_0016_0022__decided(R_0016_0022__DECIDED)
& has_arg0(R_0016_0022__DECIDED,Z_0016_5011___STAR_)
& has_attrib(R_0016_0009__PRECEDENT,R_0016_0008__LEGAL)
& 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_attrib(R_0016_0006__LAW,R_0016_0005__COMMON)
& has_attrib(R_0016_0006__LAW,R_0016_0004__ENGLISH) ) ).