( (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))

arc(r_0006_0002__will,r_0006_0003__be,scope).
arc(r_0006_0002__will,r_0006_0015__ensure,prn).
arc(r_0006_0003__be,r_0006_0004__leaving_r_0006_0005__from,scope).
arc(r_0006_0004__leaving_r_0006_0005__from,r_0006_0001__We,arg0).
arc(r_0006_0004__leaving_r_0006_0005__from,r_0006_0006__the_r_0006_0007__school_r_0006_0008__gates,arg1).
arc(r_0006_0004__leaving_r_0006_0005__from,r_0006_0010__6_dot_30,r_0006_0009__at__nim).
arc(r_0006_0010__6_dot_30,r_0006_0011__pm,qual).
arc(r_0006_0010__6_dot_30,r_0006_0012__promptly,qual).
arc(r_0006_0015__ensure,r_0006_0013__so,nim).
arc(r_0006_0015__ensure,r_0006_0018__turn_r_0006_0019__up,arg1).
arc(r_0006_0015__ensure,z_0006_5003,arg0).
arc(r_0006_0018__turn_r_0006_0019__up,r_0006_0017__you,arg0).
arc(r_0006_0018__turn_r_0006_0019__up,r_0006_0021__time,r_0006_0020__on__nim).

fof(formula,axiom,
    ? [R_0006_0013__SO,R_0006_0017__YOU,R_0006_0021__TIME,R_0006_0018__TURN_R_0006_0019__UP,Z_0006_5003,R_0006_0015__ENSURE,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_0005__FROM] :
      ( 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_0013__so(R_0006_0013__SO)
      & r_0006_0017__you(R_0006_0017__YOU)
      & r_0006_0021__time(R_0006_0021__TIME)
      & z_0006_5003(Z_0006_5003)
      & r_0006_0002__will_r_0006_0003__be_r_0006_0004__leaving_r_0006_0005__from(R_0006_0002__WILL_R_0006_0003__BE_R_0006_0004__LEAVING_R_0006_0005__FROM)
      & has_r_0006_0009__at__nim(R_0006_0002__WILL_R_0006_0003__BE_R_0006_0004__LEAVING_R_0006_0005__FROM,R_0006_0010__6_DOT_30)
      & r_0006_0010__6_dot_30(R_0006_0010__6_DOT_30)
      & has_qual(R_0006_0010__6_DOT_30,R_0006_0012__PROMPTLY)
      & has_qual(R_0006_0010__6_DOT_30,R_0006_0011__PM)
      & has_arg1(R_0006_0002__WILL_R_0006_0003__BE_R_0006_0004__LEAVING_R_0006_0005__FROM,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_0005__FROM,R_0006_0001__WE)
      & has_prn(R_0006_0002__WILL_R_0006_0003__BE_R_0006_0004__LEAVING_R_0006_0005__FROM,R_0006_0015__ENSURE)
      & r_0006_0015__ensure(R_0006_0015__ENSURE)
      & has_arg0(R_0006_0015__ENSURE,Z_0006_5003)
      & has_arg1(R_0006_0015__ENSURE,R_0006_0018__TURN_R_0006_0019__UP)
      & r_0006_0018__turn_r_0006_0019__up(R_0006_0018__TURN_R_0006_0019__UP)
      & has_r_0006_0020__on__nim(R_0006_0018__TURN_R_0006_0019__UP,R_0006_0021__TIME)
      & has_arg0(R_0006_0018__TURN_R_0006_0019__UP,R_0006_0017__YOU)
      & has_nim(R_0006_0015__ENSURE,R_0006_0013__SO) ) ).