Context                Previous, Next                Top


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__1_1_1_1 We n7_a_pantomime__1_2_1 will n7_a_pantomime__1_3_1_1 be n7_a_pantomime__1_3_2_1_1 leaving n7_a_pantomime__1_3_2_2_1_1 from n7_a_pantomime__1_3_2_2_2_1_1 the n7_a_pantomime__1_3_2_2_2_2_1 school n7_a_pantomime__1_3_2_2_2_3_1 gates n7_a_pantomime__1_3_2_3_1_1 at n7_a_pantomime__1_3_2_3_2_1_1 6.30 n7_a_pantomime__1_3_2_3_2_2_1_1 pm n7_a_pantomime__1_3_2_4_1_1 promptly n7_a_pantomime__1_4_1 . n7_a_pantomime__1 IP-MAT n7_a_pantomime__1_1 NP-SBJ n7_a_pantomime__1->n7_a_pantomime__1_1 n7_a_pantomime__1_2 MD;_cat_Vi_ n7_a_pantomime__1->n7_a_pantomime__1_2 n7_a_pantomime__1_3 IP-INF-CAT n7_a_pantomime__1->n7_a_pantomime__1_3 n7_a_pantomime__1_4 PUNC n7_a_pantomime__1->n7_a_pantomime__1_4 n7_a_pantomime__1_1_1 PRO n7_a_pantomime__1_1->n7_a_pantomime__1_1_1 n7_a_pantomime__1_1_1->n7_a_pantomime__1_1_1_1 n7_a_pantomime__1_2->n7_a_pantomime__1_2_1 n7_a_pantomime__1_3_1 BE;_cat_Vg_ n7_a_pantomime__1_3->n7_a_pantomime__1_3_1 n7_a_pantomime__1_3_2 IP-PPL-CAT n7_a_pantomime__1_3->n7_a_pantomime__1_3_2 n7_a_pantomime__1_3_1->n7_a_pantomime__1_3_1_1 n7_a_pantomime__1_3_2_1 VAG;_Ipr_ n7_a_pantomime__1_3_2->n7_a_pantomime__1_3_2_1 n7_a_pantomime__1_3_2_2 PP-CLR n7_a_pantomime__1_3_2->n7_a_pantomime__1_3_2_2 n7_a_pantomime__1_3_2_3 PP-NIM n7_a_pantomime__1_3_2->n7_a_pantomime__1_3_2_3 n7_a_pantomime__1_3_2_4 ADVP-NIM n7_a_pantomime__1_3_2->n7_a_pantomime__1_3_2_4 n7_a_pantomime__1_3_2_1->n7_a_pantomime__1_3_2_1_1 n7_a_pantomime__1_3_2_2_1 P-ROLE n7_a_pantomime__1_3_2_2->n7_a_pantomime__1_3_2_2_1 n7_a_pantomime__1_3_2_2_2 NP n7_a_pantomime__1_3_2_2->n7_a_pantomime__1_3_2_2_2 n7_a_pantomime__1_3_2_2_1->n7_a_pantomime__1_3_2_2_1_1 n7_a_pantomime__1_3_2_2_2_1 D n7_a_pantomime__1_3_2_2_2->n7_a_pantomime__1_3_2_2_2_1 n7_a_pantomime__1_3_2_2_2_2 N n7_a_pantomime__1_3_2_2_2->n7_a_pantomime__1_3_2_2_2_2 n7_a_pantomime__1_3_2_2_2_3 NS n7_a_pantomime__1_3_2_2_2->n7_a_pantomime__1_3_2_2_2_3 n7_a_pantomime__1_3_2_2_2_1->n7_a_pantomime__1_3_2_2_2_1_1 n7_a_pantomime__1_3_2_2_2_2->n7_a_pantomime__1_3_2_2_2_2_1 n7_a_pantomime__1_3_2_2_2_3->n7_a_pantomime__1_3_2_2_2_3_1 n7_a_pantomime__1_3_2_3_1 P-ROLE n7_a_pantomime__1_3_2_3->n7_a_pantomime__1_3_2_3_1 n7_a_pantomime__1_3_2_3_2 NP n7_a_pantomime__1_3_2_3->n7_a_pantomime__1_3_2_3_2 n7_a_pantomime__1_3_2_3_1->n7_a_pantomime__1_3_2_3_1_1 n7_a_pantomime__1_3_2_3_2_1 NUM n7_a_pantomime__1_3_2_3_2->n7_a_pantomime__1_3_2_3_2_1 n7_a_pantomime__1_3_2_3_2_2 ADVP n7_a_pantomime__1_3_2_3_2->n7_a_pantomime__1_3_2_3_2_2 n7_a_pantomime__1_3_2_3_2_1->n7_a_pantomime__1_3_2_3_2_1_1 n7_a_pantomime__1_3_2_3_2_2_1 ADV n7_a_pantomime__1_3_2_3_2_2->n7_a_pantomime__1_3_2_3_2_2_1 n7_a_pantomime__1_3_2_3_2_2_1->n7_a_pantomime__1_3_2_3_2_2_1_1 n7_a_pantomime__1_3_2_4_1 ADV n7_a_pantomime__1_3_2_4->n7_a_pantomime__1_3_2_4_1 n7_a_pantomime__1_3_2_4_1->n7_a_pantomime__1_3_2_4_1_1 n7_a_pantomime__1_4->n7_a_pantomime__1_4_1 
( (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))