3_a_ks4_english
English has a pre-eminent place in education and in society.
arc(r_0003_0002__has, r_0003_0001__English, arg0).
arc(r_0003_0002__has, r_0003_0008__and, arg1).
arc(r_0003_0005__place, r_0003_0007__education, r_0003_0006__in).
arc(r_0003_0008__and, r_0003_0004__pre__hyphen__eminent, attrib10).
arc(r_0003_0008__and, r_0003_0005__place, conj1).
arc(r_0003_0008__and, z_000_3_a_ks4_english_26, conj2).
arc(z_000_3_a_ks4_english_26, r_0003_0010__society, r_0003_0009__in).
fof(formula,axiom,
? [R_0003_0001__ENGLISH,R_0003_0004__PRE__HYPHEN__EMINENT,R_0003_0007__EDUCATION,R_0003_0005__PLACE,R_0003_0010__SOCIETY,Z_000_3_A_KS4_ENGLISH_26,R_0003_0008__AND,R_0003_0002__HAS] :
( r_0003_0001__English(R_0003_0001__ENGLISH)
& r_0003_0004__pre__hyphen__eminent(R_0003_0004__PRE__HYPHEN__EMINENT)
& r_0003_0007__education(R_0003_0007__EDUCATION)
& r_0003_0010__society(R_0003_0010__SOCIETY)
& r_0003_0002__has(R_0003_0002__HAS)
& has_arg1(R_0003_0002__HAS,R_0003_0008__AND)
& r_0003_0008__and(R_0003_0008__AND)
& has_conj2(R_0003_0008__AND,Z_000_3_A_KS4_ENGLISH_26)
& z_000_3_a_ks4_english_26(Z_000_3_A_KS4_ENGLISH_26)
& has_r_0003_0009__in(Z_000_3_A_KS4_ENGLISH_26,R_0003_0010__SOCIETY)
& has_conj1(R_0003_0008__AND,R_0003_0005__PLACE)
& r_0003_0005__place(R_0003_0005__PLACE)
& has_r_0003_0006__in(R_0003_0005__PLACE,R_0003_0007__EDUCATION)
& has_attrib10(R_0003_0008__AND,R_0003_0004__PRE__HYPHEN__EMINENT)
& has_arg0(R_0003_0002__HAS,R_0003_0001__ENGLISH) ) ).
( (IP-MAT (NP-SBJ (NPR English;{English}))
(HVP;_Tn_ has;{have})
(NP-OB1 (D a;{a})
(ADJP (ADJ pre_<hyphen>_eminent;{pre_eminent}))
(NLYR (NLYR (N place;{place})
(PP (P-ROLE in;{in})
(NP (N education;{education}))))
(CONJP (CONJ and;{and})
(NLYR (PP (P-ROLE in;{in})
(NP (N society;{society})))))))
(PUNC .))
(ID 3_a_ks4_english))