280_a_dick_1952
“There's something inscribed on this.”
arc(r_0280_0002__There_r_0280_0003___apos_s, r_0280_0005__inscribed, scope).
arc(r_0280_0005__inscribed, r_0280_0004__something, arg1).
arc(r_0280_0005__inscribed, r_0280_0007__this, r_0280_0006__on_clr19).
arc(r_0280_0005__inscribed, z_000_280_a_dick_1952_12, arg0).
fof(formula,axiom,
? [R_0280_0004__SOMETHING,R_0280_0007__THIS,Z_000_280_A_DICK_1952_12,R_0280_0002__THERE_R_0280_0003___APOS_S_R_0280_0005__INSCRIBED] :
( r_0280_0004__something(R_0280_0004__SOMETHING)
& r_0280_0007__this(R_0280_0007__THIS)
& z_000_280_a_dick_1952_12(Z_000_280_A_DICK_1952_12)
& r_0280_0002__There_r_0280_0003___apos_s_r_0280_0005__inscribed(R_0280_0002__THERE_R_0280_0003___APOS_S_R_0280_0005__INSCRIBED)
& has_arg0(R_0280_0002__THERE_R_0280_0003___APOS_S_R_0280_0005__INSCRIBED,Z_000_280_A_DICK_1952_12)
& has_r_0280_0006__on_clr19(R_0280_0002__THERE_R_0280_0003___APOS_S_R_0280_0005__INSCRIBED,R_0280_0007__THIS)
& has_arg1(R_0280_0002__THERE_R_0280_0003___APOS_S_R_0280_0005__INSCRIBED,R_0280_0004__SOMETHING) ) ).
( (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))