17_a_ks4_english
Reading at key stage 4 should be wide, varied and challenging.
( (IP-MAT (NP-SBJ (N Reading;{reading})
(PP (P-ROLE at;{at})
(NP (ADJP (ADJ key;{key}))
(N stage;{stage})
(NUM 4))))
(MD;_cat_Vi_ should;{shall})
(IP-INF-CAT (BE;_La_ be;{be})
(ADJP-PRD (AJLYR (AJLYR (ADJ wide;{wide}))
(PUNC ,)
(CONJP (AJLYR (ADJ varied;{varied})))
(CONJP (CONJ and;{and})
(AJLYR (ADJ challenging;{challenging}))))))
(PUNC .))
(ID 17_a_ks4_english))
arc(r_0017_0001__Reading,r_0017_0004__stage_r_0017_0005__4,r_0017_0002__at).
arc(r_0017_0004__stage_r_0017_0005__4,r_0017_0003__key,attrib).
arc(r_0017_0006__should,r_0017_0007__be,scope).
arc(r_0017_0007__be,r_0017_0001__Reading,arg0).
arc(r_0017_0007__be,r_0017_0011__and,prd).
arc(r_0017_0011__and,r_0017_0008__wide,conj1).
arc(r_0017_0011__and,r_0017_0010__varied,conj2).
arc(r_0017_0011__and,r_0017_0012__challenging,conj3).
fof(formula,axiom,
? [R_0017_0003__KEY,R_0017_0004__STAGE_R_0017_0005__4,R_0017_0001__READING,R_0017_0008__WIDE,R_0017_0010__VARIED,R_0017_0012__CHALLENGING,R_0017_0011__AND,R_0017_0006__SHOULD_R_0017_0007__BE] :
( r_0017_0003__key(R_0017_0003__KEY)
& r_0017_0008__wide(R_0017_0008__WIDE)
& r_0017_0010__varied(R_0017_0010__VARIED)
& r_0017_0012__challenging(R_0017_0012__CHALLENGING)
& r_0017_0006__should_r_0017_0007__be(R_0017_0006__SHOULD_R_0017_0007__BE)
& has_prd(R_0017_0006__SHOULD_R_0017_0007__BE,R_0017_0011__AND)
& r_0017_0011__and(R_0017_0011__AND)
& has_conj3(R_0017_0011__AND,R_0017_0012__CHALLENGING)
& has_conj2(R_0017_0011__AND,R_0017_0010__VARIED)
& has_conj1(R_0017_0011__AND,R_0017_0008__WIDE)
& has_arg0(R_0017_0006__SHOULD_R_0017_0007__BE,R_0017_0001__READING)
& r_0017_0001__Reading(R_0017_0001__READING)
& has_r_0017_0002__at(R_0017_0001__READING,R_0017_0004__STAGE_R_0017_0005__4)
& r_0017_0004__stage_r_0017_0005__4(R_0017_0004__STAGE_R_0017_0005__4)
& has_attrib(R_0017_0004__STAGE_R_0017_0005__4,R_0017_0003__KEY) ) ).