5_a_ks4_english
Through reading in particular, pupils have a chance to develop culturally, emotionally, intellectually, socially and spiritually.
( (IP-MAT (PP-NIM (P-ROLE Through;{through})
(NP (N reading;{reading})
(ADVP (ADV in_particular;{in_particular}))))
(PUNC ,)
(NP-SBJ;{PUPILS} (NS pupils;{pupil}))
(HVP;_Tn_ have;{have})
(NP-OB1 (D a;{a})
(N chance;{chance})
(IP-INF (TO to;{to})
(VB;_I_ develop;{develop})
(ADVP-NIM (AVLYR (AVLYR (ADV culturally;{culturally}))
(PUNC ,)
(CONJP (AVLYR (ADV emotionally;{emotionally})))
(PUNC ,)
(CONJP (AVLYR (ADV intellectually;{intellectually})))
(PUNC ,)
(CONJP (AVLYR (ADV socially;{socially})))
(CONJP (CONJ and;{and})
(AVLYR (ADV spiritually;{spiritually})))))))
(PUNC .))
(ID 5_a_ks4_english))
arc(r_0005_0002__reading,r_0005_0003__in_particular,qual).
arc(r_0005_0006__have,r_0005_0002__reading,r_0005_0001__Through__nim).
arc(r_0005_0006__have,r_0005_0005__pupils,arg0).
arc(r_0005_0006__have,r_0005_0007__a_r_0005_0008__chance,arg1).
arc(r_0005_0007__a_r_0005_0008__chance,r_0005_0010__develop,emb).
arc(r_0005_0010__develop,r_0005_0018__and,nim).
arc(r_0005_0010__develop,z_0005_5007,arg0).
arc(r_0005_0018__and,r_0005_0011__culturally,conj1).
arc(r_0005_0018__and,r_0005_0013__emotionally,conj2).
arc(r_0005_0018__and,r_0005_0015__intellectually,conj3).
arc(r_0005_0018__and,r_0005_0017__socially,conj4).
arc(r_0005_0018__and,r_0005_0019__spiritually,conj5).
fof(formula,axiom,
? [R_0005_0003__IN_PARTICULAR,R_0005_0002__READING,R_0005_0005__PUPILS,R_0005_0011__CULTURALLY,R_0005_0013__EMOTIONALLY,R_0005_0015__INTELLECTUALLY,R_0005_0017__SOCIALLY,R_0005_0019__SPIRITUALLY,R_0005_0018__AND,Z_0005_5007,R_0005_0010__DEVELOP,R_0005_0007__A_R_0005_0008__CHANCE,R_0005_0006__HAVE] :
( r_0005_0003__in_particular(R_0005_0003__IN_PARTICULAR)
& r_0005_0005__pupils(R_0005_0005__PUPILS)
& r_0005_0011__culturally(R_0005_0011__CULTURALLY)
& r_0005_0013__emotionally(R_0005_0013__EMOTIONALLY)
& r_0005_0015__intellectually(R_0005_0015__INTELLECTUALLY)
& r_0005_0017__socially(R_0005_0017__SOCIALLY)
& r_0005_0019__spiritually(R_0005_0019__SPIRITUALLY)
& z_0005_5007(Z_0005_5007)
& r_0005_0006__have(R_0005_0006__HAVE)
& has_arg1(R_0005_0006__HAVE,R_0005_0007__A_R_0005_0008__CHANCE)
& r_0005_0007__a_r_0005_0008__chance(R_0005_0007__A_R_0005_0008__CHANCE)
& has_emb(R_0005_0007__A_R_0005_0008__CHANCE,R_0005_0010__DEVELOP)
& r_0005_0010__develop(R_0005_0010__DEVELOP)
& has_arg0(R_0005_0010__DEVELOP,Z_0005_5007)
& has_nim(R_0005_0010__DEVELOP,R_0005_0018__AND)
& r_0005_0018__and(R_0005_0018__AND)
& has_conj5(R_0005_0018__AND,R_0005_0019__SPIRITUALLY)
& has_conj4(R_0005_0018__AND,R_0005_0017__SOCIALLY)
& has_conj3(R_0005_0018__AND,R_0005_0015__INTELLECTUALLY)
& has_conj2(R_0005_0018__AND,R_0005_0013__EMOTIONALLY)
& has_conj1(R_0005_0018__AND,R_0005_0011__CULTURALLY)
& has_arg0(R_0005_0006__HAVE,R_0005_0005__PUPILS)
& has_r_0005_0001__Through__nim(R_0005_0006__HAVE,R_0005_0002__READING)
& r_0005_0002__reading(R_0005_0002__READING)
& has_qual(R_0005_0002__READING,R_0005_0003__IN_PARTICULAR) ) ).