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_4 Each n5_a_pantomime_6 year n5_a_pantomime_8 will n5_a_pantomime_11 be n5_a_pantomime_14 attending n5_a_pantomime_17 on n5_a_pantomime_21 separate n5_a_pantomime_23 nights n5_a_pantomime_26 in n5_a_pantomime_29 the n5_a_pantomime_31 week n5_a_pantomime_34 starting n5_a_pantomime_37 Monday n5_a_pantomime_39 21st n5_a_pantomime_41 . n5_a_pantomime_1 IP-MAT n5_a_pantomime_2 NP-SBJ n5_a_pantomime_1->n5_a_pantomime_2 n5_a_pantomime_7 MD;_cat_Vi_ n5_a_pantomime_1->n5_a_pantomime_7 n5_a_pantomime_9 IP-INF-CAT n5_a_pantomime_1->n5_a_pantomime_9 n5_a_pantomime_40 PUNC n5_a_pantomime_1->n5_a_pantomime_40 n5_a_pantomime_3 Q n5_a_pantomime_2->n5_a_pantomime_3 n5_a_pantomime_5 N n5_a_pantomime_2->n5_a_pantomime_5 n5_a_pantomime_3->n5_a_pantomime_4 n5_a_pantomime_5->n5_a_pantomime_6 n5_a_pantomime_7->n5_a_pantomime_8 n5_a_pantomime_10 BE;_cat_Vg_ n5_a_pantomime_9->n5_a_pantomime_10 n5_a_pantomime_12 IP-PPL-CAT n5_a_pantomime_9->n5_a_pantomime_12 n5_a_pantomime_10->n5_a_pantomime_11 n5_a_pantomime_13 VAG;_I_ n5_a_pantomime_12->n5_a_pantomime_13 n5_a_pantomime_15 PP-NIM n5_a_pantomime_12->n5_a_pantomime_15 n5_a_pantomime_13->n5_a_pantomime_14 n5_a_pantomime_16 P-ROLE n5_a_pantomime_15->n5_a_pantomime_16 n5_a_pantomime_18 NP n5_a_pantomime_15->n5_a_pantomime_18 n5_a_pantomime_16->n5_a_pantomime_17 n5_a_pantomime_19 ADJP n5_a_pantomime_18->n5_a_pantomime_19 n5_a_pantomime_22 NS n5_a_pantomime_18->n5_a_pantomime_22 n5_a_pantomime_24 PP n5_a_pantomime_18->n5_a_pantomime_24 n5_a_pantomime_20 ADJ n5_a_pantomime_19->n5_a_pantomime_20 n5_a_pantomime_20->n5_a_pantomime_21 n5_a_pantomime_22->n5_a_pantomime_23 n5_a_pantomime_25 P-ROLE n5_a_pantomime_24->n5_a_pantomime_25 n5_a_pantomime_27 NP n5_a_pantomime_24->n5_a_pantomime_27 n5_a_pantomime_25->n5_a_pantomime_26 n5_a_pantomime_28 D n5_a_pantomime_27->n5_a_pantomime_28 n5_a_pantomime_30 N n5_a_pantomime_27->n5_a_pantomime_30 n5_a_pantomime_32 IP-PPL n5_a_pantomime_27->n5_a_pantomime_32 n5_a_pantomime_28->n5_a_pantomime_29 n5_a_pantomime_30->n5_a_pantomime_31 n5_a_pantomime_33 VAG;_I_ n5_a_pantomime_32->n5_a_pantomime_33 n5_a_pantomime_35 NP-NIM n5_a_pantomime_32->n5_a_pantomime_35 n5_a_pantomime_33->n5_a_pantomime_34 n5_a_pantomime_36 NPR n5_a_pantomime_35->n5_a_pantomime_36 n5_a_pantomime_38 NUM n5_a_pantomime_35->n5_a_pantomime_38 n5_a_pantomime_36->n5_a_pantomime_37 n5_a_pantomime_38->n5_a_pantomime_39 n5_a_pantomime_40->n5_a_pantomime_41 
( (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))