18_a_ks4_english
Pupils should be expected to read whole books, to read in depth and to read for pleasure and information.
( (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))
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_0018_5015___star_,arg0).
arc(r_0018_0006__read,r_0018_0001__Pupils,arg0).
arc(r_0018_0006__read,r_0018_0008__books,arg1).
arc(r_0018_0008__books,r_0018_0007__whole,attrib).
arc(r_0018_0011__read,r_0018_0001__Pupils,arg0).
arc(r_0018_0011__read,r_0018_0013__depth,r_0018_0012__in__nim).
arc(r_0018_0014__and,r_0018_0006__read,conj1).
arc(r_0018_0014__and,r_0018_0011__read,conj2).
arc(r_0018_0014__and,r_0018_0016__read,conj3).
arc(r_0018_0016__read,r_0018_0001__Pupils,arg0).
arc(r_0018_0016__read,r_0018_0019__and,r_0018_0017__for__nim).
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_0006__READ,R_0018_0013__DEPTH,R_0018_0011__READ,R_0018_0018__PLEASURE,R_0018_0020__INFORMATION,R_0018_0019__AND,R_0018_0016__READ,R_0018_0014__AND,Z_0018_5015___STAR_,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_0018_5015___star_(Z_0018_5015___STAR_)
& 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_0018_5015___STAR_)
& 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_0016__READ)
& r_0018_0016__read(R_0018_0016__READ)
& has_r_0018_0017__for__nim(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_0016__READ,R_0018_0001__PUPILS)
& has_conj2(R_0018_0014__AND,R_0018_0011__READ)
& r_0018_0011__read(R_0018_0011__READ)
& has_r_0018_0012__in__nim(R_0018_0011__READ,R_0018_0013__DEPTH)
& has_arg0(R_0018_0011__READ,R_0018_0001__PUPILS)
& has_conj1(R_0018_0014__AND,R_0018_0006__READ)
& r_0018_0006__read(R_0018_0006__READ)
& has_arg1(R_0018_0006__READ,R_0018_0008__BOOKS)
& r_0018_0008__books(R_0018_0008__BOOKS)
& has_attrib(R_0018_0008__BOOKS,R_0018_0007__WHOLE)
& has_arg0(R_0018_0006__READ,R_0018_0001__PUPILS) ) ).