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_6_2_WILL_BE_LEAVING,R_6_1_WE,R_6_6_THE_SCHOOL_GATES,R_6_10_6_DOT_30,R_6_11_PM,R_6_12_PROMPTLY] :
( we(R_6_1_WE)
& the_school_gates(R_6_6_THE_SCHOOL_GATES)
& pm(R_6_11_PM)
& promptly(R_6_12_PROMPTLY)
& will_be_leaving(R_6_2_WILL_BE_LEAVING,R_6_1_WE)
& from_clr16(R_6_2_WILL_BE_LEAVING,R_6_6_THE_SCHOOL_GATES)
& at_nim26(R_6_2_WILL_BE_LEAVING,R_6_10_6_DOT_30)
& 6_dot_30(R_6_10_6_DOT_30)
& qual29(R_6_10_6_DOT_30,R_6_11_PM)
& qual32(R_6_10_6_DOT_30,R_6_12_PROMPTLY) ) ).
( (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))