( (FRAG (PULQ <ldquo>)
        (NP (WD What;{what})
            (D a;{a})
            (N place;{place})
            (IP-INF-REL (TO to;{to})
                        (BE;_cat_VePASS_ be;{be})
                        (IP-PPL-CAT (NP-LGS *)
                                    (VVN;_Tn.pr_ stuck;{stick[in]})
                                    (PP-CLR (P-ROLE in;{in})
                                            (NP *T*)))))
        (PUNC .)
        (PURQ <rdquo>))
  (ID 96_a_dick_1952))

arc(r_0096_0006__be,r_0096_0007__stuck,scope).
arc(r_0096_0007__stuck,r_0096_0002__What_r_0096_0003__a_r_0096_0004__place,r_0096_0008__in__inv_clr).
arc(r_0096_0007__stuck,z_0096_5005,arg1).
arc(r_0096_0007__stuck,z_0096_5007___star_,arg0).
arc(z_0096_5010,r_0096_0002__What_r_0096_0003__a_r_0096_0004__place,z_0096_5002).

fof(formula,axiom,
    ? [Z_0096_5005,Z_0096_5007___STAR_,R_0096_0006__BE_R_0096_0007__STUCK,R_0096_0002__WHAT_R_0096_0003__A_R_0096_0004__PLACE,Z_0096_5010] :
      ( z_0096_5005(Z_0096_5005)
      & z_0096_5007___star_(Z_0096_5007___STAR_)
      & z_0096_5010(Z_0096_5010)
      & has_z_0096_5002(Z_0096_5010,R_0096_0002__WHAT_R_0096_0003__A_R_0096_0004__PLACE)
      & r_0096_0002__What_r_0096_0003__a_r_0096_0004__place(R_0096_0002__WHAT_R_0096_0003__A_R_0096_0004__PLACE)
      & has_r_0096_0008__in__inv_clr(R_0096_0002__WHAT_R_0096_0003__A_R_0096_0004__PLACE,R_0096_0006__BE_R_0096_0007__STUCK)
      & r_0096_0006__be_r_0096_0007__stuck(R_0096_0006__BE_R_0096_0007__STUCK)
      & has_arg0(R_0096_0006__BE_R_0096_0007__STUCK,Z_0096_5007___STAR_)
      & has_arg1(R_0096_0006__BE_R_0096_0007__STUCK,Z_0096_5005) ) ).