1_a_ks4_english
English programmes of study: key stage 4 National curriculum in England July 2014
( (NP (ADJP (ADJ English;{english}))
(NS programmes;{programme})
(PP (P-ROLE of;{of})
(NP (N study;{study})))
(PUNC :)
(PRN (NP (ADJP (ADJ key;{key}))
(N stage;{stage})
(NUM 4)
(PRN (NP (ADJP (ADJ National;{national}))
(N curriculum;{curriculum})
(PP (P-ROLE in;{in})
(NP (NPR England;{England})))))))
(PRN (NP (NPR July;{July})
(NPR 2014))))
(ID 1_a_ks4_english))
arc(r_0001_0002__programmes,r_0001_0001__English,attrib).
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,attrib).
arc(r_0001_0010__curriculum,r_0001_0009__National,attrib).
arc(r_0001_0010__curriculum,r_0001_0012__England,r_0001_0011__in).
arc(z_0001_5010,r_0001_0007__stage_r_0001_0008__4,arg0).
arc(z_0001_5010,r_0001_0010__curriculum,prd).
arc(z_0001_5012,r_0001_0002__programmes,arg0).
arc(z_0001_5012,r_0001_0007__stage_r_0001_0008__4,prd).
arc(z_0001_5014,r_0001_0002__programmes,arg0).
arc(z_0001_5014,r_0001_0013__July_r_0001_0014__2014,prd).
arc(z_0001_5016,r_0001_0002__programmes,z_0001_5002).
fof(formula,axiom,
? [R_0001_0006__KEY,R_0001_0007__STAGE_R_0001_0008__4,R_0001_0009__NATIONAL,R_0001_0012__ENGLAND,R_0001_0010__CURRICULUM,Z_0001_5010,R_0001_0001__ENGLISH,R_0001_0004__STUDY,R_0001_0002__PROGRAMMES,Z_0001_5012,R_0001_0013__JULY_R_0001_0014__2014,Z_0001_5014,Z_0001_5016] :
( r_0001_0001__English(R_0001_0001__ENGLISH)
& r_0001_0004__study(R_0001_0004__STUDY)
& r_0001_0006__key(R_0001_0006__KEY)
& r_0001_0009__National(R_0001_0009__NATIONAL)
& r_0001_0012__England(R_0001_0012__ENGLAND)
& r_0001_0013__July_r_0001_0014__2014(R_0001_0013__JULY_R_0001_0014__2014)
& z_0001_5016(Z_0001_5016)
& has_z_0001_5002(Z_0001_5016,R_0001_0002__PROGRAMMES)
& r_0001_0002__programmes(R_0001_0002__PROGRAMMES)
& has_r_0001_0003__of(R_0001_0002__PROGRAMMES,R_0001_0004__STUDY)
& has_attrib(R_0001_0002__PROGRAMMES,R_0001_0001__ENGLISH)
& z_0001_5014(Z_0001_5014)
& has_prd(Z_0001_5014,R_0001_0013__JULY_R_0001_0014__2014)
& has_arg0(Z_0001_5014,R_0001_0002__PROGRAMMES)
& z_0001_5012(Z_0001_5012)
& has_prd(Z_0001_5012,R_0001_0007__STAGE_R_0001_0008__4)
& r_0001_0007__stage_r_0001_0008__4(R_0001_0007__STAGE_R_0001_0008__4)
& has_attrib(R_0001_0007__STAGE_R_0001_0008__4,R_0001_0006__KEY)
& has_arg0(Z_0001_5012,R_0001_0002__PROGRAMMES)
& z_0001_5010(Z_0001_5010)
& has_prd(Z_0001_5010,R_0001_0010__CURRICULUM)
& r_0001_0010__curriculum(R_0001_0010__CURRICULUM)
& has_r_0001_0011__in(R_0001_0010__CURRICULUM,R_0001_0012__ENGLAND)
& has_attrib(R_0001_0010__CURRICULUM,R_0001_0009__NATIONAL)
& has_arg0(Z_0001_5010,R_0001_0007__STAGE_R_0001_0008__4) ) ).