( (FRAG (NP-NIM (NUM 19:12:00))
        (NP (NPR Oliver;{Oliver})
            (NPR Colvile;{Colvile})
            (PULB -LRB-)
            (PRN (NP (NLYR (NLYR (NPR Plymouth;{Plymouth}))
                           (PUNC ,)
                           (CONJP (NLYR (NPR Sutton;{Sutton})))
                           (CONJP (CONJ and;{and})
                                  (NLYR (NPR Devonport;{Devonport}))))))
            (PURB -RRB-)
            (PULB -LRB-)
            (PRN (NP (N Con;{con})))
            (PURB -RRB-)))
  (ID 3_a_hedgehog;speaker=-))

arc(r_0003_0008__and,r_0003_0005__Plymouth,conj1).
arc(r_0003_0008__and,r_0003_0007__Sutton,conj2).
arc(r_0003_0008__and,r_0003_0009__Devonport,conj3).
arc(z_0003_5004,r_0003_0002__Oliver_r_0003_0003__Colvile,arg0).
arc(z_0003_5004,r_0003_0008__and,prd).
arc(z_0003_5007,r_0003_0002__Oliver_r_0003_0003__Colvile,arg0).
arc(z_0003_5007,r_0003_0012__Con,prd).
arc(z_0003_5010,r_0003_0001__19_colon_12_colon_00,nim).
arc(z_0003_5010,r_0003_0002__Oliver_r_0003_0003__Colvile,z_0003_5002).

fof(formula,axiom,
    ? [R_0003_0002__OLIVER_R_0003_0003__COLVILE,R_0003_0005__PLYMOUTH,R_0003_0007__SUTTON,R_0003_0009__DEVONPORT,R_0003_0008__AND,Z_0003_5004,R_0003_0012__CON,Z_0003_5007,R_0003_0001__19_COLON_12_COLON_00,Z_0003_5010] :
      ( r_0003_0001__19_colon_12_colon_00(R_0003_0001__19_COLON_12_COLON_00)
      & r_0003_0002__Oliver_r_0003_0003__Colvile(R_0003_0002__OLIVER_R_0003_0003__COLVILE)
      & r_0003_0005__Plymouth(R_0003_0005__PLYMOUTH)
      & r_0003_0007__Sutton(R_0003_0007__SUTTON)
      & r_0003_0009__Devonport(R_0003_0009__DEVONPORT)
      & r_0003_0012__Con(R_0003_0012__CON)
      & z_0003_5010(Z_0003_5010)
      & has_z_0003_5002(Z_0003_5010,R_0003_0002__OLIVER_R_0003_0003__COLVILE)
      & has_nim(Z_0003_5010,R_0003_0001__19_COLON_12_COLON_00)
      & z_0003_5007(Z_0003_5007)
      & has_prd(Z_0003_5007,R_0003_0012__CON)
      & has_arg0(Z_0003_5007,R_0003_0002__OLIVER_R_0003_0003__COLVILE)
      & z_0003_5004(Z_0003_5004)
      & has_prd(Z_0003_5004,R_0003_0008__AND)
      & r_0003_0008__and(R_0003_0008__AND)
      & has_conj3(R_0003_0008__AND,R_0003_0009__DEVONPORT)
      & has_conj2(R_0003_0008__AND,R_0003_0007__SUTTON)
      & has_conj1(R_0003_0008__AND,R_0003_0005__PLYMOUTH)
      & has_arg0(Z_0003_5004,R_0003_0002__OLIVER_R_0003_0003__COLVILE) ) ).