arc(r_0004_0001__Most_quant, r_0004_0008__were, scope).
arc(r_0004_0001__Most_quant, z_000_4_a_fce_0102_2000_12_4, restriction).
arc(r_0004_0006__went, r_0004_0003__the_r_0004_0004__events, r_0004_0007__to_clr24).
arc(r_0004_0006__went, r_0004_0005__you, arg0).
arc(r_0004_0008__were, r_0004_0009__good, prd).
arc(r_0004_0008__were, z_000_4_a_fce_0102_2000_12_4, arg0).
arc(r_0004_0011__but, r_0004_0001__Most_quant, conj1).
arc(r_0004_0011__but, r_0004_0013__feel, conj2).
arc(r_0004_0013__feel, r_0004_0005__you, arg0).
arc(r_0004_0013__feel, r_0004_0014__that_r_0004_0017__could, arg1).
arc(r_0004_0014__that_r_0004_0017__could, r_0004_0018__be, scope).
arc(r_0004_0018__be, r_0004_0015__the_r_0004_0016__festival, arg0).
arc(r_0004_0018__be, r_0004_0020__better, prd).
arc(r_0004_0018__be, r_0004_0022__year, nim62).
arc(r_0004_0020__better, r_0004_0019__even, qual57).
arc(r_0004_0022__year, r_0004_0021__next, attrib63).
arc(z_000_4_a_fce_0102_2000_12_4, r_0004_0003__the_r_0004_0004__events, r_0004_0002__of).

fof(formula,axiom,
    ? [R_4_6_WENT,R_4_3_THE_EVENTS,R_4_11_BUT,R_4_13_FEEL,R_4_5_YOU,R_4_14_THAT_COULD_BE,R_4_15_THE_FESTIVAL,R_4_22_YEAR,R_4_21_NEXT,R_4_20_BETTER,R_4_19_EVEN] :
      ( the_events(R_4_3_THE_EVENTS)
      & you(R_4_5_YOU)
      & the_festival(R_4_15_THE_FESTIVAL)
      & next(R_4_21_NEXT)
      & even(R_4_19_EVEN)
      & went(R_4_6_WENT,R_4_5_YOU)
      & to_clr24(R_4_6_WENT,R_4_3_THE_EVENTS)
      & ! [Z_4_A_FCE_102_2000_12_4] :
          ( ( z_4_a_fce_102_2000_12_4(Z_4_A_FCE_102_2000_12_4)
            & of(Z_4_A_FCE_102_2000_12_4,R_4_3_THE_EVENTS) )
         => ? [R_4_8_WERE,R_4_9_GOOD] :
              ( good(R_4_9_GOOD)
              & were(R_4_8_WERE,Z_4_A_FCE_102_2000_12_4,R_4_9_GOOD) ) )
      & conj1(CONJ1)
      & but(R_4_11_BUT)
      & conj2(R_4_11_BUT,R_4_13_FEEL)
      & feel(R_4_13_FEEL,R_4_5_YOU,R_4_14_THAT_COULD_BE)
      & that_could_be(R_4_14_THAT_COULD_BE,R_4_15_THE_FESTIVAL,R_4_20_BETTER)
      & better(R_4_20_BETTER)
      & qual57(R_4_20_BETTER,R_4_19_EVEN)
      & nim62(R_4_14_THAT_COULD_BE,R_4_22_YEAR)
      & year(R_4_22_YEAR)
      & attrib63(R_4_22_YEAR,R_4_21_NEXT) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (Q;_nphd_ Most;{most})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (NS events;{event})
                                      (IP-REL (NP-SBJ (PRO you;{you}))
                                              (VBD;_Ipr_ went;{go[to]})
                                              (PP-CLR (P-ROLE to;{to})
                                                      (NP *T*))))))
                      (BED;_La_ were;{be})
                      (ADJP-PRD (ADJ good;{good})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (PRO you;{you}))
                             (VBP;_Tf_ feel;{feel})
                             (CP-THT-OB1 (IP-SUB (C that;{that})
                                                 (NP-SBJ (D the;{the})
                                                         (N festival;{festival}))
                                                 (MD;_cat_Vi_ could;{can})
                                                 (IP-INF-CAT (BE;_La_ be;{be})
                                                             (ADJP-PRD (ADVP (ADV even;{even}))
                                                                       (ADJR better;{good}))
                                                             (NP-NIM (ADJP (ADJ next;{next}))
                                                                     (N year;{year}))))))))
          (PUNC .))
  (ID 4_a_fce_0102_2000_12))