18_a_ks4_english
Pupils should be expected to read whole books, to read in depth and to read for pleasure and information.
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).
fof(formula,axiom,
? [R_0018_0001__PUPILS,R_0018_0007__WHOLE,R_0018_0008__BOOKS,R_0018_0005__TO_R_0018_0006__READ,R_0018_0013__DEPTH,R_0018_0010__TO_R_0018_0011__READ,R_0018_0018__PLEASURE,R_0018_0020__INFORMATION,R_0018_0019__AND,R_0018_0015__TO_R_0018_0016__READ,R_0018_0014__AND,Z_000_18_A_KS4_ENGLISH_11,R_0018_0002__SHOULD_R_0018_0003__BE_R_0018_0004__EXPECTED] :
( r_0018_0001__Pupils(R_0018_0001__PUPILS)
& r_0018_0007__whole(R_0018_0007__WHOLE)
& r_0018_0013__depth(R_0018_0013__DEPTH)
& r_0018_0018__pleasure(R_0018_0018__PLEASURE)
& r_0018_0020__information(R_0018_0020__INFORMATION)
& z_000_18_a_ks4_english_11(Z_000_18_A_KS4_ENGLISH_11)
& r_0018_0002__should_r_0018_0003__be_r_0018_0004__expected(R_0018_0002__SHOULD_R_0018_0003__BE_R_0018_0004__EXPECTED)
& has_arg0(R_0018_0002__SHOULD_R_0018_0003__BE_R_0018_0004__EXPECTED,Z_000_18_A_KS4_ENGLISH_11)
& has_arg1(R_0018_0002__SHOULD_R_0018_0003__BE_R_0018_0004__EXPECTED,R_0018_0014__AND)
& r_0018_0014__and(R_0018_0014__AND)
& has_conj3(R_0018_0014__AND,R_0018_0015__TO_R_0018_0016__READ)
& r_0018_0015__to_r_0018_0016__read(R_0018_0015__TO_R_0018_0016__READ)
& has_r_0018_0017__for_nim53(R_0018_0015__TO_R_0018_0016__READ,R_0018_0019__AND)
& r_0018_0019__and(R_0018_0019__AND)
& has_conj2(R_0018_0019__AND,R_0018_0020__INFORMATION)
& has_conj1(R_0018_0019__AND,R_0018_0018__PLEASURE)
& has_arg0(R_0018_0015__TO_R_0018_0016__READ,R_0018_0001__PUPILS)
& has_conj2(R_0018_0014__AND,R_0018_0010__TO_R_0018_0011__READ)
& r_0018_0010__to_r_0018_0011__read(R_0018_0010__TO_R_0018_0011__READ)
& has_r_0018_0012__in_nim39(R_0018_0010__TO_R_0018_0011__READ,R_0018_0013__DEPTH)
& has_arg0(R_0018_0010__TO_R_0018_0011__READ,R_0018_0001__PUPILS)
& has_conj1(R_0018_0014__AND,R_0018_0005__TO_R_0018_0006__READ)
& r_0018_0005__to_r_0018_0006__read(R_0018_0005__TO_R_0018_0006__READ)
& has_arg1(R_0018_0005__TO_R_0018_0006__READ,R_0018_0008__BOOKS)
& r_0018_0008__books(R_0018_0008__BOOKS)
& has_attrib23(R_0018_0008__BOOKS,R_0018_0007__WHOLE)
& has_arg0(R_0018_0005__TO_R_0018_0006__READ,R_0018_0001__PUPILS) ) ).
( (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))