7_a_ks4_english
Reading also enables pupils both to acquire knowledge and to build on what they already know.
arc(r_0007_0003__enables, r_0007_0001__Reading, arg0).
arc(r_0007_0003__enables, r_0007_0002__also, nim5).
arc(r_0007_0003__enables, r_0007_0004__pupils, arg1).
arc(r_0007_0003__enables, r_0007_0005__both_r_0007_0009__and, prd).
arc(r_0007_0005__both_r_0007_0009__and, r_0007_0006__to_r_0007_0007__acquire, conj1).
arc(r_0007_0005__both_r_0007_0009__and, r_0007_0010__to_r_0007_0011__build, conj2).
arc(r_0007_0006__to_r_0007_0007__acquire, r_0007_0008__knowledge, arg1).
arc(r_0007_0006__to_r_0007_0007__acquire, x_000_7_a_ks4_english_13, arg0).
arc(r_0007_0010__to_r_0007_0011__build, r_0007_0016__know, r_0007_0012__on_clr37).
arc(r_0007_0010__to_r_0007_0011__build, x_000_7_a_ks4_english_13, arg0).
arc(r_0007_0016__know, r_0007_0004__pupils, arg0).
arc(r_0007_0016__know, r_0007_0013__what, arg1).
arc(r_0007_0016__know, r_0007_0015__already, nim44).
fof(formula,axiom,
? [R_7_3_ENABLES,R_7_1_READING,R_7_2_ALSO,R_7_5_BOTH_AND,R_7_6_TO_ACQUIRE,R_7_8_KNOWLEDGE,R_7_10_TO_BUILD,X_7_A_KS4_ENGLISH_13,R_7_16_KNOW,R_7_4_PUPILS,R_7_13_WHAT,R_7_15_ALREADY] :
( reading(R_7_1_READING)
& also(R_7_2_ALSO)
& knowledge(R_7_8_KNOWLEDGE)
& pupils(R_7_4_PUPILS)
& what(R_7_13_WHAT)
& already(R_7_15_ALREADY)
& enables(R_7_3_ENABLES,R_7_1_READING,R_7_4_PUPILS,R_7_5_BOTH_AND)
& both_and(R_7_5_BOTH_AND)
& conj1(R_7_5_BOTH_AND,R_7_6_TO_ACQUIRE)
& to_acquire(R_7_6_TO_ACQUIRE,X_7_A_KS4_ENGLISH_13,R_7_8_KNOWLEDGE)
& conj2(R_7_5_BOTH_AND,R_7_10_TO_BUILD)
& to_build(R_7_10_TO_BUILD,X_7_A_KS4_ENGLISH_13)
& on_clr37(R_7_10_TO_BUILD,R_7_16_KNOW)
& know(R_7_16_KNOW,R_7_4_PUPILS,R_7_13_WHAT)
& nim44(R_7_16_KNOW,R_7_15_ALREADY)
& nim5(R_7_3_ENABLES,R_7_2_ALSO) ) ).
( (IP-MAT (NP-SBJ (N Reading;{reading}))
(ADVP-NIM (ADV also;{also}))
(VBP;_Cn.t_ enables;{enable})
(NP-OB1;{PUPILS} (NS pupils;{pupil}))
(IP-INF-PRD (ILYR (CONJ both;{both})
(ILYR (TO to;{to})
(VB;_Tn_ acquire;{acquire})
(NP-OB1 (N knowledge;{knowledge})))
(CONJP (CONJ and;{and})
(ILYR (TO to;{to})
(VB;_Ipr_ build;{build[on]})
(PP-CLR (P-ROLE on;{on})
(CP-QUE (IP-SUB (NP-OB1 (WPRO what;{what}))
(NP-SBJ;{PUPILS} (PRO they;{they}))
(ADVP-NIM (ADV already;{already}))
(VBP;_Tn_ know;{know}))))))))
(PUNC .))
(ID 7_a_ks4_english))