( (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))

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__clr).
arc(r_0252_0003__left,z_0252_5003___star_,arg0).

fof(formula,axiom,
    ? [R_0252_0001__WHAT,R_0252_0005__IT,Z_0252_5003___STAR_,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_0252_5003___star_(Z_0252_5003___STAR_)
      & 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_0252_5003___STAR_)
      & has_r_0252_0004__of__clr(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) ) ).