7_a_ks4_english
Reading also enables pupils both to acquire knowledge and to build on what they already know.

%3 r_0007_0003__enables enables r_0007_0001__Reading Reading r_0007_0003__enables->r_0007_0001__Reading [arg0] r_0007_0002__also also r_0007_0003__enables->r_0007_0002__also [nim] r_0007_0004__pupils pupils r_0007_0003__enables->r_0007_0004__pupils [arg1] r_0007_0005__both_r_0007_0009__and both and r_0007_0003__enables->r_0007_0005__both_r_0007_0009__and [prd] r_0007_0006__to_r_0007_0007__acquire to acquire r_0007_0005__both_r_0007_0009__and->r_0007_0006__to_r_0007_0007__acquire [conj1] r_0007_0010__to_r_0007_0011__build to build r_0007_0005__both_r_0007_0009__and->r_0007_0010__to_r_0007_0011__build [conj2] r_0007_0008__knowledge knowledge r_0007_0006__to_r_0007_0007__acquire->r_0007_0008__knowledge [arg1] x_000_7_a_ks4_english_13 __ r_0007_0006__to_r_0007_0007__acquire->x_000_7_a_ks4_english_13 [arg0] r_0007_0010__to_r_0007_0011__build->x_000_7_a_ks4_english_13 [arg0] r_0007_0016__know know r_0007_0010__to_r_0007_0011__build->r_0007_0016__know on [clr] r_0007_0016__know->r_0007_0004__pupils [arg0] r_0007_0013__what what r_0007_0016__know->r_0007_0013__what [arg1] r_0007_0015__already already r_0007_0016__know->r_0007_0015__already [nim]
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).



%3 r_0007_0003__enables enables r_0007_0001__Reading Reading r_0007_0003__enables->r_0007_0001__Reading [arg0] r_0007_0002__also also r_0007_0003__enables->r_0007_0002__also [nim] r_0007_0004__pupils pupils r_0007_0003__enables->r_0007_0004__pupils [arg1] r_0007_0005__both_r_0007_0009__and both and r_0007_0003__enables->r_0007_0005__both_r_0007_0009__and [prd] r_0007_0006__to_r_0007_0007__acquire to acquire r_0007_0005__both_r_0007_0009__and->r_0007_0006__to_r_0007_0007__acquire [conj1] r_0007_0010__to_r_0007_0011__build to build r_0007_0005__both_r_0007_0009__and->r_0007_0010__to_r_0007_0011__build [conj2] r_0007_0008__knowledge knowledge r_0007_0006__to_r_0007_0007__acquire->r_0007_0008__knowledge [arg1] x_000_7_a_ks4_english_13 __ r_0007_0006__to_r_0007_0007__acquire->x_000_7_a_ks4_english_13 [arg0] r_0007_0010__to_r_0007_0011__build->x_000_7_a_ks4_english_13 [arg0] r_0007_0016__know know r_0007_0010__to_r_0007_0011__build->r_0007_0016__know on [clr] r_0007_0016__know->r_0007_0004__pupils [arg0] r_0007_0013__what what r_0007_0016__know->r_0007_0013__what [arg1] r_0007_0015__already already r_0007_0016__know->r_0007_0015__already [nim]
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) ) ).



