Context                Previous, Next                Top


614_a_dick_1952
It turned in a huge arc and then shot off beyond the horizon, heading into outer space.

%3 r_0614_0002__turned turned r_0614_0001__It It r_0614_0002__turned->r_0614_0001__It [arg0] r_0614_0004__a_r_0614_0006__arc a arc r_0614_0002__turned->r_0614_0004__a_r_0614_0006__arc in [nim] r_0614_0005__huge huge r_0614_0004__a_r_0614_0006__arc->r_0614_0005__huge [attrib] r_0614_0007__and and r_0614_0007__and->r_0614_0002__turned [conj1] z_000_614_a_dick_1952_41 r_0614_0007__and->z_000_614_a_dick_1952_41 [conj2] r_0614_0009__shot_r_0614_0010__off shot off z_000_614_a_dick_1952_41->r_0614_0009__shot_r_0614_0010__off [scope] r_0614_0015__heading heading z_000_614_a_dick_1952_41->r_0614_0015__heading [restriction] r_0614_0009__shot_r_0614_0010__off->r_0614_0001__It [arg0] r_0614_0008__then then r_0614_0009__shot_r_0614_0010__off->r_0614_0008__then [nim] r_0614_0012__the_r_0614_0013__horizon the horizon r_0614_0009__shot_r_0614_0010__off->r_0614_0012__the_r_0614_0013__horizon beyond [nim] r_0614_0015__heading->r_0614_0001__It [arg0] r_0614_0018__space space r_0614_0015__heading->r_0614_0018__space into [clr] r_0614_0017__outer outer r_0614_0018__space->r_0614_0017__outer [attrib] 
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).


%3 r_0614_0002__turned turned r_0614_0001__It It r_0614_0002__turned->r_0614_0001__It [arg0] r_0614_0004__a_r_0614_0006__arc a arc r_0614_0002__turned->r_0614_0004__a_r_0614_0006__arc in [nim] r_0614_0005__huge huge r_0614_0004__a_r_0614_0006__arc->r_0614_0005__huge [attrib] r_0614_0007__and and r_0614_0007__and->r_0614_0002__turned [conj1] z_000_614_a_dick_1952_41 r_0614_0007__and->z_000_614_a_dick_1952_41 [conj2] r_0614_0009__shot_r_0614_0010__off shot off z_000_614_a_dick_1952_41->r_0614_0009__shot_r_0614_0010__off [conj2] r_0614_0015__heading heading z_000_614_a_dick_1952_41->r_0614_0015__heading [conj1] r_0614_0009__shot_r_0614_0010__off->r_0614_0001__It [arg0] r_0614_0008__then then r_0614_0009__shot_r_0614_0010__off->r_0614_0008__then [nim] r_0614_0012__the_r_0614_0013__horizon the horizon r_0614_0009__shot_r_0614_0010__off->r_0614_0012__the_r_0614_0013__horizon beyond [nim] r_0614_0015__heading->r_0614_0001__It [arg0] r_0614_0018__space space r_0614_0015__heading->r_0614_0018__space into [clr] r_0614_0017__outer outer r_0614_0018__space->r_0614_0017__outer [attrib] 
fof(formula,axiom,
    ? [R_614_7_AND,R_614_2_TURNED,R_614_4_A_ARC,R_614_5_HUGE,Z_614_A_DICK_1952_41,R_614_15_HEADING,R_614_18_SPACE,R_614_17_OUTER,R_614_9_SHOT_OFF,R_614_1_IT,R_614_8_THEN,R_614_12_THE_HORIZON] :
      ( huge(R_614_5_HUGE)
      & outer(R_614_17_OUTER)
      & it(R_614_1_IT)
      & then(R_614_8_THEN)
      & the_horizon(R_614_12_THE_HORIZON)
      & and(R_614_7_AND)
      & conj1(R_614_7_AND,R_614_2_TURNED)
      & turned(R_614_2_TURNED,R_614_1_IT)
      & in_nim12(R_614_2_TURNED,R_614_4_A_ARC)
      & a_arc(R_614_4_A_ARC)
      & attrib15(R_614_4_A_ARC,R_614_5_HUGE)
      & conj2(R_614_7_AND,Z_614_A_DICK_1952_41)
      & z_614_a_dick_1952_41(Z_614_A_DICK_1952_41)
      & conj1(Z_614_A_DICK_1952_41,R_614_15_HEADING)
      & heading(R_614_15_HEADING,R_614_1_IT)
      & into_clr48(R_614_15_HEADING,R_614_18_SPACE)
      & space(R_614_18_SPACE)
      & attrib49(R_614_18_SPACE,R_614_17_OUTER)
      & conj2(Z_614_A_DICK_1952_41,R_614_9_SHOT_OFF)
      & shot_off(R_614_9_SHOT_OFF,R_614_1_IT)
      & nim24(R_614_9_SHOT_OFF,R_614_8_THEN)
      & beyond_nim34(R_614_9_SHOT_OFF,R_614_12_THE_HORIZON) ) ).


