5_a_pantomime
Please check that your child is ready on the appropriate nights.
arc(r_0005_0001__Please_r_0005_0002__check, r_0005_0003__that_r_0005_0006__is, arg1).
arc(r_0005_0001__Please_r_0005_0002__check, z_000_5_a_pantomime_1, arg0).
arc(r_0005_0003__that_r_0005_0006__is, r_0005_0005__child, arg0).
arc(r_0005_0003__that_r_0005_0006__is, r_0005_0007__ready, prd).
arc(r_0005_0003__that_r_0005_0006__is, r_0005_0009__the_r_0005_0011__nights, r_0005_0008__on_nim24).
arc(r_0005_0005__child, r_0005_0004__your, gen).
arc(r_0005_0009__the_r_0005_0011__nights, r_0005_0010__appropriate, attrib27).
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_0003__THAT_R_0005_0006__IS,Z_000_5_A_PANTOMIME_1,R_0005_0001__PLEASE_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_000_5_a_pantomime_1(Z_000_5_A_PANTOMIME_1)
& r_0005_0001__Please_r_0005_0002__check(R_0005_0001__PLEASE_R_0005_0002__CHECK)
& has_arg0(R_0005_0001__PLEASE_R_0005_0002__CHECK,Z_000_5_A_PANTOMIME_1)
& has_arg1(R_0005_0001__PLEASE_R_0005_0002__CHECK,R_0005_0003__THAT_R_0005_0006__IS)
& r_0005_0003__that_r_0005_0006__is(R_0005_0003__THAT_R_0005_0006__IS)
& has_r_0005_0008__on_nim24(R_0005_0003__THAT_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_attrib27(R_0005_0009__THE_R_0005_0011__NIGHTS,R_0005_0010__APPROPRIATE)
& has_prd(R_0005_0003__THAT_R_0005_0006__IS,R_0005_0007__READY)
& has_arg0(R_0005_0003__THAT_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) ) ).
( (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))