25_a_alresford
There was a thriving music and drama tradition, and highlights of a year would be productions of operettas as ambitious as Die Fledermaus.

%3 r_0025_0001__There_r_0025_0002__was There was r_0025_0003__a_r_0025_0005__music_and_drama_r_0025_0006__tradition a music and drama tradition r_0025_0001__There_r_0025_0002__was->r_0025_0003__a_r_0025_0005__music_and_drama_r_0025_0006__tradition [arg0] r_0025_0004__thriving thriving r_0025_0003__a_r_0025_0005__music_and_drama_r_0025_0006__tradition->r_0025_0004__thriving [attrib] r_0025_0008__and and r_0025_0008__and->r_0025_0001__There_r_0025_0002__was [conj1] r_0025_0013__would would r_0025_0008__and->r_0025_0013__would [conj2] r_0025_0014__be be r_0025_0013__would->r_0025_0014__be [scope] r_0025_0009__highlights highlights r_0025_0011__a_r_0025_0012__year a year r_0025_0009__highlights->r_0025_0011__a_r_0025_0012__year of r_0025_0014__be->r_0025_0009__highlights [arg0] r_0025_0015__productions productions r_0025_0014__be->r_0025_0015__productions [prd] r_0025_0017__operettas operettas r_0025_0015__productions->r_0025_0017__operettas of r_0025_0019__ambitious ambitious r_0025_0017__operettas->r_0025_0019__ambitious [attrib] r_0025_0018__as as r_0025_0019__ambitious->r_0025_0018__as [qual] r_0025_0021__Die_r_0025_0022__Fledermaus Die Fledermaus r_0025_0019__ambitious->r_0025_0021__Die_r_0025_0022__Fledermaus as
arc(r_0025_0001__There_r_0025_0002__was, r_0025_0003__a_r_0025_0005__music_and_drama_r_0025_0006__tradition, arg0).
arc(r_0025_0003__a_r_0025_0005__music_and_drama_r_0025_0006__tradition, r_0025_0004__thriving, attrib11).
arc(r_0025_0008__and, r_0025_0001__There_r_0025_0002__was, conj1).
arc(r_0025_0008__and, r_0025_0013__would, conj2).
arc(r_0025_0009__highlights, r_0025_0011__a_r_0025_0012__year, r_0025_0010__of).
arc(r_0025_0013__would, r_0025_0014__be, scope).
arc(r_0025_0014__be, r_0025_0009__highlights, arg0).
arc(r_0025_0014__be, r_0025_0015__productions, prd).
arc(r_0025_0015__productions, r_0025_0017__operettas, r_0025_0016__of).
arc(r_0025_0017__operettas, r_0025_0019__ambitious, attrib49).
arc(r_0025_0019__ambitious, r_0025_0018__as, qual50).
arc(r_0025_0019__ambitious, r_0025_0021__Die_r_0025_0022__Fledermaus, r_0025_0020__as).



