17_a_ks4_english
Reading at key stage 4 should be wide, varied and challenging.
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, attrib9).
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_17_6_SHOULD_BE,R_17_1_READING,R_17_4_STAGE_4,R_17_3_KEY,R_17_11_AND,R_17_8_WIDE,R_17_10_VARIED,R_17_12_CHALLENGING] :
( key(R_17_3_KEY)
& wide(R_17_8_WIDE)
& varied(R_17_10_VARIED)
& challenging(R_17_12_CHALLENGING)
& should_be(R_17_6_SHOULD_BE,R_17_1_READING,R_17_11_AND)
& reading(R_17_1_READING)
& at(R_17_1_READING,R_17_4_STAGE_4)
& stage_4(R_17_4_STAGE_4)
& attrib9(R_17_4_STAGE_4,R_17_3_KEY)
& and(R_17_11_AND)
& conj1(R_17_11_AND,R_17_8_WIDE)
& conj2(R_17_11_AND,R_17_10_VARIED)
& conj3(R_17_11_AND,R_17_12_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))