( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{FOMAR} (PRO I;{I}))
          (VBP;_Tw_ wonder;{wonder})
          (CP-QUE-OB1 (IP-SUB (WQ if;{if})
                              (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                              (MD;_cat_Vi_ could;{can})
                              (IP-INF-CAT (VB;_Tn.p_ find;{find[outside]})
                                          (NP-OB1 (D;_nphd_ anything;{anything}))
                                          (ADVP-CLR (ADV outside;{outside})))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 103_a_dick_1952))

arc(r_0103_0003__wonder,r_0103_0002__I,arg0).
arc(r_0103_0003__wonder,r_0103_0004__if,arg1).
arc(r_0103_0004__if,r_0103_0006__could,keep_scope).
arc(r_0103_0006__could,r_0103_0007__find_r_0103_0009__outside,scope).
arc(r_0103_0007__find_r_0103_0009__outside,r_0103_0005__we,arg0).
arc(r_0103_0007__find_r_0103_0009__outside,r_0103_0008__anything,arg1).

fof(formula,axiom,
    ? [R_0103_0002__I,R_0103_0005__WE,R_0103_0008__ANYTHING,R_0103_0006__COULD_R_0103_0007__FIND_R_0103_0009__OUTSIDE,R_0103_0004__IF,R_0103_0003__WONDER] :
      ( r_0103_0002__I(R_0103_0002__I)
      & r_0103_0005__we(R_0103_0005__WE)
      & r_0103_0008__anything(R_0103_0008__ANYTHING)
      & r_0103_0003__wonder(R_0103_0003__WONDER)
      & has_arg1(R_0103_0003__WONDER,R_0103_0004__IF)
      & r_0103_0004__if(R_0103_0004__IF)
      & has_keep_scope(R_0103_0004__IF,R_0103_0006__COULD_R_0103_0007__FIND_R_0103_0009__OUTSIDE)
      & r_0103_0006__could_r_0103_0007__find_r_0103_0009__outside(R_0103_0006__COULD_R_0103_0007__FIND_R_0103_0009__OUTSIDE)
      & has_arg1(R_0103_0006__COULD_R_0103_0007__FIND_R_0103_0009__OUTSIDE,R_0103_0008__ANYTHING)
      & has_arg0(R_0103_0006__COULD_R_0103_0007__FIND_R_0103_0009__OUTSIDE,R_0103_0005__WE)
      & has_arg0(R_0103_0003__WONDER,R_0103_0002__I) ) ).