%3 r_0025_0001__There_r_0025_0002__was There was r_0025_0003__a_r_0025_0005__music_and_drama_r_0025_0006__tradition a music and drama tradition r_0025_0001__There_r_0025_0002__was->r_0025_0003__a_r_0025_0005__music_and_drama_r_0025_0006__tradition [arg0] r_0025_0004__thriving thriving r_0025_0003__a_r_0025_0005__music_and_drama_r_0025_0006__tradition->r_0025_0004__thriving [attrib] r_0025_0008__and and r_0025_0008__and->r_0025_0001__There_r_0025_0002__was [conj1] r_0025_0013__would_r_0025_0014__be would be r_0025_0008__and->r_0025_0013__would_r_0025_0014__be [conj2] r_0025_0009__highlights highlights r_0025_0013__would_r_0025_0014__be->r_0025_0009__highlights [arg0] r_0025_0015__productions productions r_0025_0013__would_r_0025_0014__be->r_0025_0015__productions [prd] r_0025_0011__a_r_0025_0012__year a year r_0025_0009__highlights->r_0025_0011__a_r_0025_0012__year of r_0025_0017__operettas operettas r_0025_0015__productions->r_0025_0017__operettas of r_0025_0019__ambitious ambitious r_0025_0017__operettas->r_0025_0019__ambitious [attrib] r_0025_0018__as as r_0025_0019__ambitious->r_0025_0018__as [qual] r_0025_0021__Die_r_0025_0022__Fledermaus Die Fledermaus r_0025_0019__ambitious->r_0025_0021__Die_r_0025_0022__Fledermaus as
fof(formula,axiom,
    ? [R_25_8_AND,R_25_1_THERE_WAS,R_25_3_A_MUSIC_AND_DRAMA_TRADITION,R_25_4_THRIVING,R_25_13_WOULD_BE,R_25_9_HIGHLIGHTS,R_25_11_A_YEAR,R_25_15_PRODUCTIONS,R_25_17_OPERETTAS,R_25_19_AMBITIOUS,R_25_18_AS,R_25_21_DIE_FLEDERMAUS] :
      ( thriving(R_25_4_THRIVING)
      & a_year(R_25_11_A_YEAR)
      & as(R_25_18_AS)
      & die_Fledermaus(R_25_21_DIE_FLEDERMAUS)
      & and(R_25_8_AND)
      & conj1(R_25_8_AND,R_25_1_THERE_WAS)
      & there_was(R_25_1_THERE_WAS,R_25_3_A_MUSIC_AND_DRAMA_TRADITION)
      & a_music_and_drama_tradition(R_25_3_A_MUSIC_AND_DRAMA_TRADITION)
      & attrib11(R_25_3_A_MUSIC_AND_DRAMA_TRADITION,R_25_4_THRIVING)
      & conj2(R_25_8_AND,R_25_13_WOULD_BE)
      & would_be(R_25_13_WOULD_BE,R_25_9_HIGHLIGHTS,R_25_15_PRODUCTIONS)
      & highlights(R_25_9_HIGHLIGHTS)
      & of(R_25_9_HIGHLIGHTS,R_25_11_A_YEAR)
      & productions(R_25_15_PRODUCTIONS)
      & of(R_25_15_PRODUCTIONS,R_25_17_OPERETTAS)
      & operettas(R_25_17_OPERETTAS)
      & attrib49(R_25_17_OPERETTAS,R_25_19_AMBITIOUS)
      & ambitious(R_25_19_AMBITIOUS)
      & qual50(R_25_19_AMBITIOUS,R_25_18_AS)
      & as(R_25_19_AMBITIOUS,R_25_21_DIE_FLEDERMAUS) ) ).



