1_a_ks4_english
English programmes of study: key stage 4 National curriculum in England July 2014
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_1, r_0001_0002__programmes, nim2).
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_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).
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) ) ).
( (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))