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_0002__should_r_0018_0003__be_r_0018_0004__expected should be expected r_0018_0014__and and 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] 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]
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_4 Pupils n18_a_ks4_english_6 should n18_a_ks4_english_9 be n18_a_ks4_english_12 * n18_a_ks4_english_14 expected n18_a_ks4_english_19 to n18_a_ks4_english_21 read n18_a_ks4_english_25 whole n18_a_ks4_english_27 books n18_a_ks4_english_29 , n18_a_ks4_english_33 to n18_a_ks4_english_35 read n18_a_ks4_english_38 in n18_a_ks4_english_41 depth n18_a_ks4_english_44 and n18_a_ks4_english_47 to n18_a_ks4_english_49 read n18_a_ks4_english_52 for n18_a_ks4_english_57 pleasure n18_a_ks4_english_60 and n18_a_ks4_english_63 information n18_a_ks4_english_65 . n18_a_ks4_english_1 IP-MAT n18_a_ks4_english_2 NP-SBJ n18_a_ks4_english_1->n18_a_ks4_english_2 n18_a_ks4_english_5 MD;_cat_Vi_ n18_a_ks4_english_1->n18_a_ks4_english_5 n18_a_ks4_english_7 IP-INF-CAT n18_a_ks4_english_1->n18_a_ks4_english_7 n18_a_ks4_english_64 PUNC n18_a_ks4_english_1->n18_a_ks4_english_64 n18_a_ks4_english_3 NS n18_a_ks4_english_2->n18_a_ks4_english_3 n18_a_ks4_english_3->n18_a_ks4_english_4 n18_a_ks4_english_5->n18_a_ks4_english_6 n18_a_ks4_english_8 BE;_cat_VePASS_ n18_a_ks4_english_7->n18_a_ks4_english_8 n18_a_ks4_english_10 IP-PPL-CAT n18_a_ks4_english_7->n18_a_ks4_english_10 n18_a_ks4_english_8->n18_a_ks4_english_9 n18_a_ks4_english_11 NP-LGS n18_a_ks4_english_10->n18_a_ks4_english_11 n18_a_ks4_english_13 VVN;_Tnt_ n18_a_ks4_english_10->n18_a_ks4_english_13 n18_a_ks4_english_15 IP-INF-OB1 n18_a_ks4_english_10->n18_a_ks4_english_15 n18_a_ks4_english_11->n18_a_ks4_english_12 n18_a_ks4_english_13->n18_a_ks4_english_14 n18_a_ks4_english_16 ILYR n18_a_ks4_english_15->n18_a_ks4_english_16 n18_a_ks4_english_17 ILYR n18_a_ks4_english_16->n18_a_ks4_english_17 n18_a_ks4_english_28 PUNC n18_a_ks4_english_16->n18_a_ks4_english_28 n18_a_ks4_english_30 CONJP n18_a_ks4_english_16->n18_a_ks4_english_30 n18_a_ks4_english_42 CONJP n18_a_ks4_english_16->n18_a_ks4_english_42 n18_a_ks4_english_18 TO n18_a_ks4_english_17->n18_a_ks4_english_18 n18_a_ks4_english_20 VB;_Tn_ n18_a_ks4_english_17->n18_a_ks4_english_20 n18_a_ks4_english_22 NP-OB1 n18_a_ks4_english_17->n18_a_ks4_english_22 n18_a_ks4_english_18->n18_a_ks4_english_19 n18_a_ks4_english_20->n18_a_ks4_english_21 n18_a_ks4_english_23 ADJP n18_a_ks4_english_22->n18_a_ks4_english_23 n18_a_ks4_english_26 NS n18_a_ks4_english_22->n18_a_ks4_english_26 n18_a_ks4_english_24 ADJ n18_a_ks4_english_23->n18_a_ks4_english_24 n18_a_ks4_english_24->n18_a_ks4_english_25 n18_a_ks4_english_26->n18_a_ks4_english_27 n18_a_ks4_english_28->n18_a_ks4_english_29 n18_a_ks4_english_31 ILYR n18_a_ks4_english_30->n18_a_ks4_english_31 n18_a_ks4_english_32 TO n18_a_ks4_english_31->n18_a_ks4_english_32 n18_a_ks4_english_34 VB;_I_ n18_a_ks4_english_31->n18_a_ks4_english_34 n18_a_ks4_english_36 PP-NIM n18_a_ks4_english_31->n18_a_ks4_english_36 n18_a_ks4_english_32->n18_a_ks4_english_33 n18_a_ks4_english_34->n18_a_ks4_english_35 n18_a_ks4_english_37 P-ROLE n18_a_ks4_english_36->n18_a_ks4_english_37 n18_a_ks4_english_39 NP n18_a_ks4_english_36->n18_a_ks4_english_39 n18_a_ks4_english_37->n18_a_ks4_english_38 n18_a_ks4_english_40 N n18_a_ks4_english_39->n18_a_ks4_english_40 n18_a_ks4_english_40->n18_a_ks4_english_41 n18_a_ks4_english_43 CONJ n18_a_ks4_english_42->n18_a_ks4_english_43 n18_a_ks4_english_45 ILYR n18_a_ks4_english_42->n18_a_ks4_english_45 n18_a_ks4_english_43->n18_a_ks4_english_44 n18_a_ks4_english_46 TO n18_a_ks4_english_45->n18_a_ks4_english_46 n18_a_ks4_english_48 VB;_I_ n18_a_ks4_english_45->n18_a_ks4_english_48 n18_a_ks4_english_50 PP-NIM n18_a_ks4_english_45->n18_a_ks4_english_50 n18_a_ks4_english_46->n18_a_ks4_english_47 n18_a_ks4_english_48->n18_a_ks4_english_49 n18_a_ks4_english_51 P-ROLE n18_a_ks4_english_50->n18_a_ks4_english_51 n18_a_ks4_english_53 NP n18_a_ks4_english_50->n18_a_ks4_english_53 n18_a_ks4_english_51->n18_a_ks4_english_52 n18_a_ks4_english_54 NLYR n18_a_ks4_english_53->n18_a_ks4_english_54 n18_a_ks4_english_55 NLYR n18_a_ks4_english_54->n18_a_ks4_english_55 n18_a_ks4_english_58 CONJP n18_a_ks4_english_54->n18_a_ks4_english_58 n18_a_ks4_english_56 N n18_a_ks4_english_55->n18_a_ks4_english_56 n18_a_ks4_english_56->n18_a_ks4_english_57 n18_a_ks4_english_59 CONJ n18_a_ks4_english_58->n18_a_ks4_english_59 n18_a_ks4_english_61 NLYR n18_a_ks4_english_58->n18_a_ks4_english_61 n18_a_ks4_english_59->n18_a_ks4_english_60 n18_a_ks4_english_62 N n18_a_ks4_english_61->n18_a_ks4_english_62 n18_a_ks4_english_62->n18_a_ks4_english_63 n18_a_ks4_english_64->n18_a_ks4_english_65
( (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))