n7_a_ks4_english n7_a_ks4_english_4 Reading n7_a_ks4_english_7 also n7_a_ks4_english_9 enables n7_a_ks4_english_12 pupils n7_a_ks4_english_16 both n7_a_ks4_english_19 to n7_a_ks4_english_21 acquire n7_a_ks4_english_24 knowledge n7_a_ks4_english_27 and n7_a_ks4_english_30 to n7_a_ks4_english_32 build n7_a_ks4_english_35 on n7_a_ks4_english_40 what n7_a_ks4_english_43 they n7_a_ks4_english_46 already n7_a_ks4_english_48 know n7_a_ks4_english_50 . n7_a_ks4_english_1 IP-MAT n7_a_ks4_english_2 NP-SBJ n7_a_ks4_english_1->n7_a_ks4_english_2 n7_a_ks4_english_5 ADVP-NIM n7_a_ks4_english_1->n7_a_ks4_english_5 n7_a_ks4_english_8 VBP;_Cn.t_ n7_a_ks4_english_1->n7_a_ks4_english_8 n7_a_ks4_english_10 NP-OB1 n7_a_ks4_english_1->n7_a_ks4_english_10 n7_a_ks4_english_13 IP-INF-PRD n7_a_ks4_english_1->n7_a_ks4_english_13 n7_a_ks4_english_49 PUNC n7_a_ks4_english_1->n7_a_ks4_english_49 n7_a_ks4_english_3 N n7_a_ks4_english_2->n7_a_ks4_english_3 n7_a_ks4_english_3->n7_a_ks4_english_4 n7_a_ks4_english_6 ADV n7_a_ks4_english_5->n7_a_ks4_english_6 n7_a_ks4_english_6->n7_a_ks4_english_7 n7_a_ks4_english_8->n7_a_ks4_english_9 n7_a_ks4_english_11 NS n7_a_ks4_english_10->n7_a_ks4_english_11 n7_a_ks4_english_11->n7_a_ks4_english_12 n7_a_ks4_english_14 ILYR n7_a_ks4_english_13->n7_a_ks4_english_14 n7_a_ks4_english_15 CONJ n7_a_ks4_english_14->n7_a_ks4_english_15 n7_a_ks4_english_17 ILYR n7_a_ks4_english_14->n7_a_ks4_english_17 n7_a_ks4_english_25 CONJP n7_a_ks4_english_14->n7_a_ks4_english_25 n7_a_ks4_english_15->n7_a_ks4_english_16 n7_a_ks4_english_18 TO n7_a_ks4_english_17->n7_a_ks4_english_18 n7_a_ks4_english_20 VB;_Tn_ n7_a_ks4_english_17->n7_a_ks4_english_20 n7_a_ks4_english_22 NP-OB1 n7_a_ks4_english_17->n7_a_ks4_english_22 n7_a_ks4_english_18->n7_a_ks4_english_19 n7_a_ks4_english_20->n7_a_ks4_english_21 n7_a_ks4_english_23 N n7_a_ks4_english_22->n7_a_ks4_english_23 n7_a_ks4_english_23->n7_a_ks4_english_24 n7_a_ks4_english_26 CONJ n7_a_ks4_english_25->n7_a_ks4_english_26 n7_a_ks4_english_28 ILYR n7_a_ks4_english_25->n7_a_ks4_english_28 n7_a_ks4_english_26->n7_a_ks4_english_27 n7_a_ks4_english_29 TO n7_a_ks4_english_28->n7_a_ks4_english_29 n7_a_ks4_english_31 VB;_Ipr_ n7_a_ks4_english_28->n7_a_ks4_english_31 n7_a_ks4_english_33 PP-CLR n7_a_ks4_english_28->n7_a_ks4_english_33 n7_a_ks4_english_29->n7_a_ks4_english_30 n7_a_ks4_english_31->n7_a_ks4_english_32 n7_a_ks4_english_34 P-ROLE n7_a_ks4_english_33->n7_a_ks4_english_34 n7_a_ks4_english_36 CP-QUE n7_a_ks4_english_33->n7_a_ks4_english_36 n7_a_ks4_english_34->n7_a_ks4_english_35 n7_a_ks4_english_37 IP-SUB n7_a_ks4_english_36->n7_a_ks4_english_37 n7_a_ks4_english_38 NP-OB1 n7_a_ks4_english_37->n7_a_ks4_english_38 n7_a_ks4_english_41 NP-SBJ n7_a_ks4_english_37->n7_a_ks4_english_41 n7_a_ks4_english_44 ADVP-NIM n7_a_ks4_english_37->n7_a_ks4_english_44 n7_a_ks4_english_47 VBP;_Tn_ n7_a_ks4_english_37->n7_a_ks4_english_47 n7_a_ks4_english_39 WPRO n7_a_ks4_english_38->n7_a_ks4_english_39 n7_a_ks4_english_39->n7_a_ks4_english_40 n7_a_ks4_english_42 PRO n7_a_ks4_english_41->n7_a_ks4_english_42 n7_a_ks4_english_42->n7_a_ks4_english_43 n7_a_ks4_english_45 ADV n7_a_ks4_english_44->n7_a_ks4_english_45 n7_a_ks4_english_45->n7_a_ks4_english_46 n7_a_ks4_english_47->n7_a_ks4_english_48 n7_a_ks4_english_49->n7_a_ks4_english_50
( (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))