411_a_dick_1952
I thought something like this might happen when I saw that the gun was —”
( (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>)))))
(PURQ <rdquo>))
(ID 411_a_dick_1952))
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_0014__was,arg1).
arc(r_0411_0014__was,r_0411_0012__the_r_0411_0013__gun,arg0).
fof(formula,axiom,
! [R_0411_0010__SAW,R_0411_0001__I,R_0411_0012__THE_R_0411_0013__GUN,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_0010__saw(R_0411_0010__SAW)
& has_arg1(R_0411_0010__SAW,R_0411_0014__WAS)
& r_0411_0014__was(R_0411_0014__WAS)
& has_arg0(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) ) ) ).