( (IP-IMP (PULQ <ldquo>)
          (VB;_Cn.a_ Leave;{leave})
          (NP-OB1;{TANCE} (PRO him;{he}))
          (ADJP-PRD (ADJ alone;{alone}))
          (PUNC .))
  (ID 507_a_dick_1952))

arc(r_0507_0002__Leave,r_0507_0003__him,arg1).
arc(r_0507_0002__Leave,r_0507_0004__alone,prd).
arc(r_0507_0002__Leave,z_0507_5002,arg0).

fof(formula,axiom,
    ? [R_0507_0003__HIM,R_0507_0004__ALONE,Z_0507_5002,R_0507_0002__LEAVE] :
      ( r_0507_0003__him(R_0507_0003__HIM)
      & r_0507_0004__alone(R_0507_0004__ALONE)
      & z_0507_5002(Z_0507_5002)
      & r_0507_0002__Leave(R_0507_0002__LEAVE)
      & has_arg0(R_0507_0002__LEAVE,Z_0507_5002)
      & has_prd(R_0507_0002__LEAVE,R_0507_0004__ALONE)
      & has_arg1(R_0507_0002__LEAVE,R_0507_0003__HIM) ) ).