Context                Previous, Next                Top


18_a_ks4_english
Pupils should be expected to read whole books, to read in depth and to read for pleasure and information.

%3 r_0018_0002__should should r_0018_0003__be be r_0018_0002__should->r_0018_0003__be [scope] r_0018_0004__expected expected r_0018_0003__be->r_0018_0004__expected [scope] r_0018_0014__and and r_0018_0004__expected->r_0018_0014__and [arg1] z_000_18_a_ks4_english_11 r_0018_0004__expected->z_000_18_a_ks4_english_11 [arg0] r_0018_0005__to_r_0018_0006__read to read r_0018_0014__and->r_0018_0005__to_r_0018_0006__read [conj1] r_0018_0010__to_r_0018_0011__read to read r_0018_0014__and->r_0018_0010__to_r_0018_0011__read [conj2] r_0018_0015__to_r_0018_0016__read to read r_0018_0014__and->r_0018_0015__to_r_0018_0016__read [conj3] r_0018_0001__Pupils Pupils r_0018_0005__to_r_0018_0006__read->r_0018_0001__Pupils [arg0] r_0018_0008__books books r_0018_0005__to_r_0018_0006__read->r_0018_0008__books [arg1] r_0018_0007__whole whole r_0018_0008__books->r_0018_0007__whole [attrib] r_0018_0010__to_r_0018_0011__read->r_0018_0001__Pupils [arg0] r_0018_0013__depth depth r_0018_0010__to_r_0018_0011__read->r_0018_0013__depth in [nim] r_0018_0015__to_r_0018_0016__read->r_0018_0001__Pupils [arg0] r_0018_0019__and and r_0018_0015__to_r_0018_0016__read->r_0018_0019__and for [nim] r_0018_0018__pleasure pleasure r_0018_0019__and->r_0018_0018__pleasure [conj1] r_0018_0020__information information r_0018_0019__and->r_0018_0020__information [conj2] 
arc(r_0018_0002__should, r_0018_0003__be, scope).
arc(r_0018_0003__be, r_0018_0004__expected, scope).
arc(r_0018_0004__expected, r_0018_0014__and, arg1).
arc(r_0018_0004__expected, z_000_18_a_ks4_english_11, arg0).
arc(r_0018_0005__to_r_0018_0006__read, r_0018_0001__Pupils, arg0).
arc(r_0018_0005__to_r_0018_0006__read, r_0018_0008__books, arg1).
arc(r_0018_0008__books, r_0018_0007__whole, attrib23).
arc(r_0018_0010__to_r_0018_0011__read, r_0018_0001__Pupils, arg0).
arc(r_0018_0010__to_r_0018_0011__read, r_0018_0013__depth, r_0018_0012__in_nim39).
arc(r_0018_0014__and, r_0018_0005__to_r_0018_0006__read, conj1).
arc(r_0018_0014__and, r_0018_0010__to_r_0018_0011__read, conj2).
arc(r_0018_0014__and, r_0018_0015__to_r_0018_0016__read, conj3).
arc(r_0018_0015__to_r_0018_0016__read, r_0018_0001__Pupils, arg0).
arc(r_0018_0015__to_r_0018_0016__read, r_0018_0019__and, r_0018_0017__for_nim53).
arc(r_0018_0019__and, r_0018_0018__pleasure, conj1).
arc(r_0018_0019__and, r_0018_0020__information, conj2).


