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_nim12).
arc(r_0614_0004__a_r_0614_0006__arc, r_0614_0005__huge, attrib15).
arc(r_0614_0007__and, r_0614_0002__turned, conj1).
arc(r_0614_0007__and, z_000_614_a_dick_1952_41, 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, nim24).
arc(r_0614_0009__shot_r_0614_0010__off, r_0614_0012__the_r_0614_0013__horizon, r_0614_0011__beyond_nim34).
arc(r_0614_0015__heading, r_0614_0001__It, arg0).
arc(r_0614_0015__heading, r_0614_0018__space, r_0614_0016__into_clr48).
arc(r_0614_0018__space, r_0614_0017__outer, attrib49).
arc(z_000_614_a_dick_1952_41, r_0614_0009__shot_r_0614_0010__off, scope).
arc(z_000_614_a_dick_1952_41, r_0614_0015__heading, 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,Z_000_614_A_DICK_1952_41,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_000_614_A_DICK_1952_41)
      & z_000_614_a_dick_1952_41(Z_000_614_A_DICK_1952_41)
      & has_conj1(Z_000_614_A_DICK_1952_41,R_0614_0015__HEADING)
      & r_0614_0015__heading(R_0614_0015__HEADING)
      & has_r_0614_0016__into_clr48(R_0614_0015__HEADING,R_0614_0018__SPACE)
      & r_0614_0018__space(R_0614_0018__SPACE)
      & has_attrib49(R_0614_0018__SPACE,R_0614_0017__OUTER)
      & has_arg0(R_0614_0015__HEADING,R_0614_0001__IT)
      & has_conj2(Z_000_614_A_DICK_1952_41,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_nim34(R_0614_0009__SHOT_R_0614_0010__OFF,R_0614_0012__THE_R_0614_0013__HORIZON)
      & has_nim24(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_nim12(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_attrib15(R_0614_0004__A_R_0614_0006__ARC,R_0614_0005__HUGE)
      & has_arg0(R_0614_0002__TURNED,R_0614_0001__IT) ) ).

( (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))