Context                Previous, Next                Top


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

%3 r_0005_0001__Each_quant Each [quant] r_0005_0002__year year r_0005_0001__Each_quant->r_0005_0002__year [restriction] r_0005_0003__will will r_0005_0001__Each_quant->r_0005_0003__will [scope] r_0005_0004__be be r_0005_0003__will->r_0005_0004__be [scope] r_0005_0005__attending attending r_0005_0004__be->r_0005_0005__attending [scope] r_0005_0005__attending->r_0005_0002__year [arg0] r_0005_0008__nights nights r_0005_0005__attending->r_0005_0008__nights on [nim] r_0005_0007__separate separate r_0005_0008__nights->r_0005_0007__separate [attrib] r_0005_0010__the_r_0005_0011__week the week r_0005_0008__nights->r_0005_0010__the_r_0005_0011__week in r_0005_0012__starting starting r_0005_0012__starting->r_0005_0010__the_r_0005_0011__week [arg0] r_0005_0013__Monday_r_0005_0014__21st Monday 21st r_0005_0012__starting->r_0005_0013__Monday_r_0005_0014__21st [nim] 
arc(r_0005_0001__Each_quant, r_0005_0002__year, restriction).
arc(r_0005_0001__Each_quant, r_0005_0003__will, scope).
arc(r_0005_0003__will, r_0005_0004__be, scope).
arc(r_0005_0004__be, r_0005_0005__attending, scope).
arc(r_0005_0005__attending, r_0005_0002__year, arg0).
arc(r_0005_0005__attending, r_0005_0008__nights, r_0005_0006__on_nim18).
arc(r_0005_0008__nights, r_0005_0007__separate, attrib19).
arc(r_0005_0008__nights, r_0005_0010__the_r_0005_0011__week, r_0005_0009__in).
arc(r_0005_0012__starting, r_0005_0010__the_r_0005_0011__week, arg0).
arc(r_0005_0012__starting, r_0005_0013__Monday_r_0005_0014__21st, nim35).


%3 r_0005_0001__Each_quant Each [quant] r_0005_0002__year year r_0005_0001__Each_quant->r_0005_0002__year [restriction] r_0005_0003__will_r_0005_0004__be_r_0005_0005__attending will be attending r_0005_0001__Each_quant->r_0005_0003__will_r_0005_0004__be_r_0005_0005__attending [scope] r_0005_0003__will_r_0005_0004__be_r_0005_0005__attending->r_0005_0002__year [arg0] r_0005_0008__nights nights r_0005_0003__will_r_0005_0004__be_r_0005_0005__attending->r_0005_0008__nights on [nim] r_0005_0007__separate separate r_0005_0008__nights->r_0005_0007__separate [attrib] r_0005_0010__the_r_0005_0011__week the week r_0005_0008__nights->r_0005_0010__the_r_0005_0011__week in r_0005_0012__starting starting r_0005_0012__starting->r_0005_0010__the_r_0005_0011__week [arg0] r_0005_0013__Monday_r_0005_0014__21st Monday 21st r_0005_0012__starting->r_0005_0013__Monday_r_0005_0014__21st [nim] 
fof(formula,axiom,
    ? [R_5_12_STARTING,R_5_10_THE_WEEK,R_5_13_MONDAY_21ST] :
      ( the_week(R_5_10_THE_WEEK)
      & monday_21st(R_5_13_MONDAY_21ST)
      & ! [R_5_2_YEAR] :
          ( year(R_5_2_YEAR)
         => ? [R_5_3_WILL_BE_ATTENDING,R_5_8_NIGHTS,R_5_7_SEPARATE] :
              ( separate(R_5_7_SEPARATE)
              & will_be_attending(R_5_3_WILL_BE_ATTENDING,R_5_2_YEAR)
              & on_nim18(R_5_3_WILL_BE_ATTENDING,R_5_8_NIGHTS)
              & nights(R_5_8_NIGHTS)
              & attrib19(R_5_8_NIGHTS,R_5_7_SEPARATE)
              & in(R_5_8_NIGHTS,R_5_10_THE_WEEK) ) )
      & starting(R_5_12_STARTING,R_5_10_THE_WEEK)
      & nim35(R_5_12_STARTING,R_5_13_MONDAY_21ST) ) ).


