( (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))

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__nim).
arc(r_0004_0008__nights,r_0004_0007__separate,attrib).
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,inv_arg0).
arc(r_0004_0012__starting,r_0004_0013__Monday_r_0004_0014__21st,nim).

fof(formula,axiom,
    ! [R_0004_0002__YEAR] :
      ( r_0004_0002__year(R_0004_0002__YEAR)
     => ? [R_0004_0007__SEPARATE,R_0004_0013__MONDAY_R_0004_0014__21ST,R_0004_0012__STARTING,R_0004_0010__THE_R_0004_0011__WEEK,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_0013__Monday_r_0004_0014__21st(R_0004_0013__MONDAY_R_0004_0014__21ST)
          & 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__nim(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)
          & r_0004_0010__the_r_0004_0011__week(R_0004_0010__THE_R_0004_0011__WEEK)
          & has_inv_arg0(R_0004_0010__THE_R_0004_0011__WEEK,R_0004_0012__STARTING)
          & r_0004_0012__starting(R_0004_0012__STARTING)
          & has_nim(R_0004_0012__STARTING,R_0004_0013__MONDAY_R_0004_0014__21ST)
          & has_attrib(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) ) ) ).