TSPC 7_a_ks4

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

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

arc(r_0007_0003__enables,r_0007_0001__Reading,arg0).
arc(r_0007_0003__enables,r_0007_0002__also,nim).
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_0007__acquire,conj1).
arc(r_0007_0005__both_r_0007_0009__and,r_0007_0011__build,conj2).
arc(r_0007_0007__acquire,r_0007_0008__knowledge,arg1).
arc(r_0007_0007__acquire,z_0007_5005,arg0).
arc(r_0007_0011__build,r_0007_0016__know,r_0007_0012__on__clr).
arc(r_0007_0011__build,z_0007_5005,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,nim).

fof(formula,axiom,
    ? [R_0007_0001__READING,R_0007_0002__ALSO,R_0007_0004__PUPILS,R_0007_0008__KNOWLEDGE,Z_0007_5005,R_0007_0007__ACQUIRE,R_0007_0013__WHAT,R_0007_0015__ALREADY,R_0007_0016__KNOW,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)
      & z_0007_5005(Z_0007_5005)
      & 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_0011__BUILD)
      & r_0007_0011__build(R_0007_0011__BUILD)
      & has_arg0(R_0007_0011__BUILD,Z_0007_5005)
      & has_r_0007_0012__on__clr(R_0007_0011__BUILD,R_0007_0016__KNOW)
      & r_0007_0016__know(R_0007_0016__KNOW)
      & has_nim(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_0007__ACQUIRE)
      & r_0007_0007__acquire(R_0007_0007__ACQUIRE)
      & has_arg0(R_0007_0007__ACQUIRE,Z_0007_5005)
      & has_arg1(R_0007_0007__ACQUIRE,R_0007_0008__KNOWLEDGE)
      & has_arg1(R_0007_0003__ENABLES,R_0007_0004__PUPILS)
      & has_nim(R_0007_0003__ENABLES,R_0007_0002__ALSO)
      & has_arg0(R_0007_0003__ENABLES,R_0007_0001__READING) ) ).