25_a_ks4_english
Pupils should be taught to control their speaking and writing consciously, understand why sentences are constructed as they are and to use Standard English.

n25_a_ks4_english n25_a_ks4_english__1_1_1_1 Pupils n25_a_ks4_english__1_2_1 should n25_a_ks4_english__1_3_1_1 be n25_a_ks4_english__1_3_2_1_1 * n25_a_ks4_english__1_3_2_2_1 taught n25_a_ks4_english__1_3_2_3_1_1_1_1 to n25_a_ks4_english__1_3_2_3_1_1_2_1 control n25_a_ks4_english__1_3_2_3_1_1_3_1_1_1 their n25_a_ks4_english__1_3_2_3_1_1_3_2_1_1_1 speaking n25_a_ks4_english__1_3_2_3_1_1_3_2_2_1_1 and n25_a_ks4_english__1_3_2_3_1_1_3_2_2_2_1_1 writing n25_a_ks4_english__1_3_2_3_1_1_4_1_1 consciously n25_a_ks4_english__1_3_2_3_1_2_1 , n25_a_ks4_english__1_3_2_3_1_3_1_1_1 understand n25_a_ks4_english__1_3_2_3_1_3_1_2_1_1_1_1 why n25_a_ks4_english__1_3_2_3_1_3_1_2_1_2_1_1 sentences n25_a_ks4_english__1_3_2_3_1_3_1_2_1_3_1 are n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_1_1 * n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_2_1 constructed n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_1_1 as n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_1_1 *T* n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_2_1_1 they n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_3_1 are n25_a_ks4_english__1_3_2_3_1_4_1_1 and n25_a_ks4_english__1_3_2_3_1_4_2_1_1 to n25_a_ks4_english__1_3_2_3_1_4_2_2_1 use n25_a_ks4_english__1_3_2_3_1_4_2_3_1_1_1 Standard n25_a_ks4_english__1_3_2_3_1_4_2_3_2_1 English n25_a_ks4_english__1_4_1 . n25_a_ks4_english__1 IP-MAT n25_a_ks4_english__1_1 NP-SBJ n25_a_ks4_english__1->n25_a_ks4_english__1_1 n25_a_ks4_english__1_2 MD;_cat_Vi_ n25_a_ks4_english__1->n25_a_ks4_english__1_2 n25_a_ks4_english__1_3 IP-INF-CAT n25_a_ks4_english__1->n25_a_ks4_english__1_3 n25_a_ks4_english__1_4 PUNC n25_a_ks4_english__1->n25_a_ks4_english__1_4 n25_a_ks4_english__1_1_1 NS n25_a_ks4_english__1_1->n25_a_ks4_english__1_1_1 n25_a_ks4_english__1_1_1->n25_a_ks4_english__1_1_1_1 n25_a_ks4_english__1_2->n25_a_ks4_english__1_2_1 n25_a_ks4_english__1_3_1 BE;_cat_VePASS_ n25_a_ks4_english__1_3->n25_a_ks4_english__1_3_1 n25_a_ks4_english__1_3_2 IP-PPL-CAT n25_a_ks4_english__1_3->n25_a_ks4_english__1_3_2 n25_a_ks4_english__1_3_1->n25_a_ks4_english__1_3_1_1 n25_a_ks4_english__1_3_2_1 NP-LGS n25_a_ks4_english__1_3_2->n25_a_ks4_english__1_3_2_1 n25_a_ks4_english__1_3_2_2 VVN;_Dn.t_ n25_a_ks4_english__1_3_2->n25_a_ks4_english__1_3_2_2 n25_a_ks4_english__1_3_2_3 IP-INF-OB1 n25_a_ks4_english__1_3_2->n25_a_ks4_english__1_3_2_3 n25_a_ks4_english__1_3_2_1->n25_a_ks4_english__1_3_2_1_1 n25_a_ks4_english__1_3_2_2->n25_a_ks4_english__1_3_2_2_1 n25_a_ks4_english__1_3_2_3_1 ILYR n25_a_ks4_english__1_3_2_3->n25_a_ks4_english__1_3_2_3_1 n25_a_ks4_english__1_3_2_3_1_1 ILYR n25_a_ks4_english__1_3_2_3_1->n25_a_ks4_english__1_3_2_3_1_1 n25_a_ks4_english__1_3_2_3_1_2 PUNC n25_a_ks4_english__1_3_2_3_1->n25_a_ks4_english__1_3_2_3_1_2 n25_a_ks4_english__1_3_2_3_1_3 CONJP n25_a_ks4_english__1_3_2_3_1->n25_a_ks4_english__1_3_2_3_1_3 n25_a_ks4_english__1_3_2_3_1_4 CONJP n25_a_ks4_english__1_3_2_3_1->n25_a_ks4_english__1_3_2_3_1_4 n25_a_ks4_english__1_3_2_3_1_1_1 TO n25_a_ks4_english__1_3_2_3_1_1->n25_a_ks4_english__1_3_2_3_1_1_1 n25_a_ks4_english__1_3_2_3_1_1_2 VB;_Tn_ n25_a_ks4_english__1_3_2_3_1_1->n25_a_ks4_english__1_3_2_3_1_1_2 n25_a_ks4_english__1_3_2_3_1_1_3 NP-OB1 n25_a_ks4_english__1_3_2_3_1_1->n25_a_ks4_english__1_3_2_3_1_1_3 n25_a_ks4_english__1_3_2_3_1_1_4 ADVP-NIM n25_a_ks4_english__1_3_2_3_1_1->n25_a_ks4_english__1_3_2_3_1_1_4 n25_a_ks4_english__1_3_2_3_1_1_1->n25_a_ks4_english__1_3_2_3_1_1_1_1 n25_a_ks4_english__1_3_2_3_1_1_2->n25_a_ks4_english__1_3_2_3_1_1_2_1 n25_a_ks4_english__1_3_2_3_1_1_3_1 NP-GEN n25_a_ks4_english__1_3_2_3_1_1_3->n25_a_ks4_english__1_3_2_3_1_1_3_1 n25_a_ks4_english__1_3_2_3_1_1_3_2 NLYR n25_a_ks4_english__1_3_2_3_1_1_3->n25_a_ks4_english__1_3_2_3_1_1_3_2 n25_a_ks4_english__1_3_2_3_1_1_3_1_1 PRO;_genm_ n25_a_ks4_english__1_3_2_3_1_1_3_1->n25_a_ks4_english__1_3_2_3_1_1_3_1_1 n25_a_ks4_english__1_3_2_3_1_1_3_1_1->n25_a_ks4_english__1_3_2_3_1_1_3_1_1_1 n25_a_ks4_english__1_3_2_3_1_1_3_2_1 NLYR n25_a_ks4_english__1_3_2_3_1_1_3_2->n25_a_ks4_english__1_3_2_3_1_1_3_2_1 n25_a_ks4_english__1_3_2_3_1_1_3_2_2 CONJP n25_a_ks4_english__1_3_2_3_1_1_3_2->n25_a_ks4_english__1_3_2_3_1_1_3_2_2 n25_a_ks4_english__1_3_2_3_1_1_3_2_1_1 N n25_a_ks4_english__1_3_2_3_1_1_3_2_1->n25_a_ks4_english__1_3_2_3_1_1_3_2_1_1 n25_a_ks4_english__1_3_2_3_1_1_3_2_1_1->n25_a_ks4_english__1_3_2_3_1_1_3_2_1_1_1 n25_a_ks4_english__1_3_2_3_1_1_3_2_2_1 CONJ n25_a_ks4_english__1_3_2_3_1_1_3_2_2->n25_a_ks4_english__1_3_2_3_1_1_3_2_2_1 n25_a_ks4_english__1_3_2_3_1_1_3_2_2_2 NLYR n25_a_ks4_english__1_3_2_3_1_1_3_2_2->n25_a_ks4_english__1_3_2_3_1_1_3_2_2_2 n25_a_ks4_english__1_3_2_3_1_1_3_2_2_1->n25_a_ks4_english__1_3_2_3_1_1_3_2_2_1_1 n25_a_ks4_english__1_3_2_3_1_1_3_2_2_2_1 N n25_a_ks4_english__1_3_2_3_1_1_3_2_2_2->n25_a_ks4_english__1_3_2_3_1_1_3_2_2_2_1 n25_a_ks4_english__1_3_2_3_1_1_3_2_2_2_1->n25_a_ks4_english__1_3_2_3_1_1_3_2_2_2_1_1 n25_a_ks4_english__1_3_2_3_1_1_4_1 ADV n25_a_ks4_english__1_3_2_3_1_1_4->n25_a_ks4_english__1_3_2_3_1_1_4_1 n25_a_ks4_english__1_3_2_3_1_1_4_1->n25_a_ks4_english__1_3_2_3_1_1_4_1_1 n25_a_ks4_english__1_3_2_3_1_2->n25_a_ks4_english__1_3_2_3_1_2_1 n25_a_ks4_english__1_3_2_3_1_3_1 ILYR n25_a_ks4_english__1_3_2_3_1_3->n25_a_ks4_english__1_3_2_3_1_3_1 n25_a_ks4_english__1_3_2_3_1_3_1_1 VB;_Tw_ n25_a_ks4_english__1_3_2_3_1_3_1->n25_a_ks4_english__1_3_2_3_1_3_1_1 n25_a_ks4_english__1_3_2_3_1_3_1_2 CP-QUE-OB1 n25_a_ks4_english__1_3_2_3_1_3_1->n25_a_ks4_english__1_3_2_3_1_3_1_2 n25_a_ks4_english__1_3_2_3_1_3_1_1->n25_a_ks4_english__1_3_2_3_1_3_1_1_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1 IP-SUB n25_a_ks4_english__1_3_2_3_1_3_1_2->n25_a_ks4_english__1_3_2_3_1_3_1_2_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_1 ADVP-NIM n25_a_ks4_english__1_3_2_3_1_3_1_2_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_2 NP-SBJ n25_a_ks4_english__1_3_2_3_1_3_1_2_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_2 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_3 BEP;_cat_VePASS_ n25_a_ks4_english__1_3_2_3_1_3_1_2_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_3 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4 IP-PPL-CAT n25_a_ks4_english__1_3_2_3_1_3_1_2_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_1_1 WADV n25_a_ks4_english__1_3_2_3_1_3_1_2_1_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_1_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_1_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_1_1_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_2_1 NS n25_a_ks4_english__1_3_2_3_1_3_1_2_1_2->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_2_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_2_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_2_1_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_3->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_3_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_1 NP-LGS n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_2 VVN;_Tn_ n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_2 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3 PP-NIM n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_1_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_2->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_2_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_1 P-ROLE n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2 NP n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_1_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1 IP-REL n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_1 NP-PRD n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_2 NP-SBJ n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_2 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_3 BEP;_Ln_ n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_3 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_1_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_2_1 PRO n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_2->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_2_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_2_1->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_2_1_1 n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_3->n25_a_ks4_english__1_3_2_3_1_3_1_2_1_4_3_2_1_3_1 n25_a_ks4_english__1_3_2_3_1_4_1 CONJ n25_a_ks4_english__1_3_2_3_1_4->n25_a_ks4_english__1_3_2_3_1_4_1 n25_a_ks4_english__1_3_2_3_1_4_2 ILYR n25_a_ks4_english__1_3_2_3_1_4->n25_a_ks4_english__1_3_2_3_1_4_2 n25_a_ks4_english__1_3_2_3_1_4_1->n25_a_ks4_english__1_3_2_3_1_4_1_1 n25_a_ks4_english__1_3_2_3_1_4_2_1 TO n25_a_ks4_english__1_3_2_3_1_4_2->n25_a_ks4_english__1_3_2_3_1_4_2_1 n25_a_ks4_english__1_3_2_3_1_4_2_2 VB;_Tn_ n25_a_ks4_english__1_3_2_3_1_4_2->n25_a_ks4_english__1_3_2_3_1_4_2_2 n25_a_ks4_english__1_3_2_3_1_4_2_3 NP-OB1 n25_a_ks4_english__1_3_2_3_1_4_2->n25_a_ks4_english__1_3_2_3_1_4_2_3 n25_a_ks4_english__1_3_2_3_1_4_2_1->n25_a_ks4_english__1_3_2_3_1_4_2_1_1 n25_a_ks4_english__1_3_2_3_1_4_2_2->n25_a_ks4_english__1_3_2_3_1_4_2_2_1 n25_a_ks4_english__1_3_2_3_1_4_2_3_1 ADJP n25_a_ks4_english__1_3_2_3_1_4_2_3->n25_a_ks4_english__1_3_2_3_1_4_2_3_1 n25_a_ks4_english__1_3_2_3_1_4_2_3_2 NPR n25_a_ks4_english__1_3_2_3_1_4_2_3->n25_a_ks4_english__1_3_2_3_1_4_2_3_2 n25_a_ks4_english__1_3_2_3_1_4_2_3_1_1 ADJ n25_a_ks4_english__1_3_2_3_1_4_2_3_1->n25_a_ks4_english__1_3_2_3_1_4_2_3_1_1 n25_a_ks4_english__1_3_2_3_1_4_2_3_1_1->n25_a_ks4_english__1_3_2_3_1_4_2_3_1_1_1 n25_a_ks4_english__1_3_2_3_1_4_2_3_2->n25_a_ks4_english__1_3_2_3_1_4_2_3_2_1 n25_a_ks4_english__1_4->n25_a_ks4_english__1_4_1
( (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))



