arc(r_0003_0006___apos_d, r_0003_0002__the_r_0003_0003__1960s, r_0003_0001__By_nim5).
arc(r_0003_0006___apos_d, r_0003_0012__and, scope).
arc(r_0003_0007__had, r_0003_0005__I, arg0).
arc(r_0003_0007__had, r_0003_0008__a_r_0003_0009__novel, arg1).
arc(r_0003_0007__had, r_0003_0010__published, prd).
arc(r_0003_0010__published, x_000_3_a_alresford_27, arg1).
arc(r_0003_0010__published, z_000_3_a_alresford_28, arg0).
arc(r_0003_0012__and, r_0003_0007__had, conj1).
arc(r_0003_0012__and, r_0003_0013__made, conj2).
arc(r_0003_0013__made, r_0003_0005__I, arg0).
arc(r_0003_0013__made, r_0003_0014__a_r_0003_0015__start, arg1).
arc(r_0003_0014__a_r_0003_0015__start, r_0003_0018__and, r_0003_0016__in).
arc(r_0003_0018__and, r_0003_0017__radio, conj1).
arc(r_0003_0018__and, r_0003_0019__television, conj2).

fof(formula,axiom,
    ? [R_3_2_THE_1960S] :
      ( the_1960s(R_3_2_THE_1960S)
      & ? [R_3_12_AND,R_3_7_HAD,R_3_8_A_NOVEL,R_3_10_PUBLISHED,Z_3_A_ALRESFORD_28,X_3_A_ALRESFORD_27,R_3_13_MADE,R_3_5_I,R_3_14_A_START,R_3_18_AND,R_3_17_RADIO,R_3_19_TELEVISION] :
          ( a_novel(R_3_8_A_NOVEL)
          & i(R_3_5_I)
          & radio(R_3_17_RADIO)
          & television(R_3_19_TELEVISION)
          & and(R_3_12_AND)
          & conj1(R_3_12_AND,R_3_7_HAD)
          & had(R_3_7_HAD,R_3_5_I,R_3_8_A_NOVEL,R_3_10_PUBLISHED)
          & published(R_3_10_PUBLISHED,Z_3_A_ALRESFORD_28,X_3_A_ALRESFORD_27)
          & conj2(R_3_12_AND,R_3_13_MADE)
          & made(R_3_13_MADE,R_3_5_I,R_3_14_A_START)
          & a_start(R_3_14_A_START)
          & in(R_3_14_A_START,R_3_18_AND)
          & and(R_3_18_AND)
          & conj1(R_3_18_AND,R_3_17_RADIO)
          & conj2(R_3_18_AND,R_3_19_TELEVISION) ) ) ).

( (IP-MAT (PP-TPC-NIM (P-ROLE By;{by})
                      (NP (D the;{the})
                          (NPRS 1960s)))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (HVD;_cat_Ve_ <apos>d;{have})
          (IP-PPL-CAT (ILYR (ILYR (HVN;_VP24B_ had;{have})
                                  (NP-OB1 (D a;{a})
                                          (N novel;{novel}))
                                  (IP-PPL-PRD (NP-LGS *)
                                              (VVN;_Tn_ published;{publish})))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (VVN;_Tn_ made;{make})
                                         (NP-OB1 (D a;{a})
                                                 (N start;{start})
                                                 (PP (P-ROLE in;{in})
                                                     (NP (NLYR (NLYR (N radio;{radio}))
                                                               (CONJP (CONJ and;{and})
                                                                      (NLYR (N television;{television})))))))))))
          (PUNC .))
  (ID 3_a_alresford))