522_a_dick_1952
They were so certain that everything was hostile, the enemy, coming to take their possessions away from them.
arc(r_0522_0002__were, r_0522_0001__They, arg0).
arc(r_0522_0002__were, r_0522_0004__certain, prd).
arc(r_0522_0004__certain, r_0522_0003__so, qual8).
arc(r_0522_0004__certain, r_0522_0006__everything_quant, emb14).
arc(r_0522_0005__that_r_0522_0007__was, r_0522_0008__hostile, prd).
arc(r_0522_0005__that_r_0522_0007__was, z_000_522_a_dick_1952_17, arg0).
arc(r_0522_0006__everything_quant, r_0522_0005__that_r_0522_0007__was, scope).
arc(r_0522_0006__everything_quant, z_000_522_a_dick_1952_17, restriction).
arc(r_0522_0013__coming, r_0522_0010__the_r_0522_0011__enemy, arg0).
arc(r_0522_0014__to_r_0522_0015__take_r_0522_0018__away, r_0522_0001__They, r_0522_0019__from_nim55).
arc(r_0522_0014__to_r_0522_0015__take_r_0522_0018__away, r_0522_0010__the_r_0522_0011__enemy, arg0).
arc(r_0522_0014__to_r_0522_0015__take_r_0522_0018__away, r_0522_0017__possessions, arg1).
arc(r_0522_0017__possessions, r_0522_0001__They, gen).
arc(z_000_522_a_dick_1952_27, r_0522_0002__were, scope).
arc(z_000_522_a_dick_1952_27, z_000_522_a_dick_1952_38, restriction).
arc(z_000_522_a_dick_1952_38, r_0522_0013__coming, scope).
arc(z_000_522_a_dick_1952_38, r_0522_0014__to_r_0522_0015__take_r_0522_0018__away, restriction).
fof(formula,axiom,
? [R_0522_0001__THEY,R_0522_0003__SO,R_0522_0004__CERTAIN,R_0522_0002__WERE,R_0522_0010__THE_R_0522_0011__ENEMY,R_0522_0013__COMING,R_0522_0017__POSSESSIONS,R_0522_0014__TO_R_0522_0015__TAKE_R_0522_0018__AWAY,Z_000_522_A_DICK_1952_38,Z_000_522_A_DICK_1952_27] :
( r_0522_0001__They(R_0522_0001__THEY)
& r_0522_0003__so(R_0522_0003__SO)
& r_0522_0010__the_r_0522_0011__enemy(R_0522_0010__THE_R_0522_0011__ENEMY)
& z_000_522_a_dick_1952_27(Z_000_522_A_DICK_1952_27)
& has_conj1(Z_000_522_A_DICK_1952_27,Z_000_522_A_DICK_1952_38)
& z_000_522_a_dick_1952_38(Z_000_522_A_DICK_1952_38)
& has_conj1(Z_000_522_A_DICK_1952_38,R_0522_0014__TO_R_0522_0015__TAKE_R_0522_0018__AWAY)
& r_0522_0014__to_r_0522_0015__take_r_0522_0018__away(R_0522_0014__TO_R_0522_0015__TAKE_R_0522_0018__AWAY)
& has_arg1(R_0522_0014__TO_R_0522_0015__TAKE_R_0522_0018__AWAY,R_0522_0017__POSSESSIONS)
& r_0522_0017__possessions(R_0522_0017__POSSESSIONS)
& has_gen(R_0522_0017__POSSESSIONS,R_0522_0001__THEY)
& has_arg0(R_0522_0014__TO_R_0522_0015__TAKE_R_0522_0018__AWAY,R_0522_0010__THE_R_0522_0011__ENEMY)
& has_r_0522_0019__from_nim55(R_0522_0014__TO_R_0522_0015__TAKE_R_0522_0018__AWAY,R_0522_0001__THEY)
& has_conj2(Z_000_522_A_DICK_1952_38,R_0522_0013__COMING)
& r_0522_0013__coming(R_0522_0013__COMING)
& has_arg0(R_0522_0013__COMING,R_0522_0010__THE_R_0522_0011__ENEMY)
& has_conj2(Z_000_522_A_DICK_1952_27,R_0522_0002__WERE)
& r_0522_0002__were(R_0522_0002__WERE)
& has_prd(R_0522_0002__WERE,R_0522_0004__CERTAIN)
& r_0522_0004__certain(R_0522_0004__CERTAIN)
& ! [Z_000_522_A_DICK_1952_17] :
( z_000_522_a_dick_1952_17(Z_000_522_A_DICK_1952_17)
=> ? [R_0522_0008__HOSTILE,R_0522_0005__THAT_R_0522_0007__WAS] :
( r_0522_0008__hostile(R_0522_0008__HOSTILE)
& r_0522_0005__that_r_0522_0007__was(R_0522_0005__THAT_R_0522_0007__WAS)
& has_arg0(R_0522_0005__THAT_R_0522_0007__WAS,Z_000_522_A_DICK_1952_17)
& has_prd(R_0522_0005__THAT_R_0522_0007__WAS,R_0522_0008__HOSTILE) ) )
& has_qual8(R_0522_0004__CERTAIN,R_0522_0003__SO)
& has_arg0(R_0522_0002__WERE,R_0522_0001__THEY) ) ).
( (IP-MAT (NP-SBJ;{INHABITANTS} (PRO They;{they}))
(BED;_La_ were;{be})
(ADJP-PRD (ADVP (ADV so;{so}))
(ADJ certain;{certain})
(CP-THT (IP-SUB (C that;{that})
(NP-SBJ (Q;_nphd_ everything;{everything}))
(BED;_La_ was;{be})
(ADJP-PRD (ADJ hostile;{hostile})))))
(PUNC ,)
(PP-SCON (IP-PPL3 (NP-SBJ (D the;{the})
(N enemy;{enemy}))
(PUNC ,)
(VAG;_I_ coming;{come})
(PP-SCON (IP-INF (TO to;{to})
(VB;_phr_Vn<=>p_ take;{take[away]})
(NP-OB1;{POSSESSIONS} (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
(NS possessions;{possession}))
(RP away;{away})
(PP-NIM (P-ROLE from;{from})
(NP;{INHABITANTS} (PRO them;{they})))))))
(PUNC .))
(ID 522_a_dick_1952))