3_a_ks4_english
English has a pre-eminent place in education and in society.
( (IP-MAT (NP-SBJ (NPR English;{English}))
(HVP;_Tn_ has;{have})
(NP-OB1 (D a;{a})
(ADJP (ADJ pre_<hyphen>_eminent;{pre_eminent}))
(N place;{place})
(PP (PP (P-ROLE in;{in})
(NP (N education;{education})))
(CONJP (CONJ and;{and})
(PP (P-ROLE in;{in})
(NP (N society;{society}))))))
(PUNC .))
(ID 3_a_ks4_english))
arc(r_0003_0002__has,r_0003_0001__English,arg0).
arc(r_0003_0002__has,r_0003_0003__a_r_0003_0005__place,arg1).
arc(r_0003_0003__a_r_0003_0005__place,r_0003_0004__pre__hyphen__eminent,attrib).
arc(r_0003_0003__a_r_0003_0005__place,r_0003_0008__and,z_0003_5004).
arc(r_0003_0008__and,r_0003_0007__education,r_0003_0006__in).
arc(r_0003_0008__and,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_0010__SOCIETY,R_0003_0008__AND,R_0003_0003__A_R_0003_0005__PLACE,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_0003__A_R_0003_0005__PLACE)
& r_0003_0003__a_r_0003_0005__place(R_0003_0003__A_R_0003_0005__PLACE)
& has_z_0003_5004(R_0003_0003__A_R_0003_0005__PLACE,R_0003_0008__AND)
& r_0003_0008__and(R_0003_0008__AND)
& has_r_0003_0009__in(R_0003_0008__AND,R_0003_0010__SOCIETY)
& has_r_0003_0006__in(R_0003_0008__AND,R_0003_0007__EDUCATION)
& has_attrib(R_0003_0003__A_R_0003_0005__PLACE,R_0003_0004__PRE__HYPHEN__EMINENT)
& has_arg0(R_0003_0002__HAS,R_0003_0001__ENGLISH) ) ).