( (IP-MAT (NP-SBJ;{GUN} (PRO It;{it}))
          (BEP;_cat_Vg_ <apos>s;{be})
          (IP-PPL-CAT (ADVP-NIM (ADV just;{just}))
                      (VAG;_It_ waiting;{wait})
                      (IP-INF-CLR (P-CONN for;{for})
                                  (NP-SBJ;{TRESPASSERS} (PRO us;{we}))
                                  (TO to;{to})
                                  (VB;_phr_Vp_ take;{take[off]})
                                  (RP off;{off})
                                  (ADVP-NIM (ADV again;{again}))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 347_a_dick_1952))

arc(r_0347_0002___apos_s,r_0347_0004__waiting,scope).
arc(r_0347_0004__waiting,r_0347_0001__It,arg0).
arc(r_0347_0004__waiting,r_0347_0003__just,nim).
arc(r_0347_0004__waiting,r_0347_0008__take_r_0347_0009__off,clr).
arc(r_0347_0008__take_r_0347_0009__off,r_0347_0006__us,arg0).
arc(r_0347_0008__take_r_0347_0009__off,r_0347_0010__again,nim).

fof(formula,axiom,
    ? [R_0347_0001__IT,R_0347_0003__JUST,R_0347_0006__US,R_0347_0010__AGAIN,R_0347_0008__TAKE_R_0347_0009__OFF,R_0347_0002___APOS_S_R_0347_0004__WAITING] :
      ( r_0347_0001__It(R_0347_0001__IT)
      & r_0347_0003__just(R_0347_0003__JUST)
      & r_0347_0006__us(R_0347_0006__US)
      & r_0347_0010__again(R_0347_0010__AGAIN)
      & r_0347_0002___apos_s_r_0347_0004__waiting(R_0347_0002___APOS_S_R_0347_0004__WAITING)
      & has_clr(R_0347_0002___APOS_S_R_0347_0004__WAITING,R_0347_0008__TAKE_R_0347_0009__OFF)
      & r_0347_0008__take_r_0347_0009__off(R_0347_0008__TAKE_R_0347_0009__OFF)
      & has_nim(R_0347_0008__TAKE_R_0347_0009__OFF,R_0347_0010__AGAIN)
      & has_arg0(R_0347_0008__TAKE_R_0347_0009__OFF,R_0347_0006__US)
      & has_nim(R_0347_0002___APOS_S_R_0347_0004__WAITING,R_0347_0003__JUST)
      & has_arg0(R_0347_0002___APOS_S_R_0347_0004__WAITING,R_0347_0001__IT) ) ).