%3 r_0018_0019__and and r_0018_0020__information information r_0018_0019__and->r_0018_0020__information [conj2] r_0018_0018__pleasure pleasure r_0018_0019__and->r_0018_0018__pleasure [conj1] r_0018_0015__to_r_0018_0016__read to read r_0018_0015__to_r_0018_0016__read->r_0018_0019__and for [nim] r_0018_0001__Pupils Pupils r_0018_0015__to_r_0018_0016__read->r_0018_0001__Pupils [arg0] r_0018_0014__and and r_0018_0014__and->r_0018_0015__to_r_0018_0016__read [conj3] r_0018_0010__to_r_0018_0011__read to read r_0018_0014__and->r_0018_0010__to_r_0018_0011__read [conj2] r_0018_0005__to_r_0018_0006__read to read r_0018_0014__and->r_0018_0005__to_r_0018_0006__read [conj1] r_0018_0010__to_r_0018_0011__read->r_0018_0001__Pupils [arg0] r_0018_0013__depth depth r_0018_0010__to_r_0018_0011__read->r_0018_0013__depth in [nim] r_0018_0005__to_r_0018_0006__read->r_0018_0001__Pupils [arg0] r_0018_0008__books books r_0018_0005__to_r_0018_0006__read->r_0018_0008__books [arg1] r_0018_0007__whole whole r_0018_0008__books->r_0018_0007__whole [attrib] r_0018_0002__should_r_0018_0003__be_r_0018_0004__expected should be expected r_0018_0002__should_r_0018_0003__be_r_0018_0004__expected->r_0018_0014__and [arg1] z_000_18_a_ks4_english_11 r_0018_0002__should_r_0018_0003__be_r_0018_0004__expected->z_000_18_a_ks4_english_11 [arg0] 
fof(formula,axiom,
    ? [R_18_2_SHOULD_BE_EXPECTED,Z_18_A_KS4_ENGLISH_11,R_18_14_AND,R_18_5_TO_READ,R_18_8_BOOKS,R_18_7_WHOLE,R_18_10_TO_READ,R_18_13_DEPTH,R_18_15_TO_READ,R_18_1_PUPILS,R_18_19_AND,R_18_18_PLEASURE,R_18_20_INFORMATION] :
      ( whole(R_18_7_WHOLE)
      & depth(R_18_13_DEPTH)
      & pupils(R_18_1_PUPILS)
      & pleasure(R_18_18_PLEASURE)
      & information(R_18_20_INFORMATION)
      & should_be_expected(R_18_2_SHOULD_BE_EXPECTED,Z_18_A_KS4_ENGLISH_11,R_18_14_AND)
      & and(R_18_14_AND)
      & conj1(R_18_14_AND,R_18_5_TO_READ)
      & to_read(R_18_5_TO_READ,R_18_1_PUPILS,R_18_8_BOOKS)
      & books(R_18_8_BOOKS)
      & attrib23(R_18_8_BOOKS,R_18_7_WHOLE)
      & conj2(R_18_14_AND,R_18_10_TO_READ)
      & to_read(R_18_10_TO_READ,R_18_1_PUPILS)
      & in_nim39(R_18_10_TO_READ,R_18_13_DEPTH)
      & conj3(R_18_14_AND,R_18_15_TO_READ)
      & to_read(R_18_15_TO_READ,R_18_1_PUPILS)
      & for_nim53(R_18_15_TO_READ,R_18_19_AND)
      & and(R_18_19_AND)
      & conj1(R_18_19_AND,R_18_18_PLEASURE)
      & conj2(R_18_19_AND,R_18_20_INFORMATION) ) ).