%3 r_0025_0025__English English r_0025_0024__Standard Standard r_0025_0025__English->r_0025_0024__Standard [attrib] r_0025_0023__use use r_0025_0023__use->r_0025_0025__English [arg1] r_0025_0001__Pupils Pupils r_0025_0023__use->r_0025_0001__Pupils [arg0] r_0025_0021__and and r_0025_0021__and->r_0025_0023__use [conj3] r_0025_0013__understand understand r_0025_0021__and->r_0025_0013__understand [conj2] r_0025_0006__control control r_0025_0021__and->r_0025_0006__control [conj1] r_0025_0013__understand->r_0025_0001__Pupils [arg0] r_0025_0016__are are r_0025_0013__understand->r_0025_0016__are [arg1] r_0025_0006__control->r_0025_0001__Pupils [arg0] r_0025_0009__and and r_0025_0006__control->r_0025_0009__and [arg1] r_0025_0011__consciously consciously r_0025_0006__control->r_0025_0011__consciously [nim] r_0025_0020__are are z_0025_5018 r_0025_0020__are->z_0025_5018 inv_prd r_0025_0015__sentences sentences r_0025_0020__are->r_0025_0015__sentences [arg0] r_0025_0017__constructed constructed r_0025_0017__constructed->z_0025_5018 as [nim] r_0025_0017__constructed->r_0025_0015__sentences [arg1] z_0025_5019___star_ * r_0025_0017__constructed->z_0025_5019___star_ [arg0] r_0025_0016__are->r_0025_0017__constructed [scope] r_0025_0014__why why r_0025_0016__are->r_0025_0014__why [nim] r_0025_0009__and->r_0025_0001__Pupils [gen] r_0025_0010__writing writing r_0025_0009__and->r_0025_0010__writing [conj2] r_0025_0008__speaking speaking r_0025_0009__and->r_0025_0008__speaking [conj1] r_0025_0004__taught taught r_0025_0004__taught->r_0025_0001__Pupils [arg2] r_0025_0004__taught->r_0025_0021__and [arg1] z_0025_5026___star_ * r_0025_0004__taught->z_0025_5026___star_ [arg0] r_0025_0003__be be r_0025_0003__be->r_0025_0004__taught [scope] r_0025_0002__should should r_0025_0002__should->r_0025_0003__be [scope]
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_0025_5026___star_,arg0).
arc(r_0025_0006__control,r_0025_0001__Pupils,arg0).
arc(r_0025_0006__control,r_0025_0009__and,arg1).
arc(r_0025_0006__control,r_0025_0011__consciously,nim).
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,nim).
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_0025_5018,r_0025_0018__as__nim).
arc(r_0025_0017__constructed,z_0025_5019___star_,arg0).
arc(r_0025_0020__are,r_0025_0015__sentences,arg0).
arc(r_0025_0020__are,z_0025_5018,inv_prd).
arc(r_0025_0021__and,r_0025_0006__control,conj1).
arc(r_0025_0021__and,r_0025_0013__understand,conj2).
arc(r_0025_0021__and,r_0025_0023__use,conj3).
arc(r_0025_0023__use,r_0025_0001__Pupils,arg0).
arc(r_0025_0023__use,r_0025_0025__English,arg1).
arc(r_0025_0025__English,r_0025_0024__Standard,attrib).



