TSPC 8_a_ks4

8_a_ks4_english
All the skills of language are essential to participating fully as a member of society; pupils, therefore, who do not learn to speak, read and write fluently and confidently are effectively disenfranchised.

arc(r_0008_0001__All_quant, r_0008_0002__the_r_0008_0003__skills, restriction).
arc(r_0008_0001__All_quant, r_0008_0006__are, scope).
arc(r_0008_0002__the_r_0008_0003__skills, r_0008_0005__language, r_0008_0004__of).
arc(r_0008_0006__are, r_0008_0002__the_r_0008_0003__skills, arg0).
arc(r_0008_0006__are, r_0008_0007__essential, prd).
arc(r_0008_0007__essential, r_0008_0009__participating, r_0008_0008__to).
arc(r_0008_0009__participating, r_0008_0010__fully, nim28).
arc(r_0008_0009__participating, r_0008_0012__a_r_0008_0013__member, r_0008_0011__as_clr34).
arc(r_0008_0009__participating, z_000_8_a_ks4_english_25, arg0).
arc(r_0008_0012__a_r_0008_0013__member, r_0008_0015__society, r_0008_0014__of).
arc(r_0008_0022__do_r_0008_0024__learn, r_0008_0017__pupils, arg0).
arc(r_0008_0022__do_r_0008_0024__learn, r_0008_0029__and, arg1).
arc(r_0008_0023__not, r_0008_0022__do_r_0008_0024__learn, keep_scope).
arc(r_0008_0026__speak, r_0008_0017__pupils, arg0).
arc(r_0008_0026__speak, r_0008_0032__and, nim90).
arc(r_0008_0028__read, r_0008_0017__pupils, arg0).
arc(r_0008_0028__read, r_0008_0032__and, nim90).
arc(r_0008_0029__and, r_0008_0026__speak, conj1).
arc(r_0008_0029__and, r_0008_0028__read, conj2).
arc(r_0008_0029__and, r_0008_0030__write, conj3).
arc(r_0008_0030__write, r_0008_0017__pupils, arg0).
arc(r_0008_0030__write, r_0008_0032__and, nim90).
arc(r_0008_0032__and, r_0008_0031__fluently, conj1).
arc(r_0008_0032__and, r_0008_0033__confidently, conj2).
arc(r_0008_0034__are, r_0008_0019__therefore, nim56).
arc(r_0008_0034__are, r_0008_0036__disenfranchised, scope).
arc(r_0008_0036__disenfranchised, r_0008_0017__pupils, arg1).
arc(r_0008_0036__disenfranchised, r_0008_0035__effectively, nim106).
arc(r_0008_0036__disenfranchised, z_000_8_a_ks4_english_104, arg0).
arc(z_000_8_a_ks4_english_2, r_0008_0001__All_quant, conj1).
arc(z_000_8_a_ks4_english_2, r_0008_0034__are, conj2).

