Context                Previous, Next                Top


75_a_wilde_1_1888
My feet are fastened to this pedestal

%3 r_0075_0002__feet feet r_0075_0001__My My r_0075_0002__feet->r_0075_0001__My [gen] r_0075_0003__are are r_0075_0004__fastened fastened r_0075_0003__are->r_0075_0004__fastened [scope] r_0075_0004__fastened->r_0075_0002__feet [arg1] r_0075_0006__this_r_0075_0007__pedestal this pedestal r_0075_0004__fastened->r_0075_0006__this_r_0075_0007__pedestal to [clr] z_000_75_a_wilde_1_1888_11 r_0075_0004__fastened->z_000_75_a_wilde_1_1888_11 [arg0] 
arc(r_0075_0002__feet, r_0075_0001__My, gen).
arc(r_0075_0003__are, r_0075_0004__fastened, scope).
arc(r_0075_0004__fastened, r_0075_0002__feet, arg1).
arc(r_0075_0004__fastened, r_0075_0006__this_r_0075_0007__pedestal, r_0075_0005__to_clr18).
arc(r_0075_0004__fastened, z_000_75_a_wilde_1_1888_11, arg0).


%3 r_0075_0003__are_r_0075_0004__fastened are fastened z_000_75_a_wilde_1_1888_11 r_0075_0003__are_r_0075_0004__fastened->z_000_75_a_wilde_1_1888_11 [arg0] r_0075_0006__this_r_0075_0007__pedestal this pedestal r_0075_0003__are_r_0075_0004__fastened->r_0075_0006__this_r_0075_0007__pedestal to [clr] r_0075_0002__feet feet r_0075_0003__are_r_0075_0004__fastened->r_0075_0002__feet [arg1] r_0075_0001__My My r_0075_0002__feet->r_0075_0001__My [gen] 
fof(formula,axiom,
    ? [R_75_3_ARE_FASTENED,Z_75_A_WILDE_1_1888_11,R_75_2_FEET,R_75_1_MY,R_75_6_THIS_PEDESTAL] :
      ( my(R_75_1_MY)
      & this_pedestal(R_75_6_THIS_PEDESTAL)
      & are_fastened(R_75_3_ARE_FASTENED,Z_75_A_WILDE_1_1888_11,R_75_2_FEET)
      & feet(R_75_2_FEET)
      & gen(R_75_2_FEET,R_75_1_MY)
      & to_clr18(R_75_3_ARE_FASTENED,R_75_6_THIS_PEDESTAL) ) ).


n75_a_wilde_1_1888 n75_a_wilde_1_1888__1_1_1_1_1 My n75_a_wilde_1_1888__1_1_2_1 feet n75_a_wilde_1_1888__1_2_1 are n75_a_wilde_1_1888__1_3_1_1 * n75_a_wilde_1_1888__1_3_2_1 fastened n75_a_wilde_1_1888__1_3_3_1_1 to n75_a_wilde_1_1888__1_3_3_2_1_1 this n75_a_wilde_1_1888__1_3_3_2_2_1 pedestal n75_a_wilde_1_1888__1 IP-MAT n75_a_wilde_1_1888__1_1 NP-SBJ n75_a_wilde_1_1888__1->n75_a_wilde_1_1888__1_1 n75_a_wilde_1_1888__1_2 BEP;_cat_VePASS_ n75_a_wilde_1_1888__1->n75_a_wilde_1_1888__1_2 n75_a_wilde_1_1888__1_3 IP-PPL-CAT n75_a_wilde_1_1888__1->n75_a_wilde_1_1888__1_3 n75_a_wilde_1_1888__1_1_1 NP-GEN n75_a_wilde_1_1888__1_1->n75_a_wilde_1_1888__1_1_1 n75_a_wilde_1_1888__1_1_2 NS n75_a_wilde_1_1888__1_1->n75_a_wilde_1_1888__1_1_2 n75_a_wilde_1_1888__1_1_1_1 PRO;_genm_ n75_a_wilde_1_1888__1_1_1->n75_a_wilde_1_1888__1_1_1_1 n75_a_wilde_1_1888__1_1_1_1->n75_a_wilde_1_1888__1_1_1_1_1 n75_a_wilde_1_1888__1_1_2->n75_a_wilde_1_1888__1_1_2_1 n75_a_wilde_1_1888__1_2->n75_a_wilde_1_1888__1_2_1 n75_a_wilde_1_1888__1_3_1 NP-LGS n75_a_wilde_1_1888__1_3->n75_a_wilde_1_1888__1_3_1 n75_a_wilde_1_1888__1_3_2 VVN;_Tn.pr_ n75_a_wilde_1_1888__1_3->n75_a_wilde_1_1888__1_3_2 n75_a_wilde_1_1888__1_3_3 PP-CLR n75_a_wilde_1_1888__1_3->n75_a_wilde_1_1888__1_3_3 n75_a_wilde_1_1888__1_3_1->n75_a_wilde_1_1888__1_3_1_1 n75_a_wilde_1_1888__1_3_2->n75_a_wilde_1_1888__1_3_2_1 n75_a_wilde_1_1888__1_3_3_1 P-ROLE n75_a_wilde_1_1888__1_3_3->n75_a_wilde_1_1888__1_3_3_1 n75_a_wilde_1_1888__1_3_3_2 NP n75_a_wilde_1_1888__1_3_3->n75_a_wilde_1_1888__1_3_3_2 n75_a_wilde_1_1888__1_3_3_1->n75_a_wilde_1_1888__1_3_3_1_1 n75_a_wilde_1_1888__1_3_3_2_1 D n75_a_wilde_1_1888__1_3_3_2->n75_a_wilde_1_1888__1_3_3_2_1 n75_a_wilde_1_1888__1_3_3_2_2 N n75_a_wilde_1_1888__1_3_3_2->n75_a_wilde_1_1888__1_3_3_2_2 n75_a_wilde_1_1888__1_3_3_2_1->n75_a_wilde_1_1888__1_3_3_2_1_1 n75_a_wilde_1_1888__1_3_3_2_2->n75_a_wilde_1_1888__1_3_3_2_2_1 
( (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))