Context                Previous, Next                Top


2_a_pantomime
This year we will be attending Cinderella Cinderella at the Palace Theatre.

%3 r_0002_0004__will will r_0002_0005__be be r_0002_0004__will->r_0002_0005__be [scope] r_0002_0006__attending attending r_0002_0005__be->r_0002_0006__attending [scope] r_0002_0001__This_r_0002_0002__year This year r_0002_0006__attending->r_0002_0001__This_r_0002_0002__year [nim] r_0002_0003__we we r_0002_0006__attending->r_0002_0003__we [arg0] r_0002_0007__Cinderella_r_0002_0008__Cinderella Cinderella Cinderella r_0002_0006__attending->r_0002_0007__Cinderella_r_0002_0008__Cinderella [arg1] r_0002_0010__the_r_0002_0011__Palace_r_0002_0012__Theatre the Palace Theatre r_0002_0006__attending->r_0002_0010__the_r_0002_0011__Palace_r_0002_0012__Theatre at [nim] 
arc(r_0002_0004__will, r_0002_0005__be, scope).
arc(r_0002_0005__be, r_0002_0006__attending, scope).
arc(r_0002_0006__attending, r_0002_0001__This_r_0002_0002__year, nim16).
arc(r_0002_0006__attending, r_0002_0003__we, arg0).
arc(r_0002_0006__attending, r_0002_0007__Cinderella_r_0002_0008__Cinderella, arg1).
arc(r_0002_0006__attending, r_0002_0010__the_r_0002_0011__Palace_r_0002_0012__Theatre, r_0002_0009__at_nim28).


%3 r_0002_0004__will_r_0002_0005__be_r_0002_0006__attending will be attending r_0002_0010__the_r_0002_0011__Palace_r_0002_0012__Theatre the Palace Theatre r_0002_0004__will_r_0002_0005__be_r_0002_0006__attending->r_0002_0010__the_r_0002_0011__Palace_r_0002_0012__Theatre at [nim] r_0002_0007__Cinderella_r_0002_0008__Cinderella Cinderella Cinderella r_0002_0004__will_r_0002_0005__be_r_0002_0006__attending->r_0002_0007__Cinderella_r_0002_0008__Cinderella [arg1] r_0002_0003__we we r_0002_0004__will_r_0002_0005__be_r_0002_0006__attending->r_0002_0003__we [arg0] r_0002_0001__This_r_0002_0002__year This year r_0002_0004__will_r_0002_0005__be_r_0002_0006__attending->r_0002_0001__This_r_0002_0002__year [nim] 
fof(formula,axiom,
    ? [R_0002_0001__THIS_R_0002_0002__YEAR,R_0002_0003__WE,R_0002_0007__CINDERELLA_R_0002_0008__CINDERELLA,R_0002_0010__THE_R_0002_0011__PALACE_R_0002_0012__THEATRE,R_0002_0004__WILL_R_0002_0005__BE_R_0002_0006__ATTENDING] :
      ( r_0002_0001__This_r_0002_0002__year(R_0002_0001__THIS_R_0002_0002__YEAR)
      & r_0002_0003__we(R_0002_0003__WE)
      & r_0002_0007__Cinderella_r_0002_0008__Cinderella(R_0002_0007__CINDERELLA_R_0002_0008__CINDERELLA)
      & r_0002_0010__the_r_0002_0011__Palace_r_0002_0012__Theatre(R_0002_0010__THE_R_0002_0011__PALACE_R_0002_0012__THEATRE)
      & r_0002_0004__will_r_0002_0005__be_r_0002_0006__attending(R_0002_0004__WILL_R_0002_0005__BE_R_0002_0006__ATTENDING)
      & has_r_0002_0009__at_nim28(R_0002_0004__WILL_R_0002_0005__BE_R_0002_0006__ATTENDING,R_0002_0010__THE_R_0002_0011__PALACE_R_0002_0012__THEATRE)
      & has_arg1(R_0002_0004__WILL_R_0002_0005__BE_R_0002_0006__ATTENDING,R_0002_0007__CINDERELLA_R_0002_0008__CINDERELLA)
      & has_arg0(R_0002_0004__WILL_R_0002_0005__BE_R_0002_0006__ATTENDING,R_0002_0003__WE)
      & has_nim16(R_0002_0004__WILL_R_0002_0005__BE_R_0002_0006__ATTENDING,R_0002_0001__THIS_R_0002_0002__YEAR) ) ).


