( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N rail;{rail})
                              (N service;{service})
                              (IP-REL (NP-SBJ *T*)
                                      (ADVP-NIM (ADV then;{then}))
                                      (PP-CLR (P-ROLE from;{from})
                                              (NP (NPR Alresford;{Alresford})))
                                      (PP-CLR (P-ROLE to;{to})
                                              (NP (NPR Waterloo;{Waterloo})))
                                      (PUNC ,)
                                      (PP-SCON (IP-PPL2 (VAG;_Ipr_ changing;{change[at]})
                                                        (PP-CLR (P-ROLE at;{at})
                                                                (NP (NPR Alton;{Alton})))))))
                      (PUNC ,)
                      (BED;_Ln_ was;{be})
                      (NP-PRD (D a;{a})
                              (ADJP (ADJ reliable;{reliable}))
                              (N link;{link})
                              (PP (P-ROLE to;{to})
                                  (NP (NLYR (NLYR (N TV;{tv})
                                                  (NS producers;{producer}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (NS meetings;{meeting})
                                                         (PP (P-ROLE of;{of})
                                                             (NP (D the;{the})
                                                                 (NPR Society;{Society})
                                                                 (PP (P-ROLE of;{of})
                                                                     (NP (NPRS Authors;{Authors}))))))))))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ (PRO I;{I}))
                             (HVD;_Tn_ had;{have})
                             (NP-OB1 (Q no;{no})
                                     (N fear;{fear})
                                     (PP (P-ROLE of;{of})
                                         (IP-PPL (BAG;_cat_VePASS_ being;{be})
                                                 (IP-PPL-CAT (NP-LGS *)
                                                             (ADVP-NIM (ADV professionally;{professionally}))
                                                             (VVN;_Tn_ stranded;{strand}))))))))
          (PUNC .))
  (ID 11_a_alresford))

arc(r_0011_0010__changing_r_0011_0011__at,r_0011_0001__The_r_0011_0002__rail_r_0011_0003__service,arg0).
arc(r_0011_0010__changing_r_0011_0011__at,r_0011_0012__Alton,arg1).
arc(r_0011_0014__was,r_0011_0001__The_r_0011_0002__rail_r_0011_0003__service,arg0).
arc(r_0011_0014__was,r_0011_0015__a_r_0011_0017__link,prd).
arc(r_0011_0015__a_r_0011_0017__link,r_0011_0016__reliable,attrib).
arc(r_0011_0015__a_r_0011_0017__link,r_0011_0021__and,r_0011_0018__to).
arc(r_0011_0021__and,r_0011_0019__TV_r_0011_0020__producers,conj1).
arc(r_0011_0021__and,r_0011_0022__meetings,conj2).
arc(r_0011_0022__meetings,r_0011_0024__the_r_0011_0025__Society,r_0011_0023__of).
arc(r_0011_0024__the_r_0011_0025__Society,r_0011_0027__Authors,r_0011_0026__of).
arc(r_0011_0030__had,r_0011_0029__I,arg0).
arc(r_0011_0030__had,r_0011_0032__fear,arg1).
arc(r_0011_0031__no__quant,r_0011_0030__had,scope).
arc(r_0011_0031__no__quant,r_0011_0032__fear,restriction).
arc(r_0011_0032__fear,r_0011_0034__being,r_0011_0033__of).
arc(r_0011_0034__being,r_0011_0036__stranded,scope).
arc(r_0011_0036__stranded,r_0011_0035__professionally,nim).
arc(r_0011_0036__stranded,z_0011_5019,arg1).
arc(r_0011_0036__stranded,z_0011_5022___star_,arg0).
arc(z_0011_5001,r_0011_0014__was,conj1).
arc(z_0011_5001,r_0011_0031__no__quant,conj2).
arc(z_0011_5003,r_0011_0010__changing_r_0011_0011__at,restriction).
arc(z_0011_5003,z_0011_5007,scope).
arc(z_0011_5007,r_0011_0001__The_r_0011_0002__rail_r_0011_0003__service,inv_arg0).
arc(z_0011_5007,r_0011_0004__then,nim).
arc(z_0011_5007,r_0011_0006__Alresford,r_0011_0005__from__clr).
arc(z_0011_5007,r_0011_0008__Waterloo,r_0011_0007__to__clr).

