6_a_pantomime
We will be leaving from the school gates at 6.30 pm promptly so please ensure that you turn up on time.
arc(r_0006_0002__will, r_0006_0003__be, scope).
arc(r_0006_0003__be, r_0006_0004__leaving, scope).
arc(r_0006_0004__leaving, r_0006_0001__We, arg0).
arc(r_0006_0004__leaving, r_0006_0006__the_r_0006_0007__school_r_0006_0008__gates, r_0006_0005__from_clr16).
arc(r_0006_0004__leaving, r_0006_0010__6_dot_30, r_0006_0009__at_nim26).
arc(r_0006_0010__6_dot_30, r_0006_0011__pm, qual29).
arc(r_0006_0010__6_dot_30, r_0006_0012__promptly, qual32).
fof(formula,axiom,
? [R_0006_0001__WE,R_0006_0006__THE_R_0006_0007__SCHOOL_R_0006_0008__GATES,R_0006_0011__PM,R_0006_0012__PROMPTLY,R_0006_0010__6_DOT_30,R_0006_0002__WILL_R_0006_0003__BE_R_0006_0004__LEAVING] :
( r_0006_0001__We(R_0006_0001__WE)
& r_0006_0006__the_r_0006_0007__school_r_0006_0008__gates(R_0006_0006__THE_R_0006_0007__SCHOOL_R_0006_0008__GATES)
& r_0006_0011__pm(R_0006_0011__PM)
& r_0006_0012__promptly(R_0006_0012__PROMPTLY)
& r_0006_0002__will_r_0006_0003__be_r_0006_0004__leaving(R_0006_0002__WILL_R_0006_0003__BE_R_0006_0004__LEAVING)
& has_r_0006_0009__at_nim26(R_0006_0002__WILL_R_0006_0003__BE_R_0006_0004__LEAVING,R_0006_0010__6_DOT_30)
& r_0006_0010__6_dot_30(R_0006_0010__6_DOT_30)
& has_qual32(R_0006_0010__6_DOT_30,R_0006_0012__PROMPTLY)
& has_qual29(R_0006_0010__6_DOT_30,R_0006_0011__PM)
& has_r_0006_0005__from_clr16(R_0006_0002__WILL_R_0006_0003__BE_R_0006_0004__LEAVING,R_0006_0006__THE_R_0006_0007__SCHOOL_R_0006_0008__GATES)
& has_arg0(R_0006_0002__WILL_R_0006_0003__BE_R_0006_0004__LEAVING,R_0006_0001__WE) ) ).
( (IP-MAT (NP-SBJ (PRO We;{we}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (BE;_cat_Vg_ be;{be})
(IP-PPL-CAT (VAG;_Ipr_ leaving;{leave[from]})
(PP-CLR (P-ROLE from;{from})
(NP (D the;{the})
(N school;{school})
(NS gates;{gate})))
(PP-NIM (P-ROLE at;{at})
(NP (NUM 6<dot>30)
(ADVP (ADV pm;{pm}))
(ADVP (ADV promptly;{promptly}))))))
(PRN (IP-IMP (ADVP-NIM (ADV so;{so}))
(FRM please)
(VB;_Tf_ ensure;{ensure})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (PRO you;{you}))
(VBP;_phr_Vp_ turn;{turn[up]})
(RP up;{up})
(PP-NIM (P-ROLE on;{on})
(NP (N time;{time})))))))
(PUNC .))
(ID 6_a_pantomime))