Context                Previous, Next                Top


411_a_dick_1952
I thought something like this might happen when I saw that the gun was —”

%3 r_0411_0002__thought thought r_0411_0001__I I r_0411_0002__thought->r_0411_0001__I [arg0] r_0411_0006__might might r_0411_0002__thought->r_0411_0006__might [arg1] r_0411_0007__happen happen r_0411_0006__might->r_0411_0007__happen [scope] r_0411_0003__something something r_0411_0005__this this r_0411_0003__something->r_0411_0005__this like r_0411_0007__happen->r_0411_0003__something [arg0] r_0411_0008__when when r_0411_0008__when->r_0411_0002__thought [scope] r_0411_0010__saw saw r_0411_0008__when->r_0411_0010__saw [restriction] r_0411_0010__saw->r_0411_0001__I [arg0] r_0411_0011__that_r_0411_0014__was that was r_0411_0010__saw->r_0411_0011__that_r_0411_0014__was [arg1] r_0411_0012__the_r_0411_0013__gun the gun r_0411_0011__that_r_0411_0014__was->r_0411_0012__the_r_0411_0013__gun [arg0] r_0411_1001____star__ * r_0411_0011__that_r_0411_0014__was->r_0411_1001____star__ [prd] 
arc(r_0411_0002__thought, r_0411_0001__I, arg0).
arc(r_0411_0002__thought, r_0411_0006__might, arg1).
arc(r_0411_0003__something, r_0411_0005__this, r_0411_0004__like).
arc(r_0411_0006__might, r_0411_0007__happen, scope).
arc(r_0411_0007__happen, r_0411_0003__something, arg0).
arc(r_0411_0008__when, r_0411_0002__thought, scope).
arc(r_0411_0008__when, r_0411_0010__saw, restriction).
arc(r_0411_0010__saw, r_0411_0001__I, arg0).
arc(r_0411_0010__saw, r_0411_0011__that_r_0411_0014__was, arg1).
arc(r_0411_0011__that_r_0411_0014__was, r_0411_0012__the_r_0411_0013__gun, arg0).
arc(r_0411_0011__that_r_0411_0014__was, r_0411_1001____star__, prd).


%3 r_0411_0011__that_r_0411_0014__was that was r_0411_1001____star__ * r_0411_0011__that_r_0411_0014__was->r_0411_1001____star__ [prd] r_0411_0012__the_r_0411_0013__gun the gun r_0411_0011__that_r_0411_0014__was->r_0411_0012__the_r_0411_0013__gun [arg0] r_0411_0010__saw saw r_0411_0010__saw->r_0411_0011__that_r_0411_0014__was [arg1] r_0411_0001__I I r_0411_0010__saw->r_0411_0001__I [arg0] r_0411_0008__when when r_0411_0008__when->r_0411_0010__saw [restriction] r_0411_0002__thought thought r_0411_0008__when->r_0411_0002__thought [scope] r_0411_0002__thought->r_0411_0001__I [arg0] r_0411_0006__might_r_0411_0007__happen might happen r_0411_0002__thought->r_0411_0006__might_r_0411_0007__happen [arg1] r_0411_0003__something something r_0411_0006__might_r_0411_0007__happen->r_0411_0003__something [arg0] r_0411_0005__this this r_0411_0003__something->r_0411_0005__this like 
fof(formula,axiom,
    ! [R_411_10_SAW,R_411_1_I,R_411_11_THAT_WAS,R_411_12_THE_GUN,R_411_1001__STAR_] :
      ( ( i(R_411_1_I)
        & the_gun(R_411_12_THE_GUN)
        & _star_(R_411_1001__STAR_)
        & saw(R_411_10_SAW,R_411_1_I,R_411_11_THAT_WAS)
        & that_was(R_411_11_THAT_WAS,R_411_12_THE_GUN,R_411_1001__STAR_) )
     => ? [R_411_2_THOUGHT,R_411_6_MIGHT_HAPPEN,R_411_3_SOMETHING,R_411_5_THIS] :
          ( this(R_411_5_THIS)
          & thought(R_411_2_THOUGHT,R_411_1_I,R_411_6_MIGHT_HAPPEN)
          & might_happen(R_411_6_MIGHT_HAPPEN,R_411_3_SOMETHING)
          & something(R_411_3_SOMETHING)
          & like(R_411_3_SOMETHING,R_411_5_THIS) ) ) ).


