5_a_pantomime
Please check that your child is ready on the appropriate nights.
( (IP-IMP (FRM Please)
(VB;_Tf_ check;{check})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (NP-GEN (PRO;_genm_ your;{your}))
(N child;{child}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADJ ready;{ready}))
(PP-NIM (P-ROLE on;{on})
(NP (D the;{the})
(ADJP (ADJ appropriate;{appropriate}))
(NS nights;{night})))))
(PUNC .))
(ID 5_a_pantomime))
arc(r_0005_0002__check,r_0005_0006__is,arg1).
arc(r_0005_0002__check,z_0005_5002,arg0).
arc(r_0005_0005__child,r_0005_0004__your,gen).
arc(r_0005_0006__is,r_0005_0005__child,arg0).
arc(r_0005_0006__is,r_0005_0007__ready,prd).
arc(r_0005_0006__is,r_0005_0009__the_r_0005_0011__nights,r_0005_0008__on__nim).
arc(r_0005_0009__the_r_0005_0011__nights,r_0005_0010__appropriate,attrib).
fof(formula,axiom,
? [R_0005_0004__YOUR,R_0005_0005__CHILD,R_0005_0007__READY,R_0005_0010__APPROPRIATE,R_0005_0009__THE_R_0005_0011__NIGHTS,R_0005_0006__IS,Z_0005_5002,R_0005_0002__CHECK] :
( r_0005_0004__your(R_0005_0004__YOUR)
& r_0005_0007__ready(R_0005_0007__READY)
& r_0005_0010__appropriate(R_0005_0010__APPROPRIATE)
& z_0005_5002(Z_0005_5002)
& r_0005_0002__check(R_0005_0002__CHECK)
& has_arg0(R_0005_0002__CHECK,Z_0005_5002)
& has_arg1(R_0005_0002__CHECK,R_0005_0006__IS)
& r_0005_0006__is(R_0005_0006__IS)
& has_r_0005_0008__on__nim(R_0005_0006__IS,R_0005_0009__THE_R_0005_0011__NIGHTS)
& r_0005_0009__the_r_0005_0011__nights(R_0005_0009__THE_R_0005_0011__NIGHTS)
& has_attrib(R_0005_0009__THE_R_0005_0011__NIGHTS,R_0005_0010__APPROPRIATE)
& has_prd(R_0005_0006__IS,R_0005_0007__READY)
& has_arg0(R_0005_0006__IS,R_0005_0005__CHILD)
& r_0005_0005__child(R_0005_0005__CHILD)
& has_gen(R_0005_0005__CHILD,R_0005_0004__YOUR) ) ).