7_a_pantomime
We will be leaving from the school gates at 6.30 pm promptly.

%3 r_0007_0002__will will r_0007_0003__be be r_0007_0002__will->r_0007_0003__be [scope] r_0007_0004__leaving leaving r_0007_0003__be->r_0007_0004__leaving [scope] r_0007_0001__We We r_0007_0004__leaving->r_0007_0001__We [arg0] r_0007_0006__the_r_0007_0007__school_r_0007_0008__gates the school gates r_0007_0004__leaving->r_0007_0006__the_r_0007_0007__school_r_0007_0008__gates from [clr] r_0007_0010__6_dot_30 6.30 r_0007_0004__leaving->r_0007_0010__6_dot_30 at [nim] r_0007_0012__promptly promptly r_0007_0004__leaving->r_0007_0012__promptly [nim] r_0007_0011__pm pm r_0007_0010__6_dot_30->r_0007_0011__pm [qual]
arc(r_0007_0002__will, r_0007_0003__be, scope).
arc(r_0007_0003__be, r_0007_0004__leaving, scope).
arc(r_0007_0004__leaving, r_0007_0001__We, arg0).
arc(r_0007_0004__leaving, r_0007_0006__the_r_0007_0007__school_r_0007_0008__gates, r_0007_0005__from_clr16).
arc(r_0007_0004__leaving, r_0007_0010__6_dot_30, r_0007_0009__at_nim26).
arc(r_0007_0004__leaving, r_0007_0012__promptly, nim32).
arc(r_0007_0010__6_dot_30, r_0007_0011__pm, qual29).



%3 r_0007_0002__will_r_0007_0003__be_r_0007_0004__leaving will be leaving r_0007_0001__We We r_0007_0002__will_r_0007_0003__be_r_0007_0004__leaving->r_0007_0001__We [arg0] r_0007_0006__the_r_0007_0007__school_r_0007_0008__gates the school gates r_0007_0002__will_r_0007_0003__be_r_0007_0004__leaving->r_0007_0006__the_r_0007_0007__school_r_0007_0008__gates from [clr] r_0007_0010__6_dot_30 6.30 r_0007_0002__will_r_0007_0003__be_r_0007_0004__leaving->r_0007_0010__6_dot_30 at [nim] r_0007_0012__promptly promptly r_0007_0002__will_r_0007_0003__be_r_0007_0004__leaving->r_0007_0012__promptly [nim] r_0007_0011__pm pm r_0007_0010__6_dot_30->r_0007_0011__pm [qual]
fof(formula,axiom,
    ? [R_7_2_WILL_BE_LEAVING,R_7_1_WE,R_7_12_PROMPTLY,R_7_6_THE_SCHOOL_GATES,R_7_10_6_DOT_30,R_7_11_PM] :
      ( we(R_7_1_WE)
      & promptly(R_7_12_PROMPTLY)
      & the_school_gates(R_7_6_THE_SCHOOL_GATES)
      & pm(R_7_11_PM)
      & will_be_leaving(R_7_2_WILL_BE_LEAVING,R_7_1_WE)
      & nim32(R_7_2_WILL_BE_LEAVING,R_7_12_PROMPTLY)
      & from_clr16(R_7_2_WILL_BE_LEAVING,R_7_6_THE_SCHOOL_GATES)
      & at_nim26(R_7_2_WILL_BE_LEAVING,R_7_10_6_DOT_30)
      & 6_dot_30(R_7_10_6_DOT_30)
      & qual29(R_7_10_6_DOT_30,R_7_11_PM) ) ).



n7_a_pantomime n7_a_pantomime_4 We n7_a_pantomime_6 will n7_a_pantomime_9 be n7_a_pantomime_12 leaving n7_a_pantomime_15 from n7_a_pantomime_18 the n7_a_pantomime_20 school n7_a_pantomime_22 gates n7_a_pantomime_25 at n7_a_pantomime_28 6.30 n7_a_pantomime_31 pm n7_a_pantomime_34 promptly n7_a_pantomime_36 . n7_a_pantomime_1 IP-MAT n7_a_pantomime_2 NP-SBJ n7_a_pantomime_1->n7_a_pantomime_2 n7_a_pantomime_5 MD;_cat_Vi_ n7_a_pantomime_1->n7_a_pantomime_5 n7_a_pantomime_7 IP-INF-CAT n7_a_pantomime_1->n7_a_pantomime_7 n7_a_pantomime_35 PUNC n7_a_pantomime_1->n7_a_pantomime_35 n7_a_pantomime_3 PRO n7_a_pantomime_2->n7_a_pantomime_3 n7_a_pantomime_3->n7_a_pantomime_4 n7_a_pantomime_5->n7_a_pantomime_6 n7_a_pantomime_8 BE;_cat_Vg_ n7_a_pantomime_7->n7_a_pantomime_8 n7_a_pantomime_10 IP-PPL-CAT n7_a_pantomime_7->n7_a_pantomime_10 n7_a_pantomime_8->n7_a_pantomime_9 n7_a_pantomime_11 VAG;_Ipr_ n7_a_pantomime_10->n7_a_pantomime_11 n7_a_pantomime_13 PP-CLR n7_a_pantomime_10->n7_a_pantomime_13 n7_a_pantomime_23 PP-NIM n7_a_pantomime_10->n7_a_pantomime_23 n7_a_pantomime_32 ADVP-NIM n7_a_pantomime_10->n7_a_pantomime_32 n7_a_pantomime_11->n7_a_pantomime_12 n7_a_pantomime_14 P-ROLE n7_a_pantomime_13->n7_a_pantomime_14 n7_a_pantomime_16 NP n7_a_pantomime_13->n7_a_pantomime_16 n7_a_pantomime_14->n7_a_pantomime_15 n7_a_pantomime_17 D n7_a_pantomime_16->n7_a_pantomime_17 n7_a_pantomime_19 N n7_a_pantomime_16->n7_a_pantomime_19 n7_a_pantomime_21 NS n7_a_pantomime_16->n7_a_pantomime_21 n7_a_pantomime_17->n7_a_pantomime_18 n7_a_pantomime_19->n7_a_pantomime_20 n7_a_pantomime_21->n7_a_pantomime_22 n7_a_pantomime_24 P-ROLE n7_a_pantomime_23->n7_a_pantomime_24 n7_a_pantomime_26 NP n7_a_pantomime_23->n7_a_pantomime_26 n7_a_pantomime_24->n7_a_pantomime_25 n7_a_pantomime_27 NUM n7_a_pantomime_26->n7_a_pantomime_27 n7_a_pantomime_29 ADVP n7_a_pantomime_26->n7_a_pantomime_29 n7_a_pantomime_27->n7_a_pantomime_28 n7_a_pantomime_30 ADV n7_a_pantomime_29->n7_a_pantomime_30 n7_a_pantomime_30->n7_a_pantomime_31 n7_a_pantomime_33 ADV n7_a_pantomime_32->n7_a_pantomime_33 n7_a_pantomime_33->n7_a_pantomime_34 n7_a_pantomime_35->n7_a_pantomime_36
( (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-NIM (ADV promptly;{promptly}))))
          (PUNC .))
  (ID 7_a_pantomime))