1_a_ks4_english
English programmes of study: key stage 4 National curriculum in England July 2014

%3 r_0001_0002__programmes programmes r_0001_0001__English English r_0001_0002__programmes->r_0001_0001__English [attrib] r_0001_0004__study study r_0001_0002__programmes->r_0001_0004__study of r_0001_0007__stage_r_0001_0008__4 stage 4 r_0001_0006__key key r_0001_0007__stage_r_0001_0008__4->r_0001_0006__key [attrib] r_0001_0010__curriculum curriculum r_0001_0009__National National r_0001_0010__curriculum->r_0001_0009__National [attrib] r_0001_0012__England England r_0001_0010__curriculum->r_0001_0012__England in z_000_1_a_ks4_english_16 z_000_1_a_ks4_english_16->r_0001_0002__programmes [arg0] z_000_1_a_ks4_english_16->r_0001_0007__stage_r_0001_0008__4 [prd] z_000_1_a_ks4_english_1 z_000_1_a_ks4_english_1->r_0001_0002__programmes [nim] z_000_1_a_ks4_english_25 z_000_1_a_ks4_english_25->r_0001_0007__stage_r_0001_0008__4 [arg0] z_000_1_a_ks4_english_25->r_0001_0010__curriculum [prd] z_000_1_a_ks4_english_38 z_000_1_a_ks4_english_38->r_0001_0002__programmes [arg0] r_0001_0013__July_r_0001_0014__2014 July 2014 z_000_1_a_ks4_english_38->r_0001_0013__July_r_0001_0014__2014 [prd]
arc(r_0001_0002__programmes, r_0001_0001__English, attrib3).
arc(r_0001_0002__programmes, r_0001_0004__study, r_0001_0003__of).
arc(r_0001_0007__stage_r_0001_0008__4, r_0001_0006__key, attrib18).
arc(r_0001_0010__curriculum, r_0001_0009__National, attrib27).
arc(r_0001_0010__curriculum, r_0001_0012__England, r_0001_0011__in).
arc(z_000_1_a_ks4_english_16, r_0001_0002__programmes, arg0).
arc(z_000_1_a_ks4_english_16, r_0001_0007__stage_r_0001_0008__4, prd).
arc(z_000_1_a_ks4_english_1, r_0001_0002__programmes, nim2).
arc(z_000_1_a_ks4_english_25, r_0001_0007__stage_r_0001_0008__4, arg0).
arc(z_000_1_a_ks4_english_25, r_0001_0010__curriculum, prd).
arc(z_000_1_a_ks4_english_38, r_0001_0002__programmes, arg0).
arc(z_000_1_a_ks4_english_38, r_0001_0013__July_r_0001_0014__2014, prd).



%3 r_0001_0002__programmes programmes r_0001_0001__English English r_0001_0002__programmes->r_0001_0001__English [attrib] r_0001_0004__study study r_0001_0002__programmes->r_0001_0004__study of r_0001_0007__stage_r_0001_0008__4 stage 4 r_0001_0006__key key r_0001_0007__stage_r_0001_0008__4->r_0001_0006__key [attrib] r_0001_0010__curriculum curriculum r_0001_0009__National National r_0001_0010__curriculum->r_0001_0009__National [attrib] r_0001_0012__England England r_0001_0010__curriculum->r_0001_0012__England in z_000_1_a_ks4_english_16 z_000_1_a_ks4_english_16->r_0001_0002__programmes [arg0] z_000_1_a_ks4_english_16->r_0001_0007__stage_r_0001_0008__4 [prd] z_000_1_a_ks4_english_1 z_000_1_a_ks4_english_1->r_0001_0002__programmes [nim] z_000_1_a_ks4_english_25 z_000_1_a_ks4_english_25->r_0001_0007__stage_r_0001_0008__4 [arg0] z_000_1_a_ks4_english_25->r_0001_0010__curriculum [prd] z_000_1_a_ks4_english_38 z_000_1_a_ks4_english_38->r_0001_0002__programmes [arg0] r_0001_0013__July_r_0001_0014__2014 July 2014 z_000_1_a_ks4_english_38->r_0001_0013__July_r_0001_0014__2014 [prd]
fof(formula,axiom,
    ? [Z_1_A_KS4_ENGLISH_1,Z_1_A_KS4_ENGLISH_16,Z_1_A_KS4_ENGLISH_25,R_1_7_STAGE_4,R_1_6_KEY,R_1_10_CURRICULUM,R_1_9_NATIONAL,R_1_12_ENGLAND,Z_1_A_KS4_ENGLISH_38,R_1_2_PROGRAMMES,R_1_1_ENGLISH,R_1_4_STUDY,R_1_13_JULY_2014] :
      ( key(R_1_6_KEY)
      & national(R_1_9_NATIONAL)
      & england(R_1_12_ENGLAND)
      & english(R_1_1_ENGLISH)
      & study(R_1_4_STUDY)
      & july_2014(R_1_13_JULY_2014)
      & z_1_a_ks4_english_1(Z_1_A_KS4_ENGLISH_1)
      & nim2(Z_1_A_KS4_ENGLISH_1,R_1_2_PROGRAMMES)
      & programmes(R_1_2_PROGRAMMES)
      & attrib3(R_1_2_PROGRAMMES,R_1_1_ENGLISH)
      & of(R_1_2_PROGRAMMES,R_1_4_STUDY)
      & z_1_a_ks4_english_16(Z_1_A_KS4_ENGLISH_16,R_1_2_PROGRAMMES,R_1_7_STAGE_4)
      & stage_4(R_1_7_STAGE_4)
      & attrib18(R_1_7_STAGE_4,R_1_6_KEY)
      & z_1_a_ks4_english_25(Z_1_A_KS4_ENGLISH_25,R_1_7_STAGE_4,R_1_10_CURRICULUM)
      & curriculum(R_1_10_CURRICULUM)
      & attrib27(R_1_10_CURRICULUM,R_1_9_NATIONAL)
      & in(R_1_10_CURRICULUM,R_1_12_ENGLAND)
      & z_1_a_ks4_english_38(Z_1_A_KS4_ENGLISH_38,R_1_2_PROGRAMMES,R_1_13_JULY_2014) ) ).