n5_a_pantomime n5_a_pantomime__1_1_1_1 Each n5_a_pantomime__1_1_2_1 year n5_a_pantomime__1_2_1 will n5_a_pantomime__1_3_1_1 be n5_a_pantomime__1_3_2_1_1 attending n5_a_pantomime__1_3_2_2_1_1 on n5_a_pantomime__1_3_2_2_2_1_1_1 separate n5_a_pantomime__1_3_2_2_2_2_1 nights n5_a_pantomime__1_3_2_2_2_3_1_1 in n5_a_pantomime__1_3_2_2_2_3_2_1_1 the n5_a_pantomime__1_3_2_2_2_3_2_2_1 week n5_a_pantomime__1_3_2_2_2_3_2_3_1_1 starting n5_a_pantomime__1_3_2_2_2_3_2_3_2_1_1 Monday n5_a_pantomime__1_3_2_2_2_3_2_3_2_2_1 21st n5_a_pantomime__1_4_1 . n5_a_pantomime__1 IP-MAT n5_a_pantomime__1_1 NP-SBJ n5_a_pantomime__1->n5_a_pantomime__1_1 n5_a_pantomime__1_2 MD;_cat_Vi_ n5_a_pantomime__1->n5_a_pantomime__1_2 n5_a_pantomime__1_3 IP-INF-CAT n5_a_pantomime__1->n5_a_pantomime__1_3 n5_a_pantomime__1_4 PUNC n5_a_pantomime__1->n5_a_pantomime__1_4 n5_a_pantomime__1_1_1 Q n5_a_pantomime__1_1->n5_a_pantomime__1_1_1 n5_a_pantomime__1_1_2 N n5_a_pantomime__1_1->n5_a_pantomime__1_1_2 n5_a_pantomime__1_1_1->n5_a_pantomime__1_1_1_1 n5_a_pantomime__1_1_2->n5_a_pantomime__1_1_2_1 n5_a_pantomime__1_2->n5_a_pantomime__1_2_1 n5_a_pantomime__1_3_1 BE;_cat_Vg_ n5_a_pantomime__1_3->n5_a_pantomime__1_3_1 n5_a_pantomime__1_3_2 IP-PPL-CAT n5_a_pantomime__1_3->n5_a_pantomime__1_3_2 n5_a_pantomime__1_3_1->n5_a_pantomime__1_3_1_1 n5_a_pantomime__1_3_2_1 VAG;_I_ n5_a_pantomime__1_3_2->n5_a_pantomime__1_3_2_1 n5_a_pantomime__1_3_2_2 PP-NIM n5_a_pantomime__1_3_2->n5_a_pantomime__1_3_2_2 n5_a_pantomime__1_3_2_1->n5_a_pantomime__1_3_2_1_1 n5_a_pantomime__1_3_2_2_1 P-ROLE n5_a_pantomime__1_3_2_2->n5_a_pantomime__1_3_2_2_1 n5_a_pantomime__1_3_2_2_2 NP n5_a_pantomime__1_3_2_2->n5_a_pantomime__1_3_2_2_2 n5_a_pantomime__1_3_2_2_1->n5_a_pantomime__1_3_2_2_1_1 n5_a_pantomime__1_3_2_2_2_1 ADJP n5_a_pantomime__1_3_2_2_2->n5_a_pantomime__1_3_2_2_2_1 n5_a_pantomime__1_3_2_2_2_2 NS n5_a_pantomime__1_3_2_2_2->n5_a_pantomime__1_3_2_2_2_2 n5_a_pantomime__1_3_2_2_2_3 PP n5_a_pantomime__1_3_2_2_2->n5_a_pantomime__1_3_2_2_2_3 n5_a_pantomime__1_3_2_2_2_1_1 ADJ n5_a_pantomime__1_3_2_2_2_1->n5_a_pantomime__1_3_2_2_2_1_1 n5_a_pantomime__1_3_2_2_2_1_1->n5_a_pantomime__1_3_2_2_2_1_1_1 n5_a_pantomime__1_3_2_2_2_2->n5_a_pantomime__1_3_2_2_2_2_1 n5_a_pantomime__1_3_2_2_2_3_1 P-ROLE n5_a_pantomime__1_3_2_2_2_3->n5_a_pantomime__1_3_2_2_2_3_1 n5_a_pantomime__1_3_2_2_2_3_2 NP n5_a_pantomime__1_3_2_2_2_3->n5_a_pantomime__1_3_2_2_2_3_2 n5_a_pantomime__1_3_2_2_2_3_1->n5_a_pantomime__1_3_2_2_2_3_1_1 n5_a_pantomime__1_3_2_2_2_3_2_1 D n5_a_pantomime__1_3_2_2_2_3_2->n5_a_pantomime__1_3_2_2_2_3_2_1 n5_a_pantomime__1_3_2_2_2_3_2_2 N n5_a_pantomime__1_3_2_2_2_3_2->n5_a_pantomime__1_3_2_2_2_3_2_2 n5_a_pantomime__1_3_2_2_2_3_2_3 IP-PPL n5_a_pantomime__1_3_2_2_2_3_2->n5_a_pantomime__1_3_2_2_2_3_2_3 n5_a_pantomime__1_3_2_2_2_3_2_1->n5_a_pantomime__1_3_2_2_2_3_2_1_1 n5_a_pantomime__1_3_2_2_2_3_2_2->n5_a_pantomime__1_3_2_2_2_3_2_2_1 n5_a_pantomime__1_3_2_2_2_3_2_3_1 VAG;_I_ n5_a_pantomime__1_3_2_2_2_3_2_3->n5_a_pantomime__1_3_2_2_2_3_2_3_1 n5_a_pantomime__1_3_2_2_2_3_2_3_2 NP-NIM n5_a_pantomime__1_3_2_2_2_3_2_3->n5_a_pantomime__1_3_2_2_2_3_2_3_2 n5_a_pantomime__1_3_2_2_2_3_2_3_1->n5_a_pantomime__1_3_2_2_2_3_2_3_1_1 n5_a_pantomime__1_3_2_2_2_3_2_3_2_1 NPR n5_a_pantomime__1_3_2_2_2_3_2_3_2->n5_a_pantomime__1_3_2_2_2_3_2_3_2_1 n5_a_pantomime__1_3_2_2_2_3_2_3_2_2 NUM n5_a_pantomime__1_3_2_2_2_3_2_3_2->n5_a_pantomime__1_3_2_2_2_3_2_3_2_2 n5_a_pantomime__1_3_2_2_2_3_2_3_2_1->n5_a_pantomime__1_3_2_2_2_3_2_3_2_1_1 n5_a_pantomime__1_3_2_2_2_3_2_3_2_2->n5_a_pantomime__1_3_2_2_2_3_2_3_2_2_1 n5_a_pantomime__1_4->n5_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 5_a_pantomime))