252_a_dick_1952
What's left of it.”
arc(r_0252_0002___apos_s, r_0252_0003__left, scope).
arc(r_0252_0003__left, r_0252_0001__What, arg1).
arc(r_0252_0003__left, r_0252_0005__it, r_0252_0004__of_clr16).
arc(r_0252_0003__left, z_000_252_a_dick_1952_9, arg0).
fof(formula,axiom,
? [R_0252_0001__WHAT,R_0252_0005__IT,Z_000_252_A_DICK_1952_9,R_0252_0002___APOS_S_R_0252_0003__LEFT] :
( r_0252_0001__What(R_0252_0001__WHAT)
& r_0252_0005__it(R_0252_0005__IT)
& z_000_252_a_dick_1952_9(Z_000_252_A_DICK_1952_9)
& r_0252_0002___apos_s_r_0252_0003__left(R_0252_0002___APOS_S_R_0252_0003__LEFT)
& has_arg0(R_0252_0002___APOS_S_R_0252_0003__LEFT,Z_000_252_A_DICK_1952_9)
& has_r_0252_0004__of_clr16(R_0252_0002___APOS_S_R_0252_0003__LEFT,R_0252_0005__IT)
& has_arg1(R_0252_0002___APOS_S_R_0252_0003__LEFT,R_0252_0001__WHAT) ) ).
( (CP-QUE-MAT (IP-SUB (NP-SBJ (WPRO What;{what}))
(BEP;_cat_VePASS_ <apos>s;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_phr_Vn.pr_ left;{leave[of]})
(PP-CLR (P-ROLE of;{of})
(NP;{CITY} (PRO it;{it})))))
(PUNC .)
(PURQ <rdquo>))
(ID 252_a_dick_1952))