Context                Previous, Next                Top


4_a_pantomime
Each year will be attending on separate nights in the week starting Monday 21st.

%3 r_0004_0001__Each_quant Each [quant] r_0004_0002__year year r_0004_0001__Each_quant->r_0004_0002__year [restriction] r_0004_0003__will will r_0004_0001__Each_quant->r_0004_0003__will [scope] r_0004_0004__be be r_0004_0003__will->r_0004_0004__be [scope] r_0004_0005__attending attending r_0004_0004__be->r_0004_0005__attending [scope] r_0004_0005__attending->r_0004_0002__year [arg0] r_0004_0008__nights nights r_0004_0005__attending->r_0004_0008__nights on [nim] r_0004_0007__separate separate r_0004_0008__nights->r_0004_0007__separate [attrib] r_0004_0010__the_r_0004_0011__week the week r_0004_0008__nights->r_0004_0010__the_r_0004_0011__week in r_0004_0012__starting starting r_0004_0012__starting->r_0004_0010__the_r_0004_0011__week [arg0] r_0004_0013__Monday_r_0004_0014__21st Monday 21st r_0004_0012__starting->r_0004_0013__Monday_r_0004_0014__21st [nim] 
arc(r_0004_0001__Each_quant, r_0004_0002__year, restriction).
arc(r_0004_0001__Each_quant, r_0004_0003__will, scope).
arc(r_0004_0003__will, r_0004_0004__be, scope).
arc(r_0004_0004__be, r_0004_0005__attending, scope).
arc(r_0004_0005__attending, r_0004_0002__year, arg0).
arc(r_0004_0005__attending, r_0004_0008__nights, r_0004_0006__on_nim18).
arc(r_0004_0008__nights, r_0004_0007__separate, attrib19).
arc(r_0004_0008__nights, r_0004_0010__the_r_0004_0011__week, r_0004_0009__in).
arc(r_0004_0012__starting, r_0004_0010__the_r_0004_0011__week, arg0).
arc(r_0004_0012__starting, r_0004_0013__Monday_r_0004_0014__21st, nim35).


%3 r_0004_0012__starting starting r_0004_0013__Monday_r_0004_0014__21st Monday 21st r_0004_0012__starting->r_0004_0013__Monday_r_0004_0014__21st [nim] r_0004_0010__the_r_0004_0011__week the week r_0004_0012__starting->r_0004_0010__the_r_0004_0011__week [arg0] r_0004_0008__nights nights r_0004_0008__nights->r_0004_0010__the_r_0004_0011__week in r_0004_0007__separate separate r_0004_0008__nights->r_0004_0007__separate [attrib] r_0004_0003__will_r_0004_0004__be_r_0004_0005__attending will be attending r_0004_0003__will_r_0004_0004__be_r_0004_0005__attending->r_0004_0008__nights on [nim] r_0004_0002__year year r_0004_0003__will_r_0004_0004__be_r_0004_0005__attending->r_0004_0002__year [arg0] r_0004_0001__Each_quant Each [quant] r_0004_0001__Each_quant->r_0004_0003__will_r_0004_0004__be_r_0004_0005__attending [scope] r_0004_0001__Each_quant->r_0004_0002__year [restriction] 
fof(formula,axiom,
    ? [R_0004_0010__THE_R_0004_0011__WEEK,R_0004_0013__MONDAY_R_0004_0014__21ST,R_0004_0012__STARTING] :
      ( r_0004_0010__the_r_0004_0011__week(R_0004_0010__THE_R_0004_0011__WEEK)
      & r_0004_0013__Monday_r_0004_0014__21st(R_0004_0013__MONDAY_R_0004_0014__21ST)
      & r_0004_0012__starting(R_0004_0012__STARTING)
      & has_nim35(R_0004_0012__STARTING,R_0004_0013__MONDAY_R_0004_0014__21ST)
      & has_arg0(R_0004_0012__STARTING,R_0004_0010__THE_R_0004_0011__WEEK)
      & ! [R_0004_0002__YEAR] :
          ( r_0004_0002__year(R_0004_0002__YEAR)
         => ? [R_0004_0007__SEPARATE,R_0004_0008__NIGHTS,R_0004_0003__WILL_R_0004_0004__BE_R_0004_0005__ATTENDING] :
              ( r_0004_0007__separate(R_0004_0007__SEPARATE)
              & r_0004_0003__will_r_0004_0004__be_r_0004_0005__attending(R_0004_0003__WILL_R_0004_0004__BE_R_0004_0005__ATTENDING)
              & has_r_0004_0006__on_nim18(R_0004_0003__WILL_R_0004_0004__BE_R_0004_0005__ATTENDING,R_0004_0008__NIGHTS)
              & r_0004_0008__nights(R_0004_0008__NIGHTS)
              & has_r_0004_0009__in(R_0004_0008__NIGHTS,R_0004_0010__THE_R_0004_0011__WEEK)
              & has_attrib19(R_0004_0008__NIGHTS,R_0004_0007__SEPARATE)
              & has_arg0(R_0004_0003__WILL_R_0004_0004__BE_R_0004_0005__ATTENDING,R_0004_0002__YEAR) ) ) ) ).


