496_a_dick_1952
After everything else was gone.”
arc(r_0496_0001__After, r_0496_0002__everything_quant, restriction).
arc(r_0496_0001__After, z_000_496_a_dick_1952_1, scope).
arc(r_0496_0002__everything_quant, r_0496_0004__was, scope).
arc(r_0496_0002__everything_quant, z_000_496_a_dick_1952_6, restriction).
arc(r_0496_0004__was, r_0496_0005__gone, prd).
arc(r_0496_0004__was, z_000_496_a_dick_1952_6, arg0).
arc(z_000_496_a_dick_1952_6, r_0496_0003__else, qual9).
fof(formula,axiom,
? [R_496_1_AFTER,Z_496_A_DICK_1952_1] :
( ! [Z_496_A_DICK_1952_6,R_496_3_ELSE] :
( ( else(R_496_3_ELSE)
& z_496_a_dick_1952_6(Z_496_A_DICK_1952_6)
& qual9(Z_496_A_DICK_1952_6,R_496_3_ELSE) )
=> ? [R_496_4_WAS,R_496_5_GONE] :
( gone(R_496_5_GONE)
& was(R_496_4_WAS,Z_496_A_DICK_1952_6,R_496_5_GONE) ) )
& conj1(CONJ1)
& after(R_496_1_AFTER)
& conj2(R_496_1_AFTER,Z_496_A_DICK_1952_1) ) ).
( (FRAG (PP-SCON (P-CONN After;{after})
(IP-ADV (NP-SBJ (Q;_nphd_ everything;{everything})
(ADVP (ADV else;{else})))
(BED;_La_ was;{be})
(ADJP-PRD (ADJ gone;{go}))))
(PUNC .)
(PURQ <rdquo>))
(ID 496_a_dick_1952))