fof(formula,axiom,
    ? [R_0008_0019__THEREFORE,R_0008_0017__PUPILS,R_0008_0035__EFFECTIVELY,Z_000_8_A_KS4_ENGLISH_104,R_0008_0034__ARE_R_0008_0036__DISENFRANCHISED,Z_000_8_A_KS4_ENGLISH_2] :
      ( r_0008_0017__pupils(R_0008_0017__PUPILS)
      & r_0008_0019__therefore(R_0008_0019__THEREFORE)
      & r_0008_0035__effectively(R_0008_0035__EFFECTIVELY)
      & z_000_8_a_ks4_english_104(Z_000_8_A_KS4_ENGLISH_104)
      & z_000_8_a_ks4_english_2(Z_000_8_A_KS4_ENGLISH_2)
      & has_conj2(Z_000_8_A_KS4_ENGLISH_2,R_0008_0034__ARE_R_0008_0036__DISENFRANCHISED)
      & r_0008_0034__are_r_0008_0036__disenfranchised(R_0008_0034__ARE_R_0008_0036__DISENFRANCHISED)
      & has_arg0(R_0008_0034__ARE_R_0008_0036__DISENFRANCHISED,Z_000_8_A_KS4_ENGLISH_104)
      & has_nim106(R_0008_0034__ARE_R_0008_0036__DISENFRANCHISED,R_0008_0035__EFFECTIVELY)
      & has_arg1(R_0008_0034__ARE_R_0008_0036__DISENFRANCHISED,R_0008_0017__PUPILS)
      & has_nim56(R_0008_0034__ARE_R_0008_0036__DISENFRANCHISED,R_0008_0019__THEREFORE)
      & ! [R_0008_0002__THE_R_0008_0003__SKILLS,R_0008_0005__LANGUAGE] :
          ( ( r_0008_0005__language(R_0008_0005__LANGUAGE)
            & r_0008_0002__the_r_0008_0003__skills(R_0008_0002__THE_R_0008_0003__SKILLS)
            & has_r_0008_0004__of(R_0008_0002__THE_R_0008_0003__SKILLS,R_0008_0005__LANGUAGE) )
         => ? [R_0008_0010__FULLY,R_0008_0015__SOCIETY,R_0008_0012__A_R_0008_0013__MEMBER,Z_000_8_A_KS4_ENGLISH_25,R_0008_0009__PARTICIPATING,R_0008_0007__ESSENTIAL,R_0008_0006__ARE] :
              ( r_0008_0010__fully(R_0008_0010__FULLY)
              & r_0008_0015__society(R_0008_0015__SOCIETY)
              & z_000_8_a_ks4_english_25(Z_000_8_A_KS4_ENGLISH_25)
              & r_0008_0006__are(R_0008_0006__ARE)
              & has_prd(R_0008_0006__ARE,R_0008_0007__ESSENTIAL)
              & r_0008_0007__essential(R_0008_0007__ESSENTIAL)
              & has_r_0008_0008__to(R_0008_0007__ESSENTIAL,R_0008_0009__PARTICIPATING)
              & r_0008_0009__participating(R_0008_0009__PARTICIPATING)
              & has_arg0(R_0008_0009__PARTICIPATING,Z_000_8_A_KS4_ENGLISH_25)
              & has_r_0008_0011__as_clr34(R_0008_0009__PARTICIPATING,R_0008_0012__A_R_0008_0013__MEMBER)
              & r_0008_0012__a_r_0008_0013__member(R_0008_0012__A_R_0008_0013__MEMBER)
              & has_r_0008_0014__of(R_0008_0012__A_R_0008_0013__MEMBER,R_0008_0015__SOCIETY)
              & has_nim28(R_0008_0009__PARTICIPATING,R_0008_0010__FULLY)
              & has_arg0(R_0008_0006__ARE,R_0008_0002__THE_R_0008_0003__SKILLS) ) )
      & ~ ? [R_0008_0031__FLUENTLY,R_0008_0033__CONFIDENTLY,R_0008_0032__AND,R_0008_0026__SPEAK,R_0008_0028__READ,R_0008_0030__WRITE,R_0008_0029__AND,R_0008_0022__DO_R_0008_0024__LEARN] :
            ( r_0008_0031__fluently(R_0008_0031__FLUENTLY)
            & r_0008_0033__confidently(R_0008_0033__CONFIDENTLY)
            & r_0008_0022__do_r_0008_0024__learn(R_0008_0022__DO_R_0008_0024__LEARN)
            & has_arg1(R_0008_0022__DO_R_0008_0024__LEARN,R_0008_0029__AND)
            & r_0008_0029__and(R_0008_0029__AND)
            & has_conj3(R_0008_0029__AND,R_0008_0030__WRITE)
            & r_0008_0030__write(R_0008_0030__WRITE)
            & has_nim90(R_0008_0030__WRITE,R_0008_0032__AND)
            & r_0008_0032__and(R_0008_0032__AND)
            & has_conj2(R_0008_0032__AND,R_0008_0033__CONFIDENTLY)
            & has_conj1(R_0008_0032__AND,R_0008_0031__FLUENTLY)
            & has_arg0(R_0008_0030__WRITE,R_0008_0017__PUPILS)
            & has_conj2(R_0008_0029__AND,R_0008_0028__READ)
            & r_0008_0028__read(R_0008_0028__READ)
            & has_nim90(R_0008_0028__READ,R_0008_0032__AND)
            & has_arg0(R_0008_0028__READ,R_0008_0017__PUPILS)
            & has_conj1(R_0008_0029__AND,R_0008_0026__SPEAK)
            & r_0008_0026__speak(R_0008_0026__SPEAK)
            & has_nim90(R_0008_0026__SPEAK,R_0008_0032__AND)
            & has_arg0(R_0008_0026__SPEAK,R_0008_0017__PUPILS)
            & has_arg0(R_0008_0022__DO_R_0008_0024__LEARN,R_0008_0017__PUPILS) ) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (Q;_nphd_ All;{all})
                              (D the;{the})
                              (NS skills;{skill})
                              (PP (P-ROLE of;{of})
                                  (NP (N language;{language}))))
                      (BEP;_La_ are;{be})
                      (ADJP-PRD (ADJ essential;{essential})
                                (PP (P-ROLE to;{to})
                                    (IP-PPL3 (VAG;_Ipr_ participating;{participate[as]})
                                             (ADVP-NIM (ADV fully;{fully}))
                                             (PP-CLR (P-ROLE as;{as})
                                                     (NP (D a;{a})
                                                         (N member;{member})
                                                         (PP (P-ROLE of;{of})
                                                             (NP (N society;{society})))))))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{PUPILS} (NS pupils;{pupil})
                                              (IP-REL *ICH*-106))
                             (PUNC ,)
                             (ADVP-NIM (ADV therefore;{therefore}))
                             (PUNC ,)
                             (IP-REL-EPD-106 (NP-SBJ (RPRO who;{who}))
                                             (DOP do;{do})
                                             (NEG not;{not})
                                             (VB;_Tt_ learn;{learn})
                                             (IP-INF-OB1 (TO to;{to})
                                                         (ILYR (ILYR (VB;_I_ speak;{speak}))
                                                               (PUNC ,)
                                                               (CONJP (ILYR (VB;_I_ read;{read})))
                                                               (CONJP (CONJ and;{and})
                                                                      (ILYR (VB;_I_ write;{write}))))
                                                         (ADVP-NIM (AVLYR (AVLYR (ADV fluently;{fluently}))
                                                                          (CONJP (CONJ and;{and})
                                                                                 (AVLYR (ADV confidently;{confidently})))))))
                             (BEP;_cat_VePASS_ are;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (ADVP-NIM (ADV effectively;{effectively}))
                                         (VVN;_Tn_ disenfranchised;{disenfranchise})))))
          (PUNC .))
  (ID 8_a_ks4_english))