n4_a_pantomime n4_a_pantomime__1_1_1_1 Each n4_a_pantomime__1_1_2_1 year n4_a_pantomime__1_2_1 will n4_a_pantomime__1_3_1_1 be n4_a_pantomime__1_3_2_1_1 attending n4_a_pantomime__1_3_2_2_1_1 on n4_a_pantomime__1_3_2_2_2_1_1_1 separate n4_a_pantomime__1_3_2_2_2_2_1 nights n4_a_pantomime__1_3_2_2_2_3_1_1 in n4_a_pantomime__1_3_2_2_2_3_2_1_1 the n4_a_pantomime__1_3_2_2_2_3_2_2_1 week n4_a_pantomime__1_3_2_2_2_3_2_3_1_1 starting n4_a_pantomime__1_3_2_2_2_3_2_3_2_1_1 Monday n4_a_pantomime__1_3_2_2_2_3_2_3_2_2_1 21st n4_a_pantomime__1_4_1 . n4_a_pantomime__1 IP-MAT n4_a_pantomime__1_1 NP-SBJ n4_a_pantomime__1->n4_a_pantomime__1_1 n4_a_pantomime__1_2 MD;_cat_Vi_ n4_a_pantomime__1->n4_a_pantomime__1_2 n4_a_pantomime__1_3 IP-INF-CAT n4_a_pantomime__1->n4_a_pantomime__1_3 n4_a_pantomime__1_4 PUNC n4_a_pantomime__1->n4_a_pantomime__1_4 n4_a_pantomime__1_1_1 Q n4_a_pantomime__1_1->n4_a_pantomime__1_1_1 n4_a_pantomime__1_1_2 N n4_a_pantomime__1_1->n4_a_pantomime__1_1_2 n4_a_pantomime__1_1_1->n4_a_pantomime__1_1_1_1 n4_a_pantomime__1_1_2->n4_a_pantomime__1_1_2_1 n4_a_pantomime__1_2->n4_a_pantomime__1_2_1 n4_a_pantomime__1_3_1 BE;_cat_Vg_ n4_a_pantomime__1_3->n4_a_pantomime__1_3_1 n4_a_pantomime__1_3_2 IP-PPL-CAT n4_a_pantomime__1_3->n4_a_pantomime__1_3_2 n4_a_pantomime__1_3_1->n4_a_pantomime__1_3_1_1 n4_a_pantomime__1_3_2_1 VAG;_I_ n4_a_pantomime__1_3_2->n4_a_pantomime__1_3_2_1 n4_a_pantomime__1_3_2_2 PP-NIM n4_a_pantomime__1_3_2->n4_a_pantomime__1_3_2_2 n4_a_pantomime__1_3_2_1->n4_a_pantomime__1_3_2_1_1 n4_a_pantomime__1_3_2_2_1 P-ROLE n4_a_pantomime__1_3_2_2->n4_a_pantomime__1_3_2_2_1 n4_a_pantomime__1_3_2_2_2 NP n4_a_pantomime__1_3_2_2->n4_a_pantomime__1_3_2_2_2 n4_a_pantomime__1_3_2_2_1->n4_a_pantomime__1_3_2_2_1_1 n4_a_pantomime__1_3_2_2_2_1 ADJP n4_a_pantomime__1_3_2_2_2->n4_a_pantomime__1_3_2_2_2_1 n4_a_pantomime__1_3_2_2_2_2 NS n4_a_pantomime__1_3_2_2_2->n4_a_pantomime__1_3_2_2_2_2 n4_a_pantomime__1_3_2_2_2_3 PP n4_a_pantomime__1_3_2_2_2->n4_a_pantomime__1_3_2_2_2_3 n4_a_pantomime__1_3_2_2_2_1_1 ADJ n4_a_pantomime__1_3_2_2_2_1->n4_a_pantomime__1_3_2_2_2_1_1 n4_a_pantomime__1_3_2_2_2_1_1->n4_a_pantomime__1_3_2_2_2_1_1_1 n4_a_pantomime__1_3_2_2_2_2->n4_a_pantomime__1_3_2_2_2_2_1 n4_a_pantomime__1_3_2_2_2_3_1 P-ROLE n4_a_pantomime__1_3_2_2_2_3->n4_a_pantomime__1_3_2_2_2_3_1 n4_a_pantomime__1_3_2_2_2_3_2 NP n4_a_pantomime__1_3_2_2_2_3->n4_a_pantomime__1_3_2_2_2_3_2 n4_a_pantomime__1_3_2_2_2_3_1->n4_a_pantomime__1_3_2_2_2_3_1_1 n4_a_pantomime__1_3_2_2_2_3_2_1 D n4_a_pantomime__1_3_2_2_2_3_2->n4_a_pantomime__1_3_2_2_2_3_2_1 n4_a_pantomime__1_3_2_2_2_3_2_2 N n4_a_pantomime__1_3_2_2_2_3_2->n4_a_pantomime__1_3_2_2_2_3_2_2 n4_a_pantomime__1_3_2_2_2_3_2_3 IP-PPL n4_a_pantomime__1_3_2_2_2_3_2->n4_a_pantomime__1_3_2_2_2_3_2_3 n4_a_pantomime__1_3_2_2_2_3_2_1->n4_a_pantomime__1_3_2_2_2_3_2_1_1 n4_a_pantomime__1_3_2_2_2_3_2_2->n4_a_pantomime__1_3_2_2_2_3_2_2_1 n4_a_pantomime__1_3_2_2_2_3_2_3_1 VAG;_I_ n4_a_pantomime__1_3_2_2_2_3_2_3->n4_a_pantomime__1_3_2_2_2_3_2_3_1 n4_a_pantomime__1_3_2_2_2_3_2_3_2 NP-NIM n4_a_pantomime__1_3_2_2_2_3_2_3->n4_a_pantomime__1_3_2_2_2_3_2_3_2 n4_a_pantomime__1_3_2_2_2_3_2_3_1->n4_a_pantomime__1_3_2_2_2_3_2_3_1_1 n4_a_pantomime__1_3_2_2_2_3_2_3_2_1 NPR n4_a_pantomime__1_3_2_2_2_3_2_3_2->n4_a_pantomime__1_3_2_2_2_3_2_3_2_1 n4_a_pantomime__1_3_2_2_2_3_2_3_2_2 NUM n4_a_pantomime__1_3_2_2_2_3_2_3_2->n4_a_pantomime__1_3_2_2_2_3_2_3_2_2 n4_a_pantomime__1_3_2_2_2_3_2_3_2_1->n4_a_pantomime__1_3_2_2_2_3_2_3_2_1_1 n4_a_pantomime__1_3_2_2_2_3_2_3_2_2->n4_a_pantomime__1_3_2_2_2_3_2_3_2_2_1 n4_a_pantomime__1_4->n4_a_pantomime__1_4_1 
( (IP-MAT (NP-SBJ (Q Each;{each})
                  (N year;{year}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_cat_Vg_ be;{be})
                      (IP-PPL-CAT (VAG;_I_ attending;{attend})
                                  (PP-NIM (P-ROLE on;{on})
                                          (NP (ADJP (ADJ separate;{separate}))
                                              (NS nights;{night})
                                              (PP (P-ROLE in;{in})
                                                  (NP (D the;{the})
                                                      (N week;{week})
                                                      (IP-PPL (VAG;_I_ starting;{start})
                                                              (NP-NIM (NPR Monday;{Monday})
                                                                      (NUM 21st)))))))))
          (PUNC .))
  (ID 4_a_pantomime))