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 z_000_614_a_dick_1952_41 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 shot off z_000_614_a_dick_1952_41->r_0614_0009__shot_r_0614_0010__off [conj2] r_0614_0018__space space r_0614_0015__heading->r_0614_0018__space into [clr] r_0614_0001__It It r_0614_0015__heading->r_0614_0001__It [arg0] r_0614_0009__shot_r_0614_0010__off->r_0614_0001__It [arg0] 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_0008__then then r_0614_0009__shot_r_0614_0010__off->r_0614_0008__then [nim] r_0614_0017__outer outer r_0614_0018__space->r_0614_0017__outer [attrib] r_0614_0007__and and r_0614_0007__and->z_000_614_a_dick_1952_41 [conj2] r_0614_0002__turned turned r_0614_0007__and->r_0614_0002__turned [conj1] 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] 
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__1_1_1_1 It n614_a_dick_1952__1_2_1_1_1 turned n614_a_dick_1952__1_2_1_2_1_1 in n614_a_dick_1952__1_2_1_2_2_1_1 a n614_a_dick_1952__1_2_1_2_2_2_1_1 huge n614_a_dick_1952__1_2_1_2_2_3_1 arc n614_a_dick_1952__1_2_2_1_1 and n614_a_dick_1952__1_2_2_2_1_1_1 then n614_a_dick_1952__1_2_2_2_2_1 shot n614_a_dick_1952__1_2_2_2_3_1 off n614_a_dick_1952__1_2_2_2_4_1_1 beyond n614_a_dick_1952__1_2_2_2_4_2_1_1 the n614_a_dick_1952__1_2_2_2_4_2_2_1 horizon n614_a_dick_1952__1_2_2_2_5_1 , n614_a_dick_1952__1_2_2_2_6_1_1_1 heading n614_a_dick_1952__1_2_2_2_6_1_2_1_1 into n614_a_dick_1952__1_2_2_2_6_1_2_2_1_1_1 outer n614_a_dick_1952__1_2_2_2_6_1_2_2_2_1 space n614_a_dick_1952__1_3_1 . n614_a_dick_1952__1 IP-MAT n614_a_dick_1952__1_1 NP-SBJ n614_a_dick_1952__1->n614_a_dick_1952__1_1 n614_a_dick_1952__1_2 ILYR n614_a_dick_1952__1->n614_a_dick_1952__1_2 n614_a_dick_1952__1_3 PUNC n614_a_dick_1952__1->n614_a_dick_1952__1_3 n614_a_dick_1952__1_1_1 PRO n614_a_dick_1952__1_1->n614_a_dick_1952__1_1_1 n614_a_dick_1952__1_1_1->n614_a_dick_1952__1_1_1_1 n614_a_dick_1952__1_2_1 ILYR n614_a_dick_1952__1_2->n614_a_dick_1952__1_2_1 n614_a_dick_1952__1_2_2 CONJP n614_a_dick_1952__1_2->n614_a_dick_1952__1_2_2 n614_a_dick_1952__1_2_1_1 VBD;_I_ n614_a_dick_1952__1_2_1->n614_a_dick_1952__1_2_1_1 n614_a_dick_1952__1_2_1_2 PP-NIM n614_a_dick_1952__1_2_1->n614_a_dick_1952__1_2_1_2 n614_a_dick_1952__1_2_1_1->n614_a_dick_1952__1_2_1_1_1 n614_a_dick_1952__1_2_1_2_1 P-ROLE n614_a_dick_1952__1_2_1_2->n614_a_dick_1952__1_2_1_2_1 n614_a_dick_1952__1_2_1_2_2 NP n614_a_dick_1952__1_2_1_2->n614_a_dick_1952__1_2_1_2_2 n614_a_dick_1952__1_2_1_2_1->n614_a_dick_1952__1_2_1_2_1_1 n614_a_dick_1952__1_2_1_2_2_1 D n614_a_dick_1952__1_2_1_2_2->n614_a_dick_1952__1_2_1_2_2_1 n614_a_dick_1952__1_2_1_2_2_2 ADJP n614_a_dick_1952__1_2_1_2_2->n614_a_dick_1952__1_2_1_2_2_2 n614_a_dick_1952__1_2_1_2_2_3 N n614_a_dick_1952__1_2_1_2_2->n614_a_dick_1952__1_2_1_2_2_3 n614_a_dick_1952__1_2_1_2_2_1->n614_a_dick_1952__1_2_1_2_2_1_1 n614_a_dick_1952__1_2_1_2_2_2_1 ADJ n614_a_dick_1952__1_2_1_2_2_2->n614_a_dick_1952__1_2_1_2_2_2_1 n614_a_dick_1952__1_2_1_2_2_2_1->n614_a_dick_1952__1_2_1_2_2_2_1_1 n614_a_dick_1952__1_2_1_2_2_3->n614_a_dick_1952__1_2_1_2_2_3_1 n614_a_dick_1952__1_2_2_1 CONJ n614_a_dick_1952__1_2_2->n614_a_dick_1952__1_2_2_1 n614_a_dick_1952__1_2_2_2 ILYR n614_a_dick_1952__1_2_2->n614_a_dick_1952__1_2_2_2 n614_a_dick_1952__1_2_2_1->n614_a_dick_1952__1_2_2_1_1 n614_a_dick_1952__1_2_2_2_1 ADVP-NIM n614_a_dick_1952__1_2_2_2->n614_a_dick_1952__1_2_2_2_1 n614_a_dick_1952__1_2_2_2_2 VBD;_phr_Vp_ n614_a_dick_1952__1_2_2_2->n614_a_dick_1952__1_2_2_2_2 n614_a_dick_1952__1_2_2_2_3 RP n614_a_dick_1952__1_2_2_2->n614_a_dick_1952__1_2_2_2_3 n614_a_dick_1952__1_2_2_2_4 PP-NIM n614_a_dick_1952__1_2_2_2->n614_a_dick_1952__1_2_2_2_4 n614_a_dick_1952__1_2_2_2_5 PUNC n614_a_dick_1952__1_2_2_2->n614_a_dick_1952__1_2_2_2_5 n614_a_dick_1952__1_2_2_2_6 PP-SCON n614_a_dick_1952__1_2_2_2->n614_a_dick_1952__1_2_2_2_6 n614_a_dick_1952__1_2_2_2_1_1 ADV n614_a_dick_1952__1_2_2_2_1->n614_a_dick_1952__1_2_2_2_1_1 n614_a_dick_1952__1_2_2_2_1_1->n614_a_dick_1952__1_2_2_2_1_1_1 n614_a_dick_1952__1_2_2_2_2->n614_a_dick_1952__1_2_2_2_2_1 n614_a_dick_1952__1_2_2_2_3->n614_a_dick_1952__1_2_2_2_3_1 n614_a_dick_1952__1_2_2_2_4_1 P-ROLE n614_a_dick_1952__1_2_2_2_4->n614_a_dick_1952__1_2_2_2_4_1 n614_a_dick_1952__1_2_2_2_4_2 NP n614_a_dick_1952__1_2_2_2_4->n614_a_dick_1952__1_2_2_2_4_2 n614_a_dick_1952__1_2_2_2_4_1->n614_a_dick_1952__1_2_2_2_4_1_1 n614_a_dick_1952__1_2_2_2_4_2_1 D n614_a_dick_1952__1_2_2_2_4_2->n614_a_dick_1952__1_2_2_2_4_2_1 n614_a_dick_1952__1_2_2_2_4_2_2 N n614_a_dick_1952__1_2_2_2_4_2->n614_a_dick_1952__1_2_2_2_4_2_2 n614_a_dick_1952__1_2_2_2_4_2_1->n614_a_dick_1952__1_2_2_2_4_2_1_1 n614_a_dick_1952__1_2_2_2_4_2_2->n614_a_dick_1952__1_2_2_2_4_2_2_1 n614_a_dick_1952__1_2_2_2_5->n614_a_dick_1952__1_2_2_2_5_1 n614_a_dick_1952__1_2_2_2_6_1 IP-PPL n614_a_dick_1952__1_2_2_2_6->n614_a_dick_1952__1_2_2_2_6_1 n614_a_dick_1952__1_2_2_2_6_1_1 VAG;_Ipr_ n614_a_dick_1952__1_2_2_2_6_1->n614_a_dick_1952__1_2_2_2_6_1_1 n614_a_dick_1952__1_2_2_2_6_1_2 PP-CLR n614_a_dick_1952__1_2_2_2_6_1->n614_a_dick_1952__1_2_2_2_6_1_2 n614_a_dick_1952__1_2_2_2_6_1_1->n614_a_dick_1952__1_2_2_2_6_1_1_1 n614_a_dick_1952__1_2_2_2_6_1_2_1 P-ROLE n614_a_dick_1952__1_2_2_2_6_1_2->n614_a_dick_1952__1_2_2_2_6_1_2_1 n614_a_dick_1952__1_2_2_2_6_1_2_2 NP n614_a_dick_1952__1_2_2_2_6_1_2->n614_a_dick_1952__1_2_2_2_6_1_2_2 n614_a_dick_1952__1_2_2_2_6_1_2_1->n614_a_dick_1952__1_2_2_2_6_1_2_1_1 n614_a_dick_1952__1_2_2_2_6_1_2_2_1 ADJP n614_a_dick_1952__1_2_2_2_6_1_2_2->n614_a_dick_1952__1_2_2_2_6_1_2_2_1 n614_a_dick_1952__1_2_2_2_6_1_2_2_2 N n614_a_dick_1952__1_2_2_2_6_1_2_2->n614_a_dick_1952__1_2_2_2_6_1_2_2_2 n614_a_dick_1952__1_2_2_2_6_1_2_2_1_1 ADJ n614_a_dick_1952__1_2_2_2_6_1_2_2_1->n614_a_dick_1952__1_2_2_2_6_1_2_2_1_1 n614_a_dick_1952__1_2_2_2_6_1_2_2_1_1->n614_a_dick_1952__1_2_2_2_6_1_2_2_1_1_1 n614_a_dick_1952__1_2_2_2_6_1_2_2_2->n614_a_dick_1952__1_2_2_2_6_1_2_2_2_1 n614_a_dick_1952__1_3->n614_a_dick_1952__1_3_1 
( (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))