fof(formula,axiom,
    ? [R_0011_0004__THEN,R_0011_0006__ALRESFORD,R_0011_0008__WATERLOO,Z_0011_5007,R_0011_0001__THE_R_0011_0002__RAIL_R_0011_0003__SERVICE,R_0011_0016__RELIABLE,R_0011_0019__TV_R_0011_0020__PRODUCERS,R_0011_0027__AUTHORS,R_0011_0024__THE_R_0011_0025__SOCIETY,R_0011_0022__MEETINGS,R_0011_0021__AND,R_0011_0015__A_R_0011_0017__LINK,R_0011_0014__WAS,Z_0011_5001,R_0011_0012__ALTON,R_0011_0010__CHANGING_R_0011_0011__AT,Z_0011_5003] :
      ( r_0011_0004__then(R_0011_0004__THEN)
      & r_0011_0006__Alresford(R_0011_0006__ALRESFORD)
      & r_0011_0008__Waterloo(R_0011_0008__WATERLOO)
      & r_0011_0012__Alton(R_0011_0012__ALTON)
      & r_0011_0016__reliable(R_0011_0016__RELIABLE)
      & r_0011_0019__TV_r_0011_0020__producers(R_0011_0019__TV_R_0011_0020__PRODUCERS)
      & r_0011_0027__Authors(R_0011_0027__AUTHORS)
      & z_0011_5003(Z_0011_5003)
      & has_conj2(Z_0011_5003,Z_0011_5007)
      & z_0011_5007(Z_0011_5007)
      & has_r_0011_0007__to__clr(Z_0011_5007,R_0011_0008__WATERLOO)
      & has_r_0011_0005__from__clr(Z_0011_5007,R_0011_0006__ALRESFORD)
      & has_nim(Z_0011_5007,R_0011_0004__THEN)
      & has_conj1(Z_0011_5003,R_0011_0010__CHANGING_R_0011_0011__AT)
      & r_0011_0010__changing_r_0011_0011__at(R_0011_0010__CHANGING_R_0011_0011__AT)
      & has_arg1(R_0011_0010__CHANGING_R_0011_0011__AT,R_0011_0012__ALTON)
      & has_arg0(R_0011_0010__CHANGING_R_0011_0011__AT,R_0011_0001__THE_R_0011_0002__RAIL_R_0011_0003__SERVICE)
      & r_0011_0001__The_r_0011_0002__rail_r_0011_0003__service(R_0011_0001__THE_R_0011_0002__RAIL_R_0011_0003__SERVICE)
      & has_inv_arg0(R_0011_0001__THE_R_0011_0002__RAIL_R_0011_0003__SERVICE,Z_0011_5007)
      & z_0011_5001(Z_0011_5001)
      & ! [R_0011_0032__FEAR,R_0011_0035__PROFESSIONALLY,Z_0011_5019,Z_0011_5022___STAR_,R_0011_0034__BEING_R_0011_0036__STRANDED] :
          ( ( r_0011_0035__professionally(R_0011_0035__PROFESSIONALLY)
            & z_0011_5019(Z_0011_5019)
            & z_0011_5022___star_(Z_0011_5022___STAR_)
            & r_0011_0032__fear(R_0011_0032__FEAR)
            & has_r_0011_0033__of(R_0011_0032__FEAR,R_0011_0034__BEING_R_0011_0036__STRANDED)
            & r_0011_0034__being_r_0011_0036__stranded(R_0011_0034__BEING_R_0011_0036__STRANDED)
            & has_arg0(R_0011_0034__BEING_R_0011_0036__STRANDED,Z_0011_5022___STAR_)
            & has_arg1(R_0011_0034__BEING_R_0011_0036__STRANDED,Z_0011_5019)
            & has_nim(R_0011_0034__BEING_R_0011_0036__STRANDED,R_0011_0035__PROFESSIONALLY) )
         => ? [R_0011_0029__I,R_0011_0030__HAD] :
              ( r_0011_0029__I(R_0011_0029__I)
              & r_0011_0030__had(R_0011_0030__HAD)
              & has_arg1(R_0011_0030__HAD,R_0011_0032__FEAR)
              & has_arg0(R_0011_0030__HAD,R_0011_0029__I) ) )
      & has_conj1(Z_0011_5001,R_0011_0014__WAS)
      & r_0011_0014__was(R_0011_0014__WAS)
      & has_prd(R_0011_0014__WAS,R_0011_0015__A_R_0011_0017__LINK)
      & r_0011_0015__a_r_0011_0017__link(R_0011_0015__A_R_0011_0017__LINK)
      & has_r_0011_0018__to(R_0011_0015__A_R_0011_0017__LINK,R_0011_0021__AND)
      & r_0011_0021__and(R_0011_0021__AND)
      & has_conj2(R_0011_0021__AND,R_0011_0022__MEETINGS)
      & r_0011_0022__meetings(R_0011_0022__MEETINGS)
      & has_r_0011_0023__of(R_0011_0022__MEETINGS,R_0011_0024__THE_R_0011_0025__SOCIETY)
      & r_0011_0024__the_r_0011_0025__Society(R_0011_0024__THE_R_0011_0025__SOCIETY)
      & has_r_0011_0026__of(R_0011_0024__THE_R_0011_0025__SOCIETY,R_0011_0027__AUTHORS)
      & has_conj1(R_0011_0021__AND,R_0011_0019__TV_R_0011_0020__PRODUCERS)
      & has_attrib(R_0011_0015__A_R_0011_0017__LINK,R_0011_0016__RELIABLE)
      & has_arg0(R_0011_0014__WAS,R_0011_0001__THE_R_0011_0002__RAIL_R_0011_0003__SERVICE) ) ).