%3 r_0025_0002__should_r_0025_0003__be_r_0025_0004__taught should be taught r_0025_0001__Pupils Pupils r_0025_0002__should_r_0025_0003__be_r_0025_0004__taught->r_0025_0001__Pupils [arg2] r_0025_0021__and and r_0025_0002__should_r_0025_0003__be_r_0025_0004__taught->r_0025_0021__and [arg1] z_0025_5026___star_ * r_0025_0002__should_r_0025_0003__be_r_0025_0004__taught->z_0025_5026___star_ [arg0] r_0025_0006__control control r_0025_0021__and->r_0025_0006__control [conj1] r_0025_0013__understand understand r_0025_0021__and->r_0025_0013__understand [conj2] r_0025_0023__use use r_0025_0021__and->r_0025_0023__use [conj3] r_0025_0006__control->r_0025_0001__Pupils [arg0] r_0025_0009__and and r_0025_0006__control->r_0025_0009__and [arg1] r_0025_0011__consciously consciously r_0025_0006__control->r_0025_0011__consciously [nim] r_0025_0009__and->r_0025_0001__Pupils [gen] r_0025_0008__speaking speaking r_0025_0009__and->r_0025_0008__speaking [conj1] r_0025_0010__writing writing r_0025_0009__and->r_0025_0010__writing [conj2] r_0025_0013__understand->r_0025_0001__Pupils [arg0] r_0025_0016__are_r_0025_0017__constructed are constructed r_0025_0013__understand->r_0025_0016__are_r_0025_0017__constructed [arg1] r_0025_0014__why why r_0025_0016__are_r_0025_0017__constructed->r_0025_0014__why [nim] r_0025_0015__sentences sentences r_0025_0016__are_r_0025_0017__constructed->r_0025_0015__sentences [arg1] z_0025_5018 r_0025_0016__are_r_0025_0017__constructed->z_0025_5018 as [nim] z_0025_5019___star_ * r_0025_0016__are_r_0025_0017__constructed->z_0025_5019___star_ [arg0] r_0025_0020__are are z_0025_5018->r_0025_0020__are inv_prd r_0025_0020__are->r_0025_0015__sentences [arg0] r_0025_0023__use->r_0025_0001__Pupils [arg0] r_0025_0025__English English r_0025_0023__use->r_0025_0025__English [arg1] r_0025_0024__Standard Standard r_0025_0025__English->r_0025_0024__Standard [attrib]
fof(formula,axiom,
    ? [R_0025_0001__PUPILS,R_0025_0008__SPEAKING,R_0025_0010__WRITING,R_0025_0009__AND,R_0025_0011__CONSCIOUSLY,R_0025_0006__CONTROL,R_0025_0014__WHY,R_0025_0015__SENTENCES,R_0025_0020__ARE,Z_0025_5018,Z_0025_5019___STAR_,R_0025_0016__ARE_R_0025_0017__CONSTRUCTED,R_0025_0013__UNDERSTAND,R_0025_0024__STANDARD,R_0025_0025__ENGLISH,R_0025_0023__USE,R_0025_0021__AND,Z_0025_5026___STAR_,R_0025_0002__SHOULD_R_0025_0003__BE_R_0025_0004__TAUGHT] :
      ( r_0025_0001__Pupils(R_0025_0001__PUPILS)
      & r_0025_0008__speaking(R_0025_0008__SPEAKING)
      & r_0025_0010__writing(R_0025_0010__WRITING)
      & r_0025_0011__consciously(R_0025_0011__CONSCIOUSLY)
      & r_0025_0014__why(R_0025_0014__WHY)
      & r_0025_0015__sentences(R_0025_0015__SENTENCES)
      & r_0025_0024__Standard(R_0025_0024__STANDARD)
      & z_0025_5019___star_(Z_0025_5019___STAR_)
      & z_0025_5026___star_(Z_0025_5026___STAR_)
      & r_0025_0002__should_r_0025_0003__be_r_0025_0004__taught(R_0025_0002__SHOULD_R_0025_0003__BE_R_0025_0004__TAUGHT)
      & has_arg0(R_0025_0002__SHOULD_R_0025_0003__BE_R_0025_0004__TAUGHT,Z_0025_5026___STAR_)
      & has_arg1(R_0025_0002__SHOULD_R_0025_0003__BE_R_0025_0004__TAUGHT,R_0025_0021__AND)
      & r_0025_0021__and(R_0025_0021__AND)
      & has_conj3(R_0025_0021__AND,R_0025_0023__USE)
      & r_0025_0023__use(R_0025_0023__USE)
      & has_arg1(R_0025_0023__USE,R_0025_0025__ENGLISH)
      & r_0025_0025__English(R_0025_0025__ENGLISH)
      & has_attrib(R_0025_0025__ENGLISH,R_0025_0024__STANDARD)
      & has_arg0(R_0025_0023__USE,R_0025_0001__PUPILS)
      & has_conj2(R_0025_0021__AND,R_0025_0013__UNDERSTAND)
      & r_0025_0013__understand(R_0025_0013__UNDERSTAND)
      & has_arg1(R_0025_0013__UNDERSTAND,R_0025_0016__ARE_R_0025_0017__CONSTRUCTED)
      & r_0025_0016__are_r_0025_0017__constructed(R_0025_0016__ARE_R_0025_0017__CONSTRUCTED)
      & has_arg0(R_0025_0016__ARE_R_0025_0017__CONSTRUCTED,Z_0025_5019___STAR_)
      & has_r_0025_0018__as__nim(R_0025_0016__ARE_R_0025_0017__CONSTRUCTED,Z_0025_5018)
      & z_0025_5018(Z_0025_5018)
      & has_inv_prd(Z_0025_5018,R_0025_0020__ARE)
      & r_0025_0020__are(R_0025_0020__ARE)
      & has_arg0(R_0025_0020__ARE,R_0025_0015__SENTENCES)
      & has_arg1(R_0025_0016__ARE_R_0025_0017__CONSTRUCTED,R_0025_0015__SENTENCES)
      & has_nim(R_0025_0016__ARE_R_0025_0017__CONSTRUCTED,R_0025_0014__WHY)
      & has_arg0(R_0025_0013__UNDERSTAND,R_0025_0001__PUPILS)
      & has_conj1(R_0025_0021__AND,R_0025_0006__CONTROL)
      & r_0025_0006__control(R_0025_0006__CONTROL)
      & has_nim(R_0025_0006__CONTROL,R_0025_0011__CONSCIOUSLY)
      & has_arg1(R_0025_0006__CONTROL,R_0025_0009__AND)
      & r_0025_0009__and(R_0025_0009__AND)
      & has_conj2(R_0025_0009__AND,R_0025_0010__WRITING)
      & has_conj1(R_0025_0009__AND,R_0025_0008__SPEAKING)
      & has_gen(R_0025_0009__AND,R_0025_0001__PUPILS)
      & has_arg0(R_0025_0006__CONTROL,R_0025_0001__PUPILS)
      & has_arg2(R_0025_0002__SHOULD_R_0025_0003__BE_R_0025_0004__TAUGHT,R_0025_0001__PUPILS) ) ).