( (IP-MAT (NP-SBJ;{DREAM} (NP-GEN (PRO;_genm_ My;{my}))
                          (N dream;{dream}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV always;{always}))
                      (BEN;_equ_Vt_ been;{be})
                      (IP-INF-PRD (TO to;{to})
                                  (ILYR (ILYR (VB;_Ipr_ live;{live[in]})
                                              (PP-CLR (P-ROLE in;{in})
                                                      (NP (D a;{a})
                                                          (N country;{country})
                                                          (N cottage;{cottage}))))
                                        (PUNC ,)
                                        (CONJP (CONJ and;{and})
                                               (ILYR (VB;_Tn_ earn;{earn})
                                                     (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                                                             (N living;{living}))
                                                     (PP-NIM (P-ROLE as;{as})
                                                             (NP (D a;{a})
                                                                 (N writer;{writer}))))))))
          (PUNC .))
  (ID 2_a_alresford))

arc(r_0002_0002__dream,r_0002_0001__My,gen).
arc(r_0002_0003__had,r_0002_0005__been,scope).
arc(r_0002_0005__been,r_0002_0002__dream,arg0).
arc(r_0002_0005__been,r_0002_0004__always,nim).
arc(r_0002_0005__been,r_0002_0013__and,prd).
arc(r_0002_0007__live_r_0002_0008__in,r_0002_0009__a_r_0002_0010__country_r_0002_0011__cottage,arg1).
arc(r_0002_0007__live_r_0002_0008__in,z_0002_5005,arg0).
arc(r_0002_0013__and,r_0002_0007__live_r_0002_0008__in,conj1).
arc(r_0002_0013__and,r_0002_0014__earn,conj2).
arc(r_0002_0014__earn,r_0002_0016__living,arg1).
arc(r_0002_0014__earn,r_0002_0018__a_r_0002_0019__writer,r_0002_0017__as__nim).
arc(r_0002_0014__earn,z_0002_5005,arg0).
arc(r_0002_0016__living,r_0002_0001__My,gen).

fof(formula,axiom,
    ? [R_0002_0001__MY,R_0002_0002__DREAM,R_0002_0004__ALWAYS,R_0002_0009__A_R_0002_0010__COUNTRY_R_0002_0011__COTTAGE,Z_0002_5005,R_0002_0007__LIVE_R_0002_0008__IN,R_0002_0016__LIVING,R_0002_0018__A_R_0002_0019__WRITER,R_0002_0014__EARN,R_0002_0013__AND,R_0002_0003__HAD_R_0002_0005__BEEN] :
      ( r_0002_0001__My(R_0002_0001__MY)
      & r_0002_0004__always(R_0002_0004__ALWAYS)
      & r_0002_0009__a_r_0002_0010__country_r_0002_0011__cottage(R_0002_0009__A_R_0002_0010__COUNTRY_R_0002_0011__COTTAGE)
      & r_0002_0018__a_r_0002_0019__writer(R_0002_0018__A_R_0002_0019__WRITER)
      & z_0002_5005(Z_0002_5005)
      & r_0002_0003__had_r_0002_0005__been(R_0002_0003__HAD_R_0002_0005__BEEN)
      & has_prd(R_0002_0003__HAD_R_0002_0005__BEEN,R_0002_0013__AND)
      & r_0002_0013__and(R_0002_0013__AND)
      & has_conj2(R_0002_0013__AND,R_0002_0014__EARN)
      & r_0002_0014__earn(R_0002_0014__EARN)
      & has_arg0(R_0002_0014__EARN,Z_0002_5005)
      & has_r_0002_0017__as__nim(R_0002_0014__EARN,R_0002_0018__A_R_0002_0019__WRITER)
      & has_arg1(R_0002_0014__EARN,R_0002_0016__LIVING)
      & r_0002_0016__living(R_0002_0016__LIVING)
      & has_gen(R_0002_0016__LIVING,R_0002_0001__MY)
      & has_conj1(R_0002_0013__AND,R_0002_0007__LIVE_R_0002_0008__IN)
      & r_0002_0007__live_r_0002_0008__in(R_0002_0007__LIVE_R_0002_0008__IN)
      & has_arg0(R_0002_0007__LIVE_R_0002_0008__IN,Z_0002_5005)
      & has_arg1(R_0002_0007__LIVE_R_0002_0008__IN,R_0002_0009__A_R_0002_0010__COUNTRY_R_0002_0011__COTTAGE)
      & has_nim(R_0002_0003__HAD_R_0002_0005__BEEN,R_0002_0004__ALWAYS)
      & has_arg0(R_0002_0003__HAD_R_0002_0005__BEEN,R_0002_0002__DREAM)
      & r_0002_0002__dream(R_0002_0002__DREAM)
      & has_gen(R_0002_0002__DREAM,R_0002_0001__MY) ) ).