Context                Previous, Next                Top


17_a_ks4_english
Reading at key stage 4 should be wide, varied and challenging.

%3 r_0017_0001__Reading Reading r_0017_0004__stage_r_0017_0005__4 stage 4 r_0017_0001__Reading->r_0017_0004__stage_r_0017_0005__4 at r_0017_0003__key key r_0017_0004__stage_r_0017_0005__4->r_0017_0003__key [attrib] r_0017_0006__should should r_0017_0007__be be r_0017_0006__should->r_0017_0007__be [scope] r_0017_0007__be->r_0017_0001__Reading [arg0] r_0017_0011__and and r_0017_0007__be->r_0017_0011__and [prd] r_0017_0008__wide wide r_0017_0011__and->r_0017_0008__wide [conj1] r_0017_0010__varied varied r_0017_0011__and->r_0017_0010__varied [conj2] r_0017_0012__challenging challenging r_0017_0011__and->r_0017_0012__challenging [conj3] 
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).


%3 r_0017_0001__Reading Reading r_0017_0004__stage_r_0017_0005__4 stage 4 r_0017_0001__Reading->r_0017_0004__stage_r_0017_0005__4 at r_0017_0003__key key r_0017_0004__stage_r_0017_0005__4->r_0017_0003__key [attrib] r_0017_0006__should_r_0017_0007__be should be r_0017_0006__should_r_0017_0007__be->r_0017_0001__Reading [arg0] r_0017_0011__and and r_0017_0006__should_r_0017_0007__be->r_0017_0011__and [prd] r_0017_0008__wide wide r_0017_0011__and->r_0017_0008__wide [conj1] r_0017_0010__varied varied r_0017_0011__and->r_0017_0010__varied [conj2] r_0017_0012__challenging challenging 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) ) ).


n17_a_ks4_english n17_a_ks4_english_4 Reading n17_a_ks4_english_7 at n17_a_ks4_english_11 key n17_a_ks4_english_13 stage n17_a_ks4_english_15 4 n17_a_ks4_english_17 should n17_a_ks4_english_20 be n17_a_ks4_english_25 wide n17_a_ks4_english_27 , n17_a_ks4_english_31 varied n17_a_ks4_english_34 and n17_a_ks4_english_37 challenging n17_a_ks4_english_39 . n17_a_ks4_english_1 IP-MAT n17_a_ks4_english_2 NP-SBJ n17_a_ks4_english_1->n17_a_ks4_english_2 n17_a_ks4_english_16 MD;_cat_Vi_ n17_a_ks4_english_1->n17_a_ks4_english_16 n17_a_ks4_english_18 IP-INF-CAT n17_a_ks4_english_1->n17_a_ks4_english_18 n17_a_ks4_english_38 PUNC n17_a_ks4_english_1->n17_a_ks4_english_38 n17_a_ks4_english_3 N n17_a_ks4_english_2->n17_a_ks4_english_3 n17_a_ks4_english_5 PP n17_a_ks4_english_2->n17_a_ks4_english_5 n17_a_ks4_english_3->n17_a_ks4_english_4 n17_a_ks4_english_6 P-ROLE n17_a_ks4_english_5->n17_a_ks4_english_6 n17_a_ks4_english_8 NP n17_a_ks4_english_5->n17_a_ks4_english_8 n17_a_ks4_english_6->n17_a_ks4_english_7 n17_a_ks4_english_9 ADJP n17_a_ks4_english_8->n17_a_ks4_english_9 n17_a_ks4_english_12 N n17_a_ks4_english_8->n17_a_ks4_english_12 n17_a_ks4_english_14 NUM n17_a_ks4_english_8->n17_a_ks4_english_14 n17_a_ks4_english_10 ADJ n17_a_ks4_english_9->n17_a_ks4_english_10 n17_a_ks4_english_10->n17_a_ks4_english_11 n17_a_ks4_english_12->n17_a_ks4_english_13 n17_a_ks4_english_14->n17_a_ks4_english_15 n17_a_ks4_english_16->n17_a_ks4_english_17 n17_a_ks4_english_19 BE;_La_ n17_a_ks4_english_18->n17_a_ks4_english_19 n17_a_ks4_english_21 ADJP-PRD n17_a_ks4_english_18->n17_a_ks4_english_21 n17_a_ks4_english_19->n17_a_ks4_english_20 n17_a_ks4_english_22 AJLYR n17_a_ks4_english_21->n17_a_ks4_english_22 n17_a_ks4_english_23 AJLYR n17_a_ks4_english_22->n17_a_ks4_english_23 n17_a_ks4_english_26 PUNC n17_a_ks4_english_22->n17_a_ks4_english_26 n17_a_ks4_english_28 CONJP n17_a_ks4_english_22->n17_a_ks4_english_28 n17_a_ks4_english_32 CONJP n17_a_ks4_english_22->n17_a_ks4_english_32 n17_a_ks4_english_24 ADJ n17_a_ks4_english_23->n17_a_ks4_english_24 n17_a_ks4_english_24->n17_a_ks4_english_25 n17_a_ks4_english_26->n17_a_ks4_english_27 n17_a_ks4_english_29 AJLYR n17_a_ks4_english_28->n17_a_ks4_english_29 n17_a_ks4_english_30 ADJ n17_a_ks4_english_29->n17_a_ks4_english_30 n17_a_ks4_english_30->n17_a_ks4_english_31 n17_a_ks4_english_33 CONJ n17_a_ks4_english_32->n17_a_ks4_english_33 n17_a_ks4_english_35 AJLYR n17_a_ks4_english_32->n17_a_ks4_english_35 n17_a_ks4_english_33->n17_a_ks4_english_34 n17_a_ks4_english_36 ADJ n17_a_ks4_english_35->n17_a_ks4_english_36 n17_a_ks4_english_36->n17_a_ks4_english_37 n17_a_ks4_english_38->n17_a_ks4_english_39 
( (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))