TSPC 7_a_ks4

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_0007_0001__READING,R_0007_0002__ALSO,R_0007_0004__PUPILS,R_0007_0008__KNOWLEDGE,X_000_7_A_KS4_ENGLISH_13,R_0007_0006__TO_R_0007_0007__ACQUIRE,R_0007_0013__WHAT,R_0007_0015__ALREADY,R_0007_0016__KNOW,R_0007_0010__TO_R_0007_0011__BUILD,R_0007_0005__BOTH_R_0007_0009__AND,R_0007_0003__ENABLES] :
      ( r_0007_0001__Reading(R_0007_0001__READING)
      & r_0007_0002__also(R_0007_0002__ALSO)
      & r_0007_0004__pupils(R_0007_0004__PUPILS)
      & r_0007_0008__knowledge(R_0007_0008__KNOWLEDGE)
      & r_0007_0013__what(R_0007_0013__WHAT)
      & r_0007_0015__already(R_0007_0015__ALREADY)
      & x_000_7_a_ks4_english_13(X_000_7_A_KS4_ENGLISH_13)
      & r_0007_0003__enables(R_0007_0003__ENABLES)
      & has_prd(R_0007_0003__ENABLES,R_0007_0005__BOTH_R_0007_0009__AND)
      & r_0007_0005__both_r_0007_0009__and(R_0007_0005__BOTH_R_0007_0009__AND)
      & has_conj2(R_0007_0005__BOTH_R_0007_0009__AND,R_0007_0010__TO_R_0007_0011__BUILD)
      & r_0007_0010__to_r_0007_0011__build(R_0007_0010__TO_R_0007_0011__BUILD)
      & has_arg0(R_0007_0010__TO_R_0007_0011__BUILD,X_000_7_A_KS4_ENGLISH_13)
      & has_r_0007_0012__on_clr37(R_0007_0010__TO_R_0007_0011__BUILD,R_0007_0016__KNOW)
      & r_0007_0016__know(R_0007_0016__KNOW)
      & has_nim44(R_0007_0016__KNOW,R_0007_0015__ALREADY)
      & has_arg1(R_0007_0016__KNOW,R_0007_0013__WHAT)
      & has_arg0(R_0007_0016__KNOW,R_0007_0004__PUPILS)
      & has_conj1(R_0007_0005__BOTH_R_0007_0009__AND,R_0007_0006__TO_R_0007_0007__ACQUIRE)
      & r_0007_0006__to_r_0007_0007__acquire(R_0007_0006__TO_R_0007_0007__ACQUIRE)
      & has_arg0(R_0007_0006__TO_R_0007_0007__ACQUIRE,X_000_7_A_KS4_ENGLISH_13)
      & has_arg1(R_0007_0006__TO_R_0007_0007__ACQUIRE,R_0007_0008__KNOWLEDGE)
      & has_arg1(R_0007_0003__ENABLES,R_0007_0004__PUPILS)
      & has_nim5(R_0007_0003__ENABLES,R_0007_0002__ALSO)
      & has_arg0(R_0007_0003__ENABLES,R_0007_0001__READING) ) ).

( (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))