( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (D;_nphd_ Any;{any})
                  (PP (P-ROLE of;{of})
                      (NP;{TRESPASSERS} (PRO you;{you})))
                  (IP-REL (NP-SBJ (RPRO who;{who}))
                          (VBP;_Tt_ wants;{want})
                          (IP-INF-OB1 (TO to;{to})
                                      (VB;_I_ look;{look}))))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (DO do;{do})
                      (ADVP-CLR (ADV so;{so})))
          (PUNC .))
  (ID 11_a_dick_1952))

arc(r_0011_0002__Any,r_0011_0004__you,r_0011_0003__of).
arc(r_0011_0006__wants,r_0011_0002__Any,arg0).
arc(r_0011_0006__wants,r_0011_0008__look,arg1).
arc(r_0011_0008__look,r_0011_0002__Any,arg0).
arc(r_0011_0009__may,r_0011_0010__do_r_0011_0011__so,scope).
arc(r_0011_0010__do_r_0011_0011__so,r_0011_0002__Any,arg0).

fof(formula,axiom,
    ? [R_0011_0004__YOU,R_0011_0002__ANY,R_0011_0008__LOOK,R_0011_0006__WANTS,R_0011_0009__MAY_R_0011_0010__DO_R_0011_0011__SO] :
      ( r_0011_0004__you(R_0011_0004__YOU)
      & r_0011_0009__may_r_0011_0010__do_r_0011_0011__so(R_0011_0009__MAY_R_0011_0010__DO_R_0011_0011__SO)
      & has_arg0(R_0011_0009__MAY_R_0011_0010__DO_R_0011_0011__SO,R_0011_0002__ANY)
      & r_0011_0002__Any(R_0011_0002__ANY)
      & has_r_0011_0003__of(R_0011_0002__ANY,R_0011_0004__YOU)
      & r_0011_0006__wants(R_0011_0006__WANTS)
      & has_arg1(R_0011_0006__WANTS,R_0011_0008__LOOK)
      & r_0011_0008__look(R_0011_0008__LOOK)
      & has_arg0(R_0011_0008__LOOK,R_0011_0002__ANY)
      & has_arg0(R_0011_0006__WANTS,R_0011_0002__ANY) ) ).