411_a_dick_1952
I thought something like this might happen when I saw that the gun was —”
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).
fof(formula,axiom,
! [R_0411_0010__SAW,R_0411_0001__I,R_0411_0012__THE_R_0411_0013__GUN,R_0411_1001____STAR__,R_0411_0011__THAT_R_0411_0014__WAS] :
( ( r_0411_0001__I(R_0411_0001__I)
& r_0411_0012__the_r_0411_0013__gun(R_0411_0012__THE_R_0411_0013__GUN)
& r_0411_1001____star__(R_0411_1001____STAR__)
& r_0411_0010__saw(R_0411_0010__SAW)
& has_arg1(R_0411_0010__SAW,R_0411_0011__THAT_R_0411_0014__WAS)
& r_0411_0011__that_r_0411_0014__was(R_0411_0011__THAT_R_0411_0014__WAS)
& has_prd(R_0411_0011__THAT_R_0411_0014__WAS,R_0411_1001____STAR__)
& has_arg0(R_0411_0011__THAT_R_0411_0014__WAS,R_0411_0012__THE_R_0411_0013__GUN)
& has_arg0(R_0411_0010__SAW,R_0411_0001__I) )
=> ? [R_0411_0005__THIS,R_0411_0003__SOMETHING,R_0411_0006__MIGHT_R_0411_0007__HAPPEN,R_0411_0002__THOUGHT] :
( r_0411_0005__this(R_0411_0005__THIS)
& r_0411_0002__thought(R_0411_0002__THOUGHT)
& has_arg1(R_0411_0002__THOUGHT,R_0411_0006__MIGHT_R_0411_0007__HAPPEN)
& r_0411_0006__might_r_0411_0007__happen(R_0411_0006__MIGHT_R_0411_0007__HAPPEN)
& has_arg0(R_0411_0006__MIGHT_R_0411_0007__HAPPEN,R_0411_0003__SOMETHING)
& r_0411_0003__something(R_0411_0003__SOMETHING)
& has_r_0411_0004__like(R_0411_0003__SOMETHING,R_0411_0005__THIS)
& has_arg0(R_0411_0002__THOUGHT,R_0411_0001__I) ) ) ).
( (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))