n1_a_ks4_english n1_a_ks4_english_5 English n1_a_ks4_english_7 programmes n1_a_ks4_english_10 of n1_a_ks4_english_13 study n1_a_ks4_english_15 : n1_a_ks4_english_20 key n1_a_ks4_english_22 stage n1_a_ks4_english_24 4 n1_a_ks4_english_29 National n1_a_ks4_english_31 curriculum n1_a_ks4_english_34 in n1_a_ks4_english_37 England n1_a_ks4_english_41 July n1_a_ks4_english_43 2014 n1_a_ks4_english_1 FRAG n1_a_ks4_english_2 NP n1_a_ks4_english_1->n1_a_ks4_english_2 n1_a_ks4_english_3 ADJP n1_a_ks4_english_2->n1_a_ks4_english_3 n1_a_ks4_english_6 NS n1_a_ks4_english_2->n1_a_ks4_english_6 n1_a_ks4_english_8 PP n1_a_ks4_english_2->n1_a_ks4_english_8 n1_a_ks4_english_14 PUNC n1_a_ks4_english_2->n1_a_ks4_english_14 n1_a_ks4_english_16 IP-PPL n1_a_ks4_english_2->n1_a_ks4_english_16 n1_a_ks4_english_38 IP-PPL n1_a_ks4_english_2->n1_a_ks4_english_38 n1_a_ks4_english_4 ADJ n1_a_ks4_english_3->n1_a_ks4_english_4 n1_a_ks4_english_4->n1_a_ks4_english_5 n1_a_ks4_english_6->n1_a_ks4_english_7 n1_a_ks4_english_9 P-ROLE n1_a_ks4_english_8->n1_a_ks4_english_9 n1_a_ks4_english_11 NP n1_a_ks4_english_8->n1_a_ks4_english_11 n1_a_ks4_english_9->n1_a_ks4_english_10 n1_a_ks4_english_12 N n1_a_ks4_english_11->n1_a_ks4_english_12 n1_a_ks4_english_12->n1_a_ks4_english_13 n1_a_ks4_english_14->n1_a_ks4_english_15 n1_a_ks4_english_17 NP-PRD n1_a_ks4_english_16->n1_a_ks4_english_17 n1_a_ks4_english_18 ADJP n1_a_ks4_english_17->n1_a_ks4_english_18 n1_a_ks4_english_21 N n1_a_ks4_english_17->n1_a_ks4_english_21 n1_a_ks4_english_23 NUM n1_a_ks4_english_17->n1_a_ks4_english_23 n1_a_ks4_english_25 IP-PPL n1_a_ks4_english_17->n1_a_ks4_english_25 n1_a_ks4_english_19 ADJ n1_a_ks4_english_18->n1_a_ks4_english_19 n1_a_ks4_english_19->n1_a_ks4_english_20 n1_a_ks4_english_21->n1_a_ks4_english_22 n1_a_ks4_english_23->n1_a_ks4_english_24 n1_a_ks4_english_26 NP-PRD n1_a_ks4_english_25->n1_a_ks4_english_26 n1_a_ks4_english_27 ADJP n1_a_ks4_english_26->n1_a_ks4_english_27 n1_a_ks4_english_30 N n1_a_ks4_english_26->n1_a_ks4_english_30 n1_a_ks4_english_32 PP n1_a_ks4_english_26->n1_a_ks4_english_32 n1_a_ks4_english_28 ADJ n1_a_ks4_english_27->n1_a_ks4_english_28 n1_a_ks4_english_28->n1_a_ks4_english_29 n1_a_ks4_english_30->n1_a_ks4_english_31 n1_a_ks4_english_33 P-ROLE n1_a_ks4_english_32->n1_a_ks4_english_33 n1_a_ks4_english_35 NP n1_a_ks4_english_32->n1_a_ks4_english_35 n1_a_ks4_english_33->n1_a_ks4_english_34 n1_a_ks4_english_36 NPR n1_a_ks4_english_35->n1_a_ks4_english_36 n1_a_ks4_english_36->n1_a_ks4_english_37 n1_a_ks4_english_39 NP-PRD n1_a_ks4_english_38->n1_a_ks4_english_39 n1_a_ks4_english_40 NPR n1_a_ks4_english_39->n1_a_ks4_english_40 n1_a_ks4_english_42 NPR n1_a_ks4_english_39->n1_a_ks4_english_42 n1_a_ks4_english_40->n1_a_ks4_english_41 n1_a_ks4_english_42->n1_a_ks4_english_43
( (FRAG (NP (ADJP (ADJ English;{english}))
            (NS programmes;{programme})
            (PP (P-ROLE of;{of})
                (NP (N study;{study})))
            (PUNC :)
            (IP-PPL (NP-PRD (ADJP (ADJ key;{key}))
                            (N stage;{stage})
                            (NUM 4)
                            (IP-PPL (NP-PRD (ADJP (ADJ National;{national}))
                                            (N curriculum;{curriculum})
                                            (PP (P-ROLE in;{in})
                                                (NP (NPR England;{England})))))))
            (IP-PPL (NP-PRD (NPR July;{July})
                            (NPR 2014)))))
  (ID 1_a_ks4_english))