n25_a_alresford n25_a_alresford_5 There n25_a_alresford_7 was n25_a_alresford_10 a n25_a_alresford_13 thriving n25_a_alresford_15 music_and_drama n25_a_alresford_17 tradition n25_a_alresford_19 , n25_a_alresford_22 and n25_a_alresford_26 highlights n25_a_alresford_29 of n25_a_alresford_32 a n25_a_alresford_34 year n25_a_alresford_36 would n25_a_alresford_39 be n25_a_alresford_42 productions n25_a_alresford_45 of n25_a_alresford_48 operettas n25_a_alresford_52 as n25_a_alresford_54 ambitious n25_a_alresford_57 as n25_a_alresford_60 Die n25_a_alresford_62 Fledermaus n25_a_alresford_64 . n25_a_alresford_1 IP-MAT n25_a_alresford_2 ILYR n25_a_alresford_1->n25_a_alresford_2 n25_a_alresford_63 PUNC n25_a_alresford_1->n25_a_alresford_63 n25_a_alresford_3 ILYR n25_a_alresford_2->n25_a_alresford_3 n25_a_alresford_18 PUNC n25_a_alresford_2->n25_a_alresford_18 n25_a_alresford_20 CONJP n25_a_alresford_2->n25_a_alresford_20 n25_a_alresford_4 EX n25_a_alresford_3->n25_a_alresford_4 n25_a_alresford_6 BED;_ex_V_ n25_a_alresford_3->n25_a_alresford_6 n25_a_alresford_8 NP-ESBJ n25_a_alresford_3->n25_a_alresford_8 n25_a_alresford_4->n25_a_alresford_5 n25_a_alresford_6->n25_a_alresford_7 n25_a_alresford_9 D n25_a_alresford_8->n25_a_alresford_9 n25_a_alresford_11 ADJP n25_a_alresford_8->n25_a_alresford_11 n25_a_alresford_14 N n25_a_alresford_8->n25_a_alresford_14 n25_a_alresford_16 N n25_a_alresford_8->n25_a_alresford_16 n25_a_alresford_9->n25_a_alresford_10 n25_a_alresford_12 ADJ n25_a_alresford_11->n25_a_alresford_12 n25_a_alresford_12->n25_a_alresford_13 n25_a_alresford_14->n25_a_alresford_15 n25_a_alresford_16->n25_a_alresford_17 n25_a_alresford_18->n25_a_alresford_19 n25_a_alresford_21 CONJ n25_a_alresford_20->n25_a_alresford_21 n25_a_alresford_23 ILYR n25_a_alresford_20->n25_a_alresford_23 n25_a_alresford_21->n25_a_alresford_22 n25_a_alresford_24 NP-SBJ n25_a_alresford_23->n25_a_alresford_24 n25_a_alresford_35 MD;_cat_Vi_ n25_a_alresford_23->n25_a_alresford_35 n25_a_alresford_37 IP-INF-CAT n25_a_alresford_23->n25_a_alresford_37 n25_a_alresford_25 NS n25_a_alresford_24->n25_a_alresford_25 n25_a_alresford_27 PP n25_a_alresford_24->n25_a_alresford_27 n25_a_alresford_25->n25_a_alresford_26 n25_a_alresford_28 P-ROLE n25_a_alresford_27->n25_a_alresford_28 n25_a_alresford_30 NP n25_a_alresford_27->n25_a_alresford_30 n25_a_alresford_28->n25_a_alresford_29 n25_a_alresford_31 D n25_a_alresford_30->n25_a_alresford_31 n25_a_alresford_33 N n25_a_alresford_30->n25_a_alresford_33 n25_a_alresford_31->n25_a_alresford_32 n25_a_alresford_33->n25_a_alresford_34 n25_a_alresford_35->n25_a_alresford_36 n25_a_alresford_38 BE;_Ln_ n25_a_alresford_37->n25_a_alresford_38 n25_a_alresford_40 NP-PRD n25_a_alresford_37->n25_a_alresford_40 n25_a_alresford_38->n25_a_alresford_39 n25_a_alresford_41 NS n25_a_alresford_40->n25_a_alresford_41 n25_a_alresford_43 PP n25_a_alresford_40->n25_a_alresford_43 n25_a_alresford_41->n25_a_alresford_42 n25_a_alresford_44 P-ROLE n25_a_alresford_43->n25_a_alresford_44 n25_a_alresford_46 NP n25_a_alresford_43->n25_a_alresford_46 n25_a_alresford_44->n25_a_alresford_45 n25_a_alresford_47 NS n25_a_alresford_46->n25_a_alresford_47 n25_a_alresford_49 ADJP n25_a_alresford_46->n25_a_alresford_49 n25_a_alresford_47->n25_a_alresford_48 n25_a_alresford_50 ADVP n25_a_alresford_49->n25_a_alresford_50 n25_a_alresford_53 ADJ n25_a_alresford_49->n25_a_alresford_53 n25_a_alresford_55 PP n25_a_alresford_49->n25_a_alresford_55 n25_a_alresford_51 ADV n25_a_alresford_50->n25_a_alresford_51 n25_a_alresford_51->n25_a_alresford_52 n25_a_alresford_53->n25_a_alresford_54 n25_a_alresford_56 P-ROLE n25_a_alresford_55->n25_a_alresford_56 n25_a_alresford_58 NP n25_a_alresford_55->n25_a_alresford_58 n25_a_alresford_56->n25_a_alresford_57 n25_a_alresford_59 NPR n25_a_alresford_58->n25_a_alresford_59 n25_a_alresford_61 NPR n25_a_alresford_58->n25_a_alresford_61 n25_a_alresford_59->n25_a_alresford_60 n25_a_alresford_61->n25_a_alresford_62 n25_a_alresford_63->n25_a_alresford_64
( (IP-MAT (ILYR (ILYR (EX There;{there})
                      (BED;_ex_V_ was;{be})
                      (NP-ESBJ (D a;{a})
                               (ADJP (ADJ thriving;{thrive}))
                               (N music_and_drama;{music_and_drama})
                               (N tradition;{tradition})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NS highlights;{highlight})
                                     (PP (P-ROLE of;{of})
                                         (NP (D a;{a})
                                             (N year;{year}))))
                             (MD;_cat_Vi_ would;{will})
                             (IP-INF-CAT (BE;_Ln_ be;{be})
                                         (NP-PRD (NS productions;{production})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (NS operettas;{operetta})
                                                         (ADJP (ADVP (ADV as;{as}))
                                                               (ADJ ambitious;{ambitious})
                                                               (PP (P-ROLE as;{as})
                                                                   (NP (NPR Die;{Die})
                                                                       (NPR Fledermaus;{Fledermaus})))))))))))
          (PUNC .))
  (ID 25_a_alresford))