n411_a_dick_1952 n411_a_dick_1952__1_1_1_1 I n411_a_dick_1952__1_2_1 thought n411_a_dick_1952__1_3_1_1_1_1 something n411_a_dick_1952__1_3_1_1_2_1_1 like n411_a_dick_1952__1_3_1_1_2_2_1_1 this n411_a_dick_1952__1_3_1_2_1 might n411_a_dick_1952__1_3_1_3_1_1 happen n411_a_dick_1952__1_4_1_1 when n411_a_dick_1952__1_4_2_1_1_1 I n411_a_dick_1952__1_4_2_2_1 saw n411_a_dick_1952__1_4_2_3_1_1_1 that n411_a_dick_1952__1_4_2_3_1_2_1_1 the n411_a_dick_1952__1_4_2_3_1_2_2_1 gun n411_a_dick_1952__1_4_2_3_1_3_1 was n411_a_dick_1952__1_4_2_3_1_4_1 <mdash> n411_a_dick_1952__1_4_2_3_1_5_1_1 _*_ n411_a_dick_1952__1_5_1 <rdquo> n411_a_dick_1952__1 IP-MAT n411_a_dick_1952__1_1 NP-SBJ n411_a_dick_1952__1->n411_a_dick_1952__1_1 n411_a_dick_1952__1_2 VBD;_Tf_ n411_a_dick_1952__1->n411_a_dick_1952__1_2 n411_a_dick_1952__1_3 CP-THT-OB1 n411_a_dick_1952__1->n411_a_dick_1952__1_3 n411_a_dick_1952__1_4 PP-SCON n411_a_dick_1952__1->n411_a_dick_1952__1_4 n411_a_dick_1952__1_5 PURQ n411_a_dick_1952__1->n411_a_dick_1952__1_5 n411_a_dick_1952__1_1_1 PRO n411_a_dick_1952__1_1->n411_a_dick_1952__1_1_1 n411_a_dick_1952__1_1_1->n411_a_dick_1952__1_1_1_1 n411_a_dick_1952__1_2->n411_a_dick_1952__1_2_1 n411_a_dick_1952__1_3_1 IP-SUB n411_a_dick_1952__1_3->n411_a_dick_1952__1_3_1 n411_a_dick_1952__1_3_1_1 NP-SBJ n411_a_dick_1952__1_3_1->n411_a_dick_1952__1_3_1_1 n411_a_dick_1952__1_3_1_2 MD;_cat_Vi_ n411_a_dick_1952__1_3_1->n411_a_dick_1952__1_3_1_2 n411_a_dick_1952__1_3_1_3 IP-INF-CAT n411_a_dick_1952__1_3_1->n411_a_dick_1952__1_3_1_3 n411_a_dick_1952__1_3_1_1_1 D;_nphd_ n411_a_dick_1952__1_3_1_1->n411_a_dick_1952__1_3_1_1_1 n411_a_dick_1952__1_3_1_1_2 PP n411_a_dick_1952__1_3_1_1->n411_a_dick_1952__1_3_1_1_2 n411_a_dick_1952__1_3_1_1_1->n411_a_dick_1952__1_3_1_1_1_1 n411_a_dick_1952__1_3_1_1_2_1 P-ROLE n411_a_dick_1952__1_3_1_1_2->n411_a_dick_1952__1_3_1_1_2_1 n411_a_dick_1952__1_3_1_1_2_2 NP n411_a_dick_1952__1_3_1_1_2->n411_a_dick_1952__1_3_1_1_2_2 n411_a_dick_1952__1_3_1_1_2_1->n411_a_dick_1952__1_3_1_1_2_1_1 n411_a_dick_1952__1_3_1_1_2_2_1 D;_nphd_ n411_a_dick_1952__1_3_1_1_2_2->n411_a_dick_1952__1_3_1_1_2_2_1 n411_a_dick_1952__1_3_1_1_2_2_1->n411_a_dick_1952__1_3_1_1_2_2_1_1 n411_a_dick_1952__1_3_1_2->n411_a_dick_1952__1_3_1_2_1 n411_a_dick_1952__1_3_1_3_1 VB;_I_ n411_a_dick_1952__1_3_1_3->n411_a_dick_1952__1_3_1_3_1 n411_a_dick_1952__1_3_1_3_1->n411_a_dick_1952__1_3_1_3_1_1 n411_a_dick_1952__1_4_1 P-CONN n411_a_dick_1952__1_4->n411_a_dick_1952__1_4_1 n411_a_dick_1952__1_4_2 IP-ADV n411_a_dick_1952__1_4->n411_a_dick_1952__1_4_2 n411_a_dick_1952__1_4_1->n411_a_dick_1952__1_4_1_1 n411_a_dick_1952__1_4_2_1 NP-SBJ n411_a_dick_1952__1_4_2->n411_a_dick_1952__1_4_2_1 n411_a_dick_1952__1_4_2_2 VBD;_Tf_ n411_a_dick_1952__1_4_2->n411_a_dick_1952__1_4_2_2 n411_a_dick_1952__1_4_2_3 CP-THT-OB1 n411_a_dick_1952__1_4_2->n411_a_dick_1952__1_4_2_3 n411_a_dick_1952__1_4_2_1_1 PRO n411_a_dick_1952__1_4_2_1->n411_a_dick_1952__1_4_2_1_1 n411_a_dick_1952__1_4_2_1_1->n411_a_dick_1952__1_4_2_1_1_1 n411_a_dick_1952__1_4_2_2->n411_a_dick_1952__1_4_2_2_1 n411_a_dick_1952__1_4_2_3_1 IP-SUB n411_a_dick_1952__1_4_2_3->n411_a_dick_1952__1_4_2_3_1 n411_a_dick_1952__1_4_2_3_1_1 C n411_a_dick_1952__1_4_2_3_1->n411_a_dick_1952__1_4_2_3_1_1 n411_a_dick_1952__1_4_2_3_1_2 NP-SBJ n411_a_dick_1952__1_4_2_3_1->n411_a_dick_1952__1_4_2_3_1_2 n411_a_dick_1952__1_4_2_3_1_3 BED;_La_ n411_a_dick_1952__1_4_2_3_1->n411_a_dick_1952__1_4_2_3_1_3 n411_a_dick_1952__1_4_2_3_1_4 PUNC n411_a_dick_1952__1_4_2_3_1->n411_a_dick_1952__1_4_2_3_1_4 n411_a_dick_1952__1_4_2_3_1_5 ADJP-PRD n411_a_dick_1952__1_4_2_3_1->n411_a_dick_1952__1_4_2_3_1_5 n411_a_dick_1952__1_4_2_3_1_1->n411_a_dick_1952__1_4_2_3_1_1_1 n411_a_dick_1952__1_4_2_3_1_2_1 D n411_a_dick_1952__1_4_2_3_1_2->n411_a_dick_1952__1_4_2_3_1_2_1 n411_a_dick_1952__1_4_2_3_1_2_2 N n411_a_dick_1952__1_4_2_3_1_2->n411_a_dick_1952__1_4_2_3_1_2_2 n411_a_dick_1952__1_4_2_3_1_2_1->n411_a_dick_1952__1_4_2_3_1_2_1_1 n411_a_dick_1952__1_4_2_3_1_2_2->n411_a_dick_1952__1_4_2_3_1_2_2_1 n411_a_dick_1952__1_4_2_3_1_3->n411_a_dick_1952__1_4_2_3_1_3_1 n411_a_dick_1952__1_4_2_3_1_4->n411_a_dick_1952__1_4_2_3_1_4_1 n411_a_dick_1952__1_4_2_3_1_5_1 ADJ n411_a_dick_1952__1_4_2_3_1_5->n411_a_dick_1952__1_4_2_3_1_5_1 n411_a_dick_1952__1_4_2_3_1_5_1->n411_a_dick_1952__1_4_2_3_1_5_1_1 n411_a_dick_1952__1_5->n411_a_dick_1952__1_5_1 
( (IP-MAT (NP-SBJ;{DORLE} (PRO I;{I}))
          (VBD;_Tf_ thought;{think})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (D;_nphd_ something;{something})
                                      (PP (P-ROLE like;{like})
                                          (NP (D;_nphd_ this;{this}))))
                              (MD;_cat_Vi_ might;{may})
                              (IP-INF-CAT (VB;_I_ happen;{happen}))))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ;{DORLE} (PRO I;{I}))
                           (VBD;_Tf_ saw;{see})
                           (CP-THT-OB1 (IP-SUB (C that;{that})
                                               (NP-SBJ (D the;{the})
                                                       (N gun;{gun}))
                                               (BED;_La_ was;{be})
                                               (PUNC <mdash>)
                                               (ADJP-PRD (ADJ _*_))))))
          (PURQ <rdquo>))
  (ID 411_a_dick_1952))