234_a_dick_1952
“They probably know right now where they can find it, where they can blow it up.
arc(r_0234_0004__know, r_0234_0002__They, arg0).
arc(r_0234_0004__know, r_0234_0003__probably, nim7).
arc(r_0234_0004__know, r_0234_0006__now, nim12).
arc(r_0234_0004__know, z_000_234_a_dick_1952_18, arg1).
arc(r_0234_0006__now, r_0234_0005__right, qual13).
arc(r_0234_0009__can, r_0234_0010__find, scope).
arc(r_0234_0009__can, z_000_234_a_dick_1952_18, nim22).
arc(r_0234_0010__find, r_0234_0002__They, arg0).
arc(r_0234_0010__find, r_0234_0011__it, arg1).
arc(r_0234_0015__can, r_0234_0016__blow_r_0234_0018__up, scope).
arc(r_0234_0015__can, z_000_234_a_dick_1952_18, nim40).
arc(r_0234_0016__blow_r_0234_0018__up, r_0234_0002__They, arg0).
arc(r_0234_0016__blow_r_0234_0018__up, r_0234_0017__it, arg1).
arc(z_000_234_a_dick_1952_20, r_0234_0009__can, conj1).
arc(z_000_234_a_dick_1952_20, r_0234_0015__can, conj2).
fof(formula,axiom,
? [R_0234_0002__THEY,R_0234_0003__PROBABLY,R_0234_0005__RIGHT,R_0234_0006__NOW,Z_000_234_A_DICK_1952_18,R_0234_0004__KNOW,R_0234_0011__IT,R_0234_0009__CAN_R_0234_0010__FIND,R_0234_0017__IT,R_0234_0015__CAN_R_0234_0016__BLOW_R_0234_0018__UP,Z_000_234_A_DICK_1952_20] :
( r_0234_0002__They(R_0234_0002__THEY)
& r_0234_0003__probably(R_0234_0003__PROBABLY)
& r_0234_0005__right(R_0234_0005__RIGHT)
& r_0234_0011__it(R_0234_0011__IT)
& r_0234_0017__it(R_0234_0017__IT)
& z_000_234_a_dick_1952_18(Z_000_234_A_DICK_1952_18)
& z_000_234_a_dick_1952_20(Z_000_234_A_DICK_1952_20)
& has_conj2(Z_000_234_A_DICK_1952_20,R_0234_0015__CAN_R_0234_0016__BLOW_R_0234_0018__UP)
& r_0234_0015__can_r_0234_0016__blow_r_0234_0018__up(R_0234_0015__CAN_R_0234_0016__BLOW_R_0234_0018__UP)
& has_arg1(R_0234_0015__CAN_R_0234_0016__BLOW_R_0234_0018__UP,R_0234_0017__IT)
& has_arg0(R_0234_0015__CAN_R_0234_0016__BLOW_R_0234_0018__UP,R_0234_0002__THEY)
& has_nim40(R_0234_0015__CAN_R_0234_0016__BLOW_R_0234_0018__UP,Z_000_234_A_DICK_1952_18)
& has_conj1(Z_000_234_A_DICK_1952_20,R_0234_0009__CAN_R_0234_0010__FIND)
& r_0234_0009__can_r_0234_0010__find(R_0234_0009__CAN_R_0234_0010__FIND)
& has_arg1(R_0234_0009__CAN_R_0234_0010__FIND,R_0234_0011__IT)
& has_arg0(R_0234_0009__CAN_R_0234_0010__FIND,R_0234_0002__THEY)
& has_nim22(R_0234_0009__CAN_R_0234_0010__FIND,Z_000_234_A_DICK_1952_18)
& r_0234_0004__know(R_0234_0004__KNOW)
& has_arg1(R_0234_0004__KNOW,Z_000_234_A_DICK_1952_18)
& has_nim12(R_0234_0004__KNOW,R_0234_0006__NOW)
& r_0234_0006__now(R_0234_0006__NOW)
& has_qual13(R_0234_0006__NOW,R_0234_0005__RIGHT)
& has_nim7(R_0234_0004__KNOW,R_0234_0003__PROBABLY)
& has_arg0(R_0234_0004__KNOW,R_0234_0002__THEY) ) ).
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ;{INHABITANTS} (PRO They;{they}))
(ADVP-NIM (ADV probably;{probably}))
(VBP;_Tn_ know;{know})
(ADVP-NIM (ADVP (ADV right;{right}))
(ADV now;{now}))
(NP-OB1 (IP-REL (ILYR (ILYR (ADVP-NIM (RADV where;{where}))
(NP-SBJ;{INHABITANTS} (PRO they;{they}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (VB;_Tn_ find;{find})
(NP-OB1;{SHIP} (PRO it;{it}))))
(PUNC ,)
(CONJP (ILYR (ADVP-NIM (RADV where;{where}))
(NP-SBJ;{INHABITANTS} (PRO they;{they}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (VB;_phr_Vn<=>p_ blow;{blow[up]})
(NP-OB1;{SHIP} (PRO it;{it}))
(RP up;{up})))))))
(PUNC .))
(ID 234_a_dick_1952))