75_a_wilde_1_1888
My feet are fastened to this pedestal
( (IP-MAT (NP-SBJ (NP-GEN;{PRINCE} (PRO;_genm_ My;{my}))
(NS feet;{foot}))
(BEP;_cat_VePASS_ are;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ fastened;{fasten[to]})
(PP-CLR (P-ROLE to;{to})
(NP (D this;{this})
(N pedestal;{pedestal})))))
(ID 75_a_wilde_1_1888))
arc(r_0075_0002__feet,r_0075_0001__My,gen).
arc(r_0075_0003__are,r_0075_0004__fastened_r_0075_0005__to,scope).
arc(r_0075_0004__fastened_r_0075_0005__to,r_0075_0002__feet,arg1).
arc(r_0075_0004__fastened_r_0075_0005__to,r_0075_0006__this_r_0075_0007__pedestal,arg2).
arc(r_0075_0004__fastened_r_0075_0005__to,z_0075_5004___star_,arg0).
fof(formula,axiom,
? [R_0075_0001__MY,R_0075_0002__FEET,R_0075_0006__THIS_R_0075_0007__PEDESTAL,Z_0075_5004___STAR_,R_0075_0003__ARE_R_0075_0004__FASTENED_R_0075_0005__TO] :
( r_0075_0001__My(R_0075_0001__MY)
& r_0075_0006__this_r_0075_0007__pedestal(R_0075_0006__THIS_R_0075_0007__PEDESTAL)
& z_0075_5004___star_(Z_0075_5004___STAR_)
& r_0075_0003__are_r_0075_0004__fastened_r_0075_0005__to(R_0075_0003__ARE_R_0075_0004__FASTENED_R_0075_0005__TO)
& has_arg0(R_0075_0003__ARE_R_0075_0004__FASTENED_R_0075_0005__TO,Z_0075_5004___STAR_)
& has_arg2(R_0075_0003__ARE_R_0075_0004__FASTENED_R_0075_0005__TO,R_0075_0006__THIS_R_0075_0007__PEDESTAL)
& has_arg1(R_0075_0003__ARE_R_0075_0004__FASTENED_R_0075_0005__TO,R_0075_0002__FEET)
& r_0075_0002__feet(R_0075_0002__FEET)
& has_gen(R_0075_0002__FEET,R_0075_0001__MY) ) ).