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,
? [Z_000_496_A_DICK_1952_1,R_0496_0001__AFTER] :
( z_000_496_a_dick_1952_1(Z_000_496_A_DICK_1952_1)
& r_0496_0001__After(R_0496_0001__AFTER)
& has_conj2(R_0496_0001__AFTER,Z_000_496_A_DICK_1952_1)
& ! [Z_000_496_A_DICK_1952_6,R_0496_0003__ELSE] :
( ( r_0496_0003__else(R_0496_0003__ELSE)
& z_000_496_a_dick_1952_6(Z_000_496_A_DICK_1952_6)
& has_qual9(Z_000_496_A_DICK_1952_6,R_0496_0003__ELSE) )
=> ? [R_0496_0005__GONE,R_0496_0004__WAS] :
( r_0496_0005__gone(R_0496_0005__GONE)
& r_0496_0004__was(R_0496_0004__WAS)
& has_arg0(R_0496_0004__WAS,Z_000_496_A_DICK_1952_6)
& has_prd(R_0496_0004__WAS,R_0496_0005__GONE) ) ) ) ).
( (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))