n2_a_pantomime n2_a_pantomime__1_1_1_1 This n2_a_pantomime__1_1_2_1 year n2_a_pantomime__1_2_1_1 we n2_a_pantomime__1_3_1 will n2_a_pantomime__1_4_1_1 be n2_a_pantomime__1_4_2_1_1 *ICH*-169 n2_a_pantomime__1_4_2_2_1 attending n2_a_pantomime__1_4_2_3_1_1 Cinderella n2_a_pantomime__1_4_2_3_2_1 Cinderella n2_a_pantomime__1_4_2_4_1_1 at n2_a_pantomime__1_4_2_4_2_1_1 the n2_a_pantomime__1_4_2_4_2_2_1 Palace n2_a_pantomime__1_4_2_4_2_3_1 Theatre n2_a_pantomime__1_5_1 . n2_a_pantomime__1 IP-MAT n2_a_pantomime__1_1 NP-TPC-169 n2_a_pantomime__1->n2_a_pantomime__1_1 n2_a_pantomime__1_2 NP-SBJ n2_a_pantomime__1->n2_a_pantomime__1_2 n2_a_pantomime__1_3 MD;_cat_Vi_ n2_a_pantomime__1->n2_a_pantomime__1_3 n2_a_pantomime__1_4 IP-INF-CAT n2_a_pantomime__1->n2_a_pantomime__1_4 n2_a_pantomime__1_5 PUNC n2_a_pantomime__1->n2_a_pantomime__1_5 n2_a_pantomime__1_1_1 D n2_a_pantomime__1_1->n2_a_pantomime__1_1_1 n2_a_pantomime__1_1_2 N n2_a_pantomime__1_1->n2_a_pantomime__1_1_2 n2_a_pantomime__1_1_1->n2_a_pantomime__1_1_1_1 n2_a_pantomime__1_1_2->n2_a_pantomime__1_1_2_1 n2_a_pantomime__1_2_1 PRO n2_a_pantomime__1_2->n2_a_pantomime__1_2_1 n2_a_pantomime__1_2_1->n2_a_pantomime__1_2_1_1 n2_a_pantomime__1_3->n2_a_pantomime__1_3_1 n2_a_pantomime__1_4_1 BE;_cat_Vg_ n2_a_pantomime__1_4->n2_a_pantomime__1_4_1 n2_a_pantomime__1_4_2 IP-PPL-CAT n2_a_pantomime__1_4->n2_a_pantomime__1_4_2 n2_a_pantomime__1_4_1->n2_a_pantomime__1_4_1_1 n2_a_pantomime__1_4_2_1 NP-NIM n2_a_pantomime__1_4_2->n2_a_pantomime__1_4_2_1 n2_a_pantomime__1_4_2_2 VAG;_Tn_ n2_a_pantomime__1_4_2->n2_a_pantomime__1_4_2_2 n2_a_pantomime__1_4_2_3 NP-OB1 n2_a_pantomime__1_4_2->n2_a_pantomime__1_4_2_3 n2_a_pantomime__1_4_2_4 PP-NIM n2_a_pantomime__1_4_2->n2_a_pantomime__1_4_2_4 n2_a_pantomime__1_4_2_1->n2_a_pantomime__1_4_2_1_1 n2_a_pantomime__1_4_2_2->n2_a_pantomime__1_4_2_2_1 n2_a_pantomime__1_4_2_3_1 NPR n2_a_pantomime__1_4_2_3->n2_a_pantomime__1_4_2_3_1 n2_a_pantomime__1_4_2_3_2 NPR n2_a_pantomime__1_4_2_3->n2_a_pantomime__1_4_2_3_2 n2_a_pantomime__1_4_2_3_1->n2_a_pantomime__1_4_2_3_1_1 n2_a_pantomime__1_4_2_3_2->n2_a_pantomime__1_4_2_3_2_1 n2_a_pantomime__1_4_2_4_1 P-ROLE n2_a_pantomime__1_4_2_4->n2_a_pantomime__1_4_2_4_1 n2_a_pantomime__1_4_2_4_2 NP n2_a_pantomime__1_4_2_4->n2_a_pantomime__1_4_2_4_2 n2_a_pantomime__1_4_2_4_1->n2_a_pantomime__1_4_2_4_1_1 n2_a_pantomime__1_4_2_4_2_1 D n2_a_pantomime__1_4_2_4_2->n2_a_pantomime__1_4_2_4_2_1 n2_a_pantomime__1_4_2_4_2_2 NPR n2_a_pantomime__1_4_2_4_2->n2_a_pantomime__1_4_2_4_2_2 n2_a_pantomime__1_4_2_4_2_3 NPR n2_a_pantomime__1_4_2_4_2->n2_a_pantomime__1_4_2_4_2_3 n2_a_pantomime__1_4_2_4_2_1->n2_a_pantomime__1_4_2_4_2_1_1 n2_a_pantomime__1_4_2_4_2_2->n2_a_pantomime__1_4_2_4_2_2_1 n2_a_pantomime__1_4_2_4_2_3->n2_a_pantomime__1_4_2_4_2_3_1 n2_a_pantomime__1_5->n2_a_pantomime__1_5_1 
( (IP-MAT (NP-TPC-169 (D This;{this})
                      (N year;{year}))
          (NP-SBJ (PRO we;{we}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_cat_Vg_ be;{be})
                      (IP-PPL-CAT (NP-NIM *ICH*-169)
                                  (VAG;_Tn_ attending;{attend})
                                  (NP-OB1;{PANTOMIME} (NPR Cinderella;{Cinderella})
                                                      (NPR Cinderella;{Cinderella}))
                                  (PP-NIM (P-ROLE at;{at})
                                          (NP (D the;{the})
                                              (NPR Palace;{Palace})
                                              (NPR Theatre;{Theatre})))))
          (PUNC .))
  (ID 2_a_pantomime))