( (IP-MAT (PP-NIM (P-ROLE During;{during})
                  (NP (NP-GEN (PRO;_genm_ your;{your}))
                      (N stay;{stay})))
          (NP-SBJ (PRO you;{you}))
          (ILYR (ILYR (VBD;_Ipr_ went;{go[to]})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (N theatre;{theatre})))
                      (PP-SCON (IP-INF2 (TO to;{to})
                                        (VB;_Tn_ see;{see})
                                        (NP-OB1 (D a;{a})
                                                (ADJP (ADJ musical;{musical}))
                                                (N show;{show})))))
                (CONJP (CONJ and;{and})
                       (ILYR (HVD;_Tn_ had;{have})
                             (NP-OB1 (D a;{a})
                                     (ADJP (ADVP (ADV very;{very}))
                                           (ADJ disappointing;{disappointing}))
                                     (N evening;{evening})))))
          (PUNC .))
  (ID 4_a_fce_0102_2000_06))

arc(r_0004_0003__stay,r_0004_0002__your,gen).
arc(r_0004_0005__went_r_0004_0006__to,r_0004_0002__your,arg0).
arc(r_0004_0005__went_r_0004_0006__to,r_0004_0003__stay,r_0004_0001__During__nim).
arc(r_0004_0005__went_r_0004_0006__to,r_0004_0007__the_r_0004_0008__theatre,arg1).
arc(r_0004_0010__see,r_0004_0002__your,arg0).
arc(r_0004_0010__see,r_0004_0011__a_r_0004_0013__show,arg1).
arc(r_0004_0011__a_r_0004_0013__show,r_0004_0012__musical,attrib).
arc(r_0004_0014__and,r_0004_0015__had,conj2).
arc(r_0004_0014__and,z_0004_5004,conj1).
arc(r_0004_0015__had,r_0004_0002__your,arg0).
arc(r_0004_0015__had,r_0004_0003__stay,r_0004_0001__During__nim).
arc(r_0004_0015__had,r_0004_0016__a_r_0004_0019__evening,arg1).
arc(r_0004_0016__a_r_0004_0019__evening,r_0004_0018__disappointing,attrib).
arc(r_0004_0018__disappointing,r_0004_0017__very,qual).
arc(z_0004_5004,r_0004_0005__went_r_0004_0006__to,scope).
arc(z_0004_5004,r_0004_0010__see,restriction).

fof(formula,axiom,
    ? [R_0004_0002__YOUR,R_0004_0003__STAY,R_0004_0017__VERY,R_0004_0018__DISAPPOINTING,R_0004_0016__A_R_0004_0019__EVENING,R_0004_0015__HAD,R_0004_0007__THE_R_0004_0008__THEATRE,R_0004_0005__WENT_R_0004_0006__TO,R_0004_0012__MUSICAL,R_0004_0011__A_R_0004_0013__SHOW,R_0004_0010__SEE,Z_0004_5004,R_0004_0014__AND] :
      ( r_0004_0002__your(R_0004_0002__YOUR)
      & r_0004_0007__the_r_0004_0008__theatre(R_0004_0007__THE_R_0004_0008__THEATRE)
      & r_0004_0012__musical(R_0004_0012__MUSICAL)
      & r_0004_0017__very(R_0004_0017__VERY)
      & r_0004_0014__and(R_0004_0014__AND)
      & has_conj1(R_0004_0014__AND,Z_0004_5004)
      & z_0004_5004(Z_0004_5004)
      & has_conj1(Z_0004_5004,R_0004_0010__SEE)
      & r_0004_0010__see(R_0004_0010__SEE)
      & has_arg1(R_0004_0010__SEE,R_0004_0011__A_R_0004_0013__SHOW)
      & r_0004_0011__a_r_0004_0013__show(R_0004_0011__A_R_0004_0013__SHOW)
      & has_attrib(R_0004_0011__A_R_0004_0013__SHOW,R_0004_0012__MUSICAL)
      & has_arg0(R_0004_0010__SEE,R_0004_0002__YOUR)
      & has_conj2(Z_0004_5004,R_0004_0005__WENT_R_0004_0006__TO)
      & r_0004_0005__went_r_0004_0006__to(R_0004_0005__WENT_R_0004_0006__TO)
      & has_arg1(R_0004_0005__WENT_R_0004_0006__TO,R_0004_0007__THE_R_0004_0008__THEATRE)
      & has_r_0004_0001__During__nim(R_0004_0005__WENT_R_0004_0006__TO,R_0004_0003__STAY)
      & r_0004_0003__stay(R_0004_0003__STAY)
      & has_gen(R_0004_0003__STAY,R_0004_0002__YOUR)
      & has_arg0(R_0004_0005__WENT_R_0004_0006__TO,R_0004_0002__YOUR)
      & has_conj2(R_0004_0014__AND,R_0004_0015__HAD)
      & r_0004_0015__had(R_0004_0015__HAD)
      & has_arg1(R_0004_0015__HAD,R_0004_0016__A_R_0004_0019__EVENING)
      & r_0004_0016__a_r_0004_0019__evening(R_0004_0016__A_R_0004_0019__EVENING)
      & has_attrib(R_0004_0016__A_R_0004_0019__EVENING,R_0004_0018__DISAPPOINTING)
      & r_0004_0018__disappointing(R_0004_0018__DISAPPOINTING)
      & has_qual(R_0004_0018__DISAPPOINTING,R_0004_0017__VERY)
      & has_r_0004_0001__During__nim(R_0004_0015__HAD,R_0004_0003__STAY)
      & has_arg0(R_0004_0015__HAD,R_0004_0002__YOUR) ) ).