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_0007__to_r_0011_0008__look, arg1).
arc(r_0011_0007__to_r_0011_0008__look, r_0011_0002__Any, arg0).
arc(r_0011_0009__may, r_0011_0010__do, scope).
arc(r_0011_0010__do, r_0011_0002__Any, arg0).
arc(r_0011_0010__do, r_0011_0011__so, clr29).

fof(formula,axiom,
    ? [R_11_6_WANTS,R_11_7_TO_LOOK,R_11_9_MAY_DO,R_11_2_ANY,R_11_4_YOU,R_11_11_SO] :
      ( you(R_11_4_YOU)
      & so(R_11_11_SO)
      & wants(R_11_6_WANTS,R_11_2_ANY,R_11_7_TO_LOOK)
      & any(R_11_2_ANY)
      & of(R_11_2_ANY,R_11_4_YOU)
      & to_look(R_11_7_TO_LOOK,R_11_2_ANY)
      & may_do(R_11_9_MAY_DO,R_11_2_ANY)
      & clr29(R_11_9_MAY_DO,R_11_11_SO) ) ).

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