( (IP-MAT (PULQ <ldquo>)
          (EX There;{there})
          (BEP;_ex_cat_VePASS_ <apos>s;{be})
          (NP-ESBJ;{INSCRIPTION} (D;_nphd_ something;{something}))
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ inscribed;{inscribe[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP (D;_nphd_ this;{this}))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 280_a_dick_1952))

arc(r_0280_0003___apos_s,r_0280_0005__inscribed_r_0280_0006__on,scope).
arc(r_0280_0005__inscribed_r_0280_0006__on,r_0280_0004__something,arg1).
arc(r_0280_0005__inscribed_r_0280_0006__on,r_0280_0007__this,arg2).
arc(r_0280_0005__inscribed_r_0280_0006__on,z_0280_5002___star_,arg0).

fof(formula,axiom,
    ? [R_0280_0004__SOMETHING,R_0280_0007__THIS,Z_0280_5002___STAR_,R_0280_0003___APOS_S_R_0280_0005__INSCRIBED_R_0280_0006__ON] :
      ( r_0280_0004__something(R_0280_0004__SOMETHING)
      & r_0280_0007__this(R_0280_0007__THIS)
      & z_0280_5002___star_(Z_0280_5002___STAR_)
      & r_0280_0003___apos_s_r_0280_0005__inscribed_r_0280_0006__on(R_0280_0003___APOS_S_R_0280_0005__INSCRIBED_R_0280_0006__ON)
      & has_arg0(R_0280_0003___APOS_S_R_0280_0005__INSCRIBED_R_0280_0006__ON,Z_0280_5002___STAR_)
      & has_arg2(R_0280_0003___APOS_S_R_0280_0005__INSCRIBED_R_0280_0006__ON,R_0280_0007__THIS)
      & has_arg1(R_0280_0003___APOS_S_R_0280_0005__INSCRIBED_R_0280_0006__ON,R_0280_0004__SOMETHING) ) ).