n18_a_ks4_english n18_a_ks4_english__1_1_1_1 Pupils n18_a_ks4_english__1_2_1 should n18_a_ks4_english__1_3_1_1 be n18_a_ks4_english__1_3_2_1_1 * n18_a_ks4_english__1_3_2_2_1 expected n18_a_ks4_english__1_3_2_3_1_1_1_1 to n18_a_ks4_english__1_3_2_3_1_1_2_1 read n18_a_ks4_english__1_3_2_3_1_1_3_1_1_1 whole n18_a_ks4_english__1_3_2_3_1_1_3_2_1 books n18_a_ks4_english__1_3_2_3_1_2_1 , n18_a_ks4_english__1_3_2_3_1_3_1_1_1 to n18_a_ks4_english__1_3_2_3_1_3_1_2_1 read n18_a_ks4_english__1_3_2_3_1_3_1_3_1_1 in n18_a_ks4_english__1_3_2_3_1_3_1_3_2_1_1 depth n18_a_ks4_english__1_3_2_3_1_4_1_1 and n18_a_ks4_english__1_3_2_3_1_4_2_1_1 to n18_a_ks4_english__1_3_2_3_1_4_2_2_1 read n18_a_ks4_english__1_3_2_3_1_4_2_3_1_1 for n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_1_1_1 pleasure n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2_1_1 and n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2_2_1_1 information n18_a_ks4_english__1_4_1 . n18_a_ks4_english__1 IP-MAT n18_a_ks4_english__1_1 NP-SBJ n18_a_ks4_english__1->n18_a_ks4_english__1_1 n18_a_ks4_english__1_2 MD;_cat_Vi_ n18_a_ks4_english__1->n18_a_ks4_english__1_2 n18_a_ks4_english__1_3 IP-INF-CAT n18_a_ks4_english__1->n18_a_ks4_english__1_3 n18_a_ks4_english__1_4 PUNC n18_a_ks4_english__1->n18_a_ks4_english__1_4 n18_a_ks4_english__1_1_1 NS n18_a_ks4_english__1_1->n18_a_ks4_english__1_1_1 n18_a_ks4_english__1_1_1->n18_a_ks4_english__1_1_1_1 n18_a_ks4_english__1_2->n18_a_ks4_english__1_2_1 n18_a_ks4_english__1_3_1 BE;_cat_VePASS_ n18_a_ks4_english__1_3->n18_a_ks4_english__1_3_1 n18_a_ks4_english__1_3_2 IP-PPL-CAT n18_a_ks4_english__1_3->n18_a_ks4_english__1_3_2 n18_a_ks4_english__1_3_1->n18_a_ks4_english__1_3_1_1 n18_a_ks4_english__1_3_2_1 NP-LGS n18_a_ks4_english__1_3_2->n18_a_ks4_english__1_3_2_1 n18_a_ks4_english__1_3_2_2 VVN;_Tnt_ n18_a_ks4_english__1_3_2->n18_a_ks4_english__1_3_2_2 n18_a_ks4_english__1_3_2_3 IP-INF-OB1 n18_a_ks4_english__1_3_2->n18_a_ks4_english__1_3_2_3 n18_a_ks4_english__1_3_2_1->n18_a_ks4_english__1_3_2_1_1 n18_a_ks4_english__1_3_2_2->n18_a_ks4_english__1_3_2_2_1 n18_a_ks4_english__1_3_2_3_1 ILYR n18_a_ks4_english__1_3_2_3->n18_a_ks4_english__1_3_2_3_1 n18_a_ks4_english__1_3_2_3_1_1 ILYR n18_a_ks4_english__1_3_2_3_1->n18_a_ks4_english__1_3_2_3_1_1 n18_a_ks4_english__1_3_2_3_1_2 PUNC n18_a_ks4_english__1_3_2_3_1->n18_a_ks4_english__1_3_2_3_1_2 n18_a_ks4_english__1_3_2_3_1_3 CONJP n18_a_ks4_english__1_3_2_3_1->n18_a_ks4_english__1_3_2_3_1_3 n18_a_ks4_english__1_3_2_3_1_4 CONJP n18_a_ks4_english__1_3_2_3_1->n18_a_ks4_english__1_3_2_3_1_4 n18_a_ks4_english__1_3_2_3_1_1_1 TO n18_a_ks4_english__1_3_2_3_1_1->n18_a_ks4_english__1_3_2_3_1_1_1 n18_a_ks4_english__1_3_2_3_1_1_2 VB;_Tn_ n18_a_ks4_english__1_3_2_3_1_1->n18_a_ks4_english__1_3_2_3_1_1_2 n18_a_ks4_english__1_3_2_3_1_1_3 NP-OB1 n18_a_ks4_english__1_3_2_3_1_1->n18_a_ks4_english__1_3_2_3_1_1_3 n18_a_ks4_english__1_3_2_3_1_1_1->n18_a_ks4_english__1_3_2_3_1_1_1_1 n18_a_ks4_english__1_3_2_3_1_1_2->n18_a_ks4_english__1_3_2_3_1_1_2_1 n18_a_ks4_english__1_3_2_3_1_1_3_1 ADJP n18_a_ks4_english__1_3_2_3_1_1_3->n18_a_ks4_english__1_3_2_3_1_1_3_1 n18_a_ks4_english__1_3_2_3_1_1_3_2 NS n18_a_ks4_english__1_3_2_3_1_1_3->n18_a_ks4_english__1_3_2_3_1_1_3_2 n18_a_ks4_english__1_3_2_3_1_1_3_1_1 ADJ n18_a_ks4_english__1_3_2_3_1_1_3_1->n18_a_ks4_english__1_3_2_3_1_1_3_1_1 n18_a_ks4_english__1_3_2_3_1_1_3_1_1->n18_a_ks4_english__1_3_2_3_1_1_3_1_1_1 n18_a_ks4_english__1_3_2_3_1_1_3_2->n18_a_ks4_english__1_3_2_3_1_1_3_2_1 n18_a_ks4_english__1_3_2_3_1_2->n18_a_ks4_english__1_3_2_3_1_2_1 n18_a_ks4_english__1_3_2_3_1_3_1 ILYR n18_a_ks4_english__1_3_2_3_1_3->n18_a_ks4_english__1_3_2_3_1_3_1 n18_a_ks4_english__1_3_2_3_1_3_1_1 TO n18_a_ks4_english__1_3_2_3_1_3_1->n18_a_ks4_english__1_3_2_3_1_3_1_1 n18_a_ks4_english__1_3_2_3_1_3_1_2 VB;_I_ n18_a_ks4_english__1_3_2_3_1_3_1->n18_a_ks4_english__1_3_2_3_1_3_1_2 n18_a_ks4_english__1_3_2_3_1_3_1_3 PP-NIM n18_a_ks4_english__1_3_2_3_1_3_1->n18_a_ks4_english__1_3_2_3_1_3_1_3 n18_a_ks4_english__1_3_2_3_1_3_1_1->n18_a_ks4_english__1_3_2_3_1_3_1_1_1 n18_a_ks4_english__1_3_2_3_1_3_1_2->n18_a_ks4_english__1_3_2_3_1_3_1_2_1 n18_a_ks4_english__1_3_2_3_1_3_1_3_1 P-ROLE n18_a_ks4_english__1_3_2_3_1_3_1_3->n18_a_ks4_english__1_3_2_3_1_3_1_3_1 n18_a_ks4_english__1_3_2_3_1_3_1_3_2 NP n18_a_ks4_english__1_3_2_3_1_3_1_3->n18_a_ks4_english__1_3_2_3_1_3_1_3_2 n18_a_ks4_english__1_3_2_3_1_3_1_3_1->n18_a_ks4_english__1_3_2_3_1_3_1_3_1_1 n18_a_ks4_english__1_3_2_3_1_3_1_3_2_1 N n18_a_ks4_english__1_3_2_3_1_3_1_3_2->n18_a_ks4_english__1_3_2_3_1_3_1_3_2_1 n18_a_ks4_english__1_3_2_3_1_3_1_3_2_1->n18_a_ks4_english__1_3_2_3_1_3_1_3_2_1_1 n18_a_ks4_english__1_3_2_3_1_4_1 CONJ n18_a_ks4_english__1_3_2_3_1_4->n18_a_ks4_english__1_3_2_3_1_4_1 n18_a_ks4_english__1_3_2_3_1_4_2 ILYR n18_a_ks4_english__1_3_2_3_1_4->n18_a_ks4_english__1_3_2_3_1_4_2 n18_a_ks4_english__1_3_2_3_1_4_1->n18_a_ks4_english__1_3_2_3_1_4_1_1 n18_a_ks4_english__1_3_2_3_1_4_2_1 TO n18_a_ks4_english__1_3_2_3_1_4_2->n18_a_ks4_english__1_3_2_3_1_4_2_1 n18_a_ks4_english__1_3_2_3_1_4_2_2 VB;_I_ n18_a_ks4_english__1_3_2_3_1_4_2->n18_a_ks4_english__1_3_2_3_1_4_2_2 n18_a_ks4_english__1_3_2_3_1_4_2_3 PP-NIM n18_a_ks4_english__1_3_2_3_1_4_2->n18_a_ks4_english__1_3_2_3_1_4_2_3 n18_a_ks4_english__1_3_2_3_1_4_2_1->n18_a_ks4_english__1_3_2_3_1_4_2_1_1 n18_a_ks4_english__1_3_2_3_1_4_2_2->n18_a_ks4_english__1_3_2_3_1_4_2_2_1 n18_a_ks4_english__1_3_2_3_1_4_2_3_1 P-ROLE n18_a_ks4_english__1_3_2_3_1_4_2_3->n18_a_ks4_english__1_3_2_3_1_4_2_3_1 n18_a_ks4_english__1_3_2_3_1_4_2_3_2 NP n18_a_ks4_english__1_3_2_3_1_4_2_3->n18_a_ks4_english__1_3_2_3_1_4_2_3_2 n18_a_ks4_english__1_3_2_3_1_4_2_3_1->n18_a_ks4_english__1_3_2_3_1_4_2_3_1_1 n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1 NLYR n18_a_ks4_english__1_3_2_3_1_4_2_3_2->n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1 n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_1 NLYR n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1->n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_1 n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2 CONJP n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1->n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2 n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_1_1 N n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_1->n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_1_1 n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_1_1->n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_1_1_1 n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2_1 CONJ n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2->n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2_1 n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2_2 NLYR n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2->n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2_2 n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2_1->n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2_1_1 n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2_2_1 N n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2_2->n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2_2_1 n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2_2_1->n18_a_ks4_english__1_3_2_3_1_4_2_3_2_1_2_2_1_1 n18_a_ks4_english__1_4->n18_a_ks4_english__1_4_1 
( (IP-MAT (NP-SBJ;{PUPILS} (NS Pupils;{pupil}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tnt_ expected;{expect})
                                  (IP-INF-OB1 (ILYR (ILYR (TO to;{to})
                                                          (VB;_Tn_ read;{read})
                                                          (NP-OB1 (ADJP (ADJ whole;{whole}))
                                                                  (NS books;{book})))
                                                    (PUNC ,)
                                                    (CONJP (ILYR (TO to;{to})
                                                                 (VB;_I_ read;{read})
                                                                 (PP-NIM (P-ROLE in;{in})
                                                                         (NP (N depth;{depth})))))
                                                    (CONJP (CONJ and;{and})
                                                           (ILYR (TO to;{to})
                                                                 (VB;_I_ read;{read})
                                                                 (PP-NIM (P-ROLE for;{for})
                                                                         (NP (NLYR (NLYR (N pleasure;{pleasure}))
                                                                                   (CONJP (CONJ and;{and})
                                                                                          (NLYR (N information;{information}))))))))))))
          (PUNC .))
  (ID 18_a_ks4_english))