arc(r_0025_0002__should, r_0025_0003__be, scope).
arc(r_0025_0003__be, r_0025_0004__taught, scope).
arc(r_0025_0004__taught, r_0025_0001__Pupils, arg2).
arc(r_0025_0004__taught, r_0025_0021__and, arg1).
arc(r_0025_0004__taught, z_000_25_a_ks4_english_11, arg0).
arc(r_0025_0005__to_r_0025_0006__control, r_0025_0001__Pupils, arg0).
arc(r_0025_0005__to_r_0025_0006__control, r_0025_0009__and, arg1).
arc(r_0025_0005__to_r_0025_0006__control, r_0025_0011__consciously, nim36).
arc(r_0025_0009__and, r_0025_0001__Pupils, gen).
arc(r_0025_0009__and, r_0025_0008__speaking, conj1).
arc(r_0025_0009__and, r_0025_0010__writing, conj2).
arc(r_0025_0013__understand, r_0025_0001__Pupils, arg0).
arc(r_0025_0013__understand, r_0025_0016__are, arg1).
arc(r_0025_0016__are, r_0025_0014__why, nim47).
arc(r_0025_0016__are, r_0025_0017__constructed, scope).
arc(r_0025_0017__constructed, r_0025_0015__sentences, arg1).
arc(r_0025_0017__constructed, z_000_25_a_ks4_english_56, arg0).
arc(r_0025_0017__constructed, z_000_25_a_ks4_english_63, r_0025_0018__as_nim63).
arc(r_0025_0020__are, r_0025_0015__sentences, arg0).
arc(r_0025_0020__are, z_000_25_a_ks4_english_63, prd).
arc(r_0025_0021__and, r_0025_0005__to_r_0025_0006__control, conj1).
arc(r_0025_0021__and, r_0025_0013__understand, conj2).
arc(r_0025_0021__and, r_0025_0022__to_r_0025_0023__use, conj3).
arc(r_0025_0022__to_r_0025_0023__use, r_0025_0001__Pupils, arg0).
arc(r_0025_0022__to_r_0025_0023__use, r_0025_0025__English, arg1).
arc(r_0025_0025__English, r_0025_0024__Standard, attrib81).

fof(formula,axiom,
    ? [R_25_2_SHOULD_BE_TAUGHT,Z_25_A_KS4_ENGLISH_11,R_25_21_AND,R_25_5_TO_CONTROL,R_25_9_AND,R_25_8_SPEAKING,R_25_10_WRITING,R_25_11_CONSCIOUSLY,R_25_13_UNDERSTAND,R_25_16_ARE_CONSTRUCTED,Z_25_A_KS4_ENGLISH_56,R_25_14_WHY,R_25_22_TO_USE,R_25_25_ENGLISH,R_25_24_STANDARD,R_25_1_PUPILS,R_25_20_ARE,R_25_15_SENTENCES,Z_25_A_KS4_ENGLISH_63] :
      ( speaking(R_25_8_SPEAKING)
      & writing(R_25_10_WRITING)
      & consciously(R_25_11_CONSCIOUSLY)
      & why(R_25_14_WHY)
      & standard(R_25_24_STANDARD)
      & pupils(R_25_1_PUPILS)
      & sentences(R_25_15_SENTENCES)
      & should_be_taught(R_25_2_SHOULD_BE_TAUGHT,Z_25_A_KS4_ENGLISH_11,R_25_21_AND,R_25_1_PUPILS)
      & and(R_25_21_AND)
      & conj1(R_25_21_AND,R_25_5_TO_CONTROL)
      & to_control(R_25_5_TO_CONTROL,R_25_1_PUPILS,R_25_9_AND)
      & and(R_25_9_AND)
      & conj1(R_25_9_AND,R_25_8_SPEAKING)
      & conj2(R_25_9_AND,R_25_10_WRITING)
      & gen(R_25_9_AND,R_25_1_PUPILS)
      & nim36(R_25_5_TO_CONTROL,R_25_11_CONSCIOUSLY)
      & conj2(R_25_21_AND,R_25_13_UNDERSTAND)
      & understand(R_25_13_UNDERSTAND,R_25_1_PUPILS,R_25_16_ARE_CONSTRUCTED)
      & are_constructed(R_25_16_ARE_CONSTRUCTED,Z_25_A_KS4_ENGLISH_56,R_25_15_SENTENCES)
      & nim47(R_25_16_ARE_CONSTRUCTED,R_25_14_WHY)
      & as_nim63(R_25_16_ARE_CONSTRUCTED,Z_25_A_KS4_ENGLISH_63)
      & conj3(R_25_21_AND,R_25_22_TO_USE)
      & to_use(R_25_22_TO_USE,R_25_1_PUPILS,R_25_25_ENGLISH)
      & english(R_25_25_ENGLISH)
      & attrib81(R_25_25_ENGLISH,R_25_24_STANDARD)
      & are(R_25_20_ARE,R_25_15_SENTENCES,Z_25_A_KS4_ENGLISH_63) ) ).

( (IP-MAT (NP-SBJ;{PUPILS} (NS Pupils;{pupil}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Dn.t_ taught;{teach})
                                  (IP-INF-OB1 (ILYR (ILYR (TO to;{to})
                                                          (VB;_Tn_ control;{control})
                                                          (NP-OB1 (NP-GEN;{PUPILS} (PRO;_genm_ their;{their}))
                                                                  (NLYR (NLYR (N speaking;{speaking}))
                                                                        (CONJP (CONJ and;{and})
                                                                               (NLYR (N writing;{writing})))))
                                                          (ADVP-NIM (ADV consciously;{consciously})))
                                                    (PUNC ,)
                                                    (CONJP (ILYR (VB;_Tw_ understand;{understand})
                                                                 (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV why;{why}))
                                                                                     (NP-SBJ;{SENTENCES} (NS sentences;{sentence}))
                                                                                     (BEP;_cat_VePASS_ are;{be})
                                                                                     (IP-PPL-CAT (NP-LGS *)
                                                                                                 (VVN;_Tn_ constructed;{construct})
                                                                                                 (PP-NIM (P-ROLE as;{as})
                                                                                                         (NP (IP-REL (NP-PRD *T*)
                                                                                                                     (NP-SBJ;{SENTENCES} (PRO they;{they}))
                                                                                                                     (BEP;_Ln_ are;{be})))))))))
                                                    (CONJP (CONJ and;{and})
                                                           (ILYR (TO to;{to})
                                                                 (VB;_Tn_ use;{use})
                                                                 (NP-OB1 (ADJP (ADJ Standard;{standard}))
                                                                         (NPR English;{English}))))))))
          (PUNC .))
  (ID 25_a_ks4_english))