( (IP-MAT (NP-SBJ;{SHIP} (PRO It;{it}))
          (ILYR (ILYR (VBD;_I_ turned;{turn})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D a;{a})
                                  (ADJP (ADJ huge;{huge}))
                                  (N arc;{arc}))))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (VBD;_phr_Vp_ shot;{shoot[off]})
                             (RP off;{off})
                             (PP-NIM (P-ROLE beyond;{beyond})
                                     (NP (D the;{the})
                                         (N horizon;{horizon})))
                             (PUNC ,)
                             (PP-SCON (IP-PPL (VAG;_Ipr_ heading;{head[into]})
                                              (PP-CLR (P-ROLE into;{into})
                                                      (NP (ADJP (ADJ outer;{out}))
                                                          (N space;{space}))))))))
          (PUNC .))
  (ID 614_a_dick_1952))

arc(r_0614_0002__turned,r_0614_0001__It,arg0).
arc(r_0614_0002__turned,r_0614_0004__a_r_0614_0006__arc,r_0614_0003__in__nim).
arc(r_0614_0004__a_r_0614_0006__arc,r_0614_0005__huge,attrib).
arc(r_0614_0007__and,r_0614_0002__turned,conj1).
arc(r_0614_0007__and,z_0614_5004,conj2).
arc(r_0614_0009__shot_r_0614_0010__off,r_0614_0001__It,arg0).
arc(r_0614_0009__shot_r_0614_0010__off,r_0614_0008__then,nim).
arc(r_0614_0009__shot_r_0614_0010__off,r_0614_0012__the_r_0614_0013__horizon,r_0614_0011__beyond__nim).
arc(r_0614_0015__heading_r_0614_0016__into,r_0614_0001__It,arg0).
arc(r_0614_0015__heading_r_0614_0016__into,r_0614_0018__space,arg1).
arc(r_0614_0018__space,r_0614_0017__outer,attrib).
arc(z_0614_5004,r_0614_0009__shot_r_0614_0010__off,scope).
arc(z_0614_5004,r_0614_0015__heading_r_0614_0016__into,restriction).

fof(formula,axiom,
    ? [R_0614_0001__IT,R_0614_0005__HUGE,R_0614_0004__A_R_0614_0006__ARC,R_0614_0002__TURNED,R_0614_0008__THEN,R_0614_0012__THE_R_0614_0013__HORIZON,R_0614_0009__SHOT_R_0614_0010__OFF,R_0614_0017__OUTER,R_0614_0018__SPACE,R_0614_0015__HEADING_R_0614_0016__INTO,Z_0614_5004,R_0614_0007__AND] :
      ( r_0614_0001__It(R_0614_0001__IT)
      & r_0614_0005__huge(R_0614_0005__HUGE)
      & r_0614_0008__then(R_0614_0008__THEN)
      & r_0614_0012__the_r_0614_0013__horizon(R_0614_0012__THE_R_0614_0013__HORIZON)
      & r_0614_0017__outer(R_0614_0017__OUTER)
      & r_0614_0007__and(R_0614_0007__AND)
      & has_conj2(R_0614_0007__AND,Z_0614_5004)
      & z_0614_5004(Z_0614_5004)
      & has_conj1(Z_0614_5004,R_0614_0015__HEADING_R_0614_0016__INTO)
      & r_0614_0015__heading_r_0614_0016__into(R_0614_0015__HEADING_R_0614_0016__INTO)
      & has_arg1(R_0614_0015__HEADING_R_0614_0016__INTO,R_0614_0018__SPACE)
      & r_0614_0018__space(R_0614_0018__SPACE)
      & has_attrib(R_0614_0018__SPACE,R_0614_0017__OUTER)
      & has_arg0(R_0614_0015__HEADING_R_0614_0016__INTO,R_0614_0001__IT)
      & has_conj2(Z_0614_5004,R_0614_0009__SHOT_R_0614_0010__OFF)
      & r_0614_0009__shot_r_0614_0010__off(R_0614_0009__SHOT_R_0614_0010__OFF)
      & has_r_0614_0011__beyond__nim(R_0614_0009__SHOT_R_0614_0010__OFF,R_0614_0012__THE_R_0614_0013__HORIZON)
      & has_nim(R_0614_0009__SHOT_R_0614_0010__OFF,R_0614_0008__THEN)
      & has_arg0(R_0614_0009__SHOT_R_0614_0010__OFF,R_0614_0001__IT)
      & has_conj1(R_0614_0007__AND,R_0614_0002__TURNED)
      & r_0614_0002__turned(R_0614_0002__TURNED)
      & has_r_0614_0003__in__nim(R_0614_0002__TURNED,R_0614_0004__A_R_0614_0006__ARC)
      & r_0614_0004__a_r_0614_0006__arc(R_0614_0004__A_R_0614_0006__ARC)
      & has_attrib(R_0614_0004__A_R_0614_0006__ARC,R_0614_0005__HUGE)
      & has_arg0(R_0614_0002__TURNED,R_0614_0001__IT) ) ).