( (FRAG (CONJ;_cl_ Except;{except})
        (ADVP-NIM (ADVP (ADV right;{right}))
                  (ADV here;{here})
                  (PUNC ,)
                  (NP-NIM (IP-REL (ADVP-NIM (RADV where;{where}))
                                  (NP-SBJ;{DORLE+NASHA+TANCE} (PRO we;{we}))
                                  (BEP;_cat_Vg_ <apos>re;{be})
                                  (IP-PPL-CAT (VAG;_I_ standing;{stand})))))
        (PUNC .))
  (ID 365_a_dick_1952))

arc(r_0365_0003__here,r_0365_0002__right,qual).
arc(r_0365_0003__here,r_0365_0005__where,nim).
arc(r_0365_0007___apos_re,r_0365_0005__where,nim).
arc(r_0365_0007___apos_re,r_0365_0008__standing,scope).
arc(r_0365_0008__standing,r_0365_0006__we,arg0).
arc(z_0365_5007,r_0365_0003__here,nim).

fof(formula,axiom,
    ? [R_0365_0005__WHERE,R_0365_0006__WE,R_0365_0007___APOS_RE_R_0365_0008__STANDING,R_0365_0002__RIGHT,R_0365_0003__HERE,Z_0365_5007] :
      ( r_0365_0002__right(R_0365_0002__RIGHT)
      & r_0365_0005__where(R_0365_0005__WHERE)
      & r_0365_0006__we(R_0365_0006__WE)
      & z_0365_5007(Z_0365_5007)
      & has_nim(Z_0365_5007,R_0365_0003__HERE)
      & r_0365_0003__here(R_0365_0003__HERE)
      & has_nim(R_0365_0003__HERE,R_0365_0005__WHERE)
      & has_qual(R_0365_0003__HERE,R_0365_0002__RIGHT)
      & r_0365_0007___apos_re_r_0365_0008__standing(R_0365_0007___APOS_RE_R_0365_0008__STANDING)
      & has_arg0(R_0365_0007___APOS_RE_R_0365_0008__STANDING,R_0365_0006__WE)
      & has_nim(R_0365_0007___APOS_RE_R_0365_0008__STANDING,R_0365_0005__WHERE) ) ).