n614_a_dick_1952 n614_a_dick_1952_4 It n614_a_dick_1952_8 turned n614_a_dick_1952_11 in n614_a_dick_1952_14 a n614_a_dick_1952_17 huge n614_a_dick_1952_19 arc n614_a_dick_1952_22 and n614_a_dick_1952_26 then n614_a_dick_1952_28 shot n614_a_dick_1952_30 off n614_a_dick_1952_33 beyond n614_a_dick_1952_36 the n614_a_dick_1952_38 horizon n614_a_dick_1952_40 , n614_a_dick_1952_44 heading n614_a_dick_1952_47 into n614_a_dick_1952_51 outer n614_a_dick_1952_53 space n614_a_dick_1952_55 . n614_a_dick_1952_1 IP-MAT n614_a_dick_1952_2 NP-SBJ n614_a_dick_1952_1->n614_a_dick_1952_2 n614_a_dick_1952_5 ILYR n614_a_dick_1952_1->n614_a_dick_1952_5 n614_a_dick_1952_54 PUNC n614_a_dick_1952_1->n614_a_dick_1952_54 n614_a_dick_1952_3 PRO n614_a_dick_1952_2->n614_a_dick_1952_3 n614_a_dick_1952_3->n614_a_dick_1952_4 n614_a_dick_1952_6 ILYR n614_a_dick_1952_5->n614_a_dick_1952_6 n614_a_dick_1952_20 CONJP n614_a_dick_1952_5->n614_a_dick_1952_20 n614_a_dick_1952_7 VBD;_I_ n614_a_dick_1952_6->n614_a_dick_1952_7 n614_a_dick_1952_9 PP-NIM n614_a_dick_1952_6->n614_a_dick_1952_9 n614_a_dick_1952_7->n614_a_dick_1952_8 n614_a_dick_1952_10 P-ROLE n614_a_dick_1952_9->n614_a_dick_1952_10 n614_a_dick_1952_12 NP n614_a_dick_1952_9->n614_a_dick_1952_12 n614_a_dick_1952_10->n614_a_dick_1952_11 n614_a_dick_1952_13 D n614_a_dick_1952_12->n614_a_dick_1952_13 n614_a_dick_1952_15 ADJP n614_a_dick_1952_12->n614_a_dick_1952_15 n614_a_dick_1952_18 N n614_a_dick_1952_12->n614_a_dick_1952_18 n614_a_dick_1952_13->n614_a_dick_1952_14 n614_a_dick_1952_16 ADJ n614_a_dick_1952_15->n614_a_dick_1952_16 n614_a_dick_1952_16->n614_a_dick_1952_17 n614_a_dick_1952_18->n614_a_dick_1952_19 n614_a_dick_1952_21 CONJ n614_a_dick_1952_20->n614_a_dick_1952_21 n614_a_dick_1952_23 ILYR n614_a_dick_1952_20->n614_a_dick_1952_23 n614_a_dick_1952_21->n614_a_dick_1952_22 n614_a_dick_1952_24 ADVP-NIM n614_a_dick_1952_23->n614_a_dick_1952_24 n614_a_dick_1952_27 VBD;_phr_Vp_ n614_a_dick_1952_23->n614_a_dick_1952_27 n614_a_dick_1952_29 RP n614_a_dick_1952_23->n614_a_dick_1952_29 n614_a_dick_1952_31 PP-NIM n614_a_dick_1952_23->n614_a_dick_1952_31 n614_a_dick_1952_39 PUNC n614_a_dick_1952_23->n614_a_dick_1952_39 n614_a_dick_1952_41 PP-SCON n614_a_dick_1952_23->n614_a_dick_1952_41 n614_a_dick_1952_25 ADV n614_a_dick_1952_24->n614_a_dick_1952_25 n614_a_dick_1952_25->n614_a_dick_1952_26 n614_a_dick_1952_27->n614_a_dick_1952_28 n614_a_dick_1952_29->n614_a_dick_1952_30 n614_a_dick_1952_32 P-ROLE n614_a_dick_1952_31->n614_a_dick_1952_32 n614_a_dick_1952_34 NP n614_a_dick_1952_31->n614_a_dick_1952_34 n614_a_dick_1952_32->n614_a_dick_1952_33 n614_a_dick_1952_35 D n614_a_dick_1952_34->n614_a_dick_1952_35 n614_a_dick_1952_37 N n614_a_dick_1952_34->n614_a_dick_1952_37 n614_a_dick_1952_35->n614_a_dick_1952_36 n614_a_dick_1952_37->n614_a_dick_1952_38 n614_a_dick_1952_39->n614_a_dick_1952_40 n614_a_dick_1952_42 IP-PPL n614_a_dick_1952_41->n614_a_dick_1952_42 n614_a_dick_1952_43 VAG;_Ipr_ n614_a_dick_1952_42->n614_a_dick_1952_43 n614_a_dick_1952_45 PP-CLR n614_a_dick_1952_42->n614_a_dick_1952_45 n614_a_dick_1952_43->n614_a_dick_1952_44 n614_a_dick_1952_46 P-ROLE n614_a_dick_1952_45->n614_a_dick_1952_46 n614_a_dick_1952_48 NP n614_a_dick_1952_45->n614_a_dick_1952_48 n614_a_dick_1952_46->n614_a_dick_1952_47 n614_a_dick_1952_49 ADJP n614_a_dick_1952_48->n614_a_dick_1952_49 n614_a_dick_1952_52 N n614_a_dick_1952_48->n614_a_dick_1952_52 n614_a_dick_1952_50 ADJ n614_a_dick_1952_49->n614_a_dick_1952_50 n614_a_dick_1952_50->n614_a_dick_1952_51 n614_a_dick_1952_52->n614_a_dick_1952_53 n614_a_dick_1952_54->n614_a_dick_1952_55 
( (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))