7_a_pantomime
We expect to return to school at 10 pm; please be there to collect your child.
( (IP-MAT (NP-SBJ (PRO We;{we}))
(VBP;_Tt_ expect;{expect})
(IP-INF-OB1 (TO to;{to})
(VB;_Ipr_ return;{return[to]})
(PP-CLR (P-ROLE to;{to})
(NP (N school;{school})))
(PP-NIM (P-ROLE at;{at})
(NP (NUM 10)
(ADVP (ADV pm;{pm})))))
(PUNC ;)
(PRN (IP-IMP (FRM please)
(BE;_Ip_ be;{be})
(ADVP-CLR (ADV there;{there}))
(PP-SCON (IP-INF (TO to;{to})
(VB;_Tn_ collect;{collect})
(NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
(N child;{child}))))))
(PUNC .))
(ID 7_a_pantomime))
arc(r_0007_0002__expect,r_0007_0001__We,arg0).
arc(r_0007_0002__expect,r_0007_0004__return_r_0007_0005__to,arg1).
arc(r_0007_0002__expect,z_0007_5009,prn).
arc(r_0007_0004__return_r_0007_0005__to,r_0007_0001__We,arg0).
arc(r_0007_0004__return_r_0007_0005__to,r_0007_0006__school,arg1).
arc(r_0007_0004__return_r_0007_0005__to,r_0007_0008__10,r_0007_0007__at__nim).
arc(r_0007_0008__10,r_0007_0009__pm,qual).
arc(r_0007_0012__be_r_0007_0013__there,z_0007_5008,arg0).
arc(r_0007_0015__collect,r_0007_0017__child,arg1).
arc(r_0007_0015__collect,z_0007_5008,arg0).
arc(r_0007_0017__child,r_0007_0016__your,gen).
arc(z_0007_5009,r_0007_0012__be_r_0007_0013__there,scope).
arc(z_0007_5009,r_0007_0015__collect,restriction).
fof(formula,axiom,
? [R_0007_0001__WE,R_0007_0006__SCHOOL,R_0007_0009__PM,R_0007_0008__10,R_0007_0004__RETURN_R_0007_0005__TO,Z_0007_5008,R_0007_0012__BE_R_0007_0013__THERE,R_0007_0016__YOUR,R_0007_0017__CHILD,R_0007_0015__COLLECT,Z_0007_5009,R_0007_0002__EXPECT] :
( r_0007_0001__We(R_0007_0001__WE)
& r_0007_0006__school(R_0007_0006__SCHOOL)
& r_0007_0009__pm(R_0007_0009__PM)
& r_0007_0016__your(R_0007_0016__YOUR)
& z_0007_5008(Z_0007_5008)
& r_0007_0002__expect(R_0007_0002__EXPECT)
& has_prn(R_0007_0002__EXPECT,Z_0007_5009)
& z_0007_5009(Z_0007_5009)
& has_conj1(Z_0007_5009,R_0007_0015__COLLECT)
& r_0007_0015__collect(R_0007_0015__COLLECT)
& has_arg0(R_0007_0015__COLLECT,Z_0007_5008)
& has_arg1(R_0007_0015__COLLECT,R_0007_0017__CHILD)
& r_0007_0017__child(R_0007_0017__CHILD)
& has_gen(R_0007_0017__CHILD,R_0007_0016__YOUR)
& has_conj2(Z_0007_5009,R_0007_0012__BE_R_0007_0013__THERE)
& r_0007_0012__be_r_0007_0013__there(R_0007_0012__BE_R_0007_0013__THERE)
& has_arg0(R_0007_0012__BE_R_0007_0013__THERE,Z_0007_5008)
& has_arg1(R_0007_0002__EXPECT,R_0007_0004__RETURN_R_0007_0005__TO)
& r_0007_0004__return_r_0007_0005__to(R_0007_0004__RETURN_R_0007_0005__TO)
& has_r_0007_0007__at__nim(R_0007_0004__RETURN_R_0007_0005__TO,R_0007_0008__10)
& r_0007_0008__10(R_0007_0008__10)
& has_qual(R_0007_0008__10,R_0007_0009__PM)
& has_arg1(R_0007_0004__RETURN_R_0007_0005__TO,R_0007_0006__SCHOOL)
& has_arg0(R_0007_0004__RETURN_R_0007_0005__TO,R_0007_0001__WE)
& has_arg0(R_0007_0002__EXPECT,R_0007_0001__WE) ) ).