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_0002__feet feet r_0075_0001__My My r_0075_0002__feet->r_0075_0001__My [gen] r_0075_0003__are_r_0075_0004__fastened are fastened r_0075_0003__are_r_0075_0004__fastened->r_0075_0002__feet [arg1] 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] 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] 
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_5 My n75_a_wilde_1_1888_7 feet n75_a_wilde_1_1888_9 are n75_a_wilde_1_1888_12 * n75_a_wilde_1_1888_14 fastened n75_a_wilde_1_1888_17 to n75_a_wilde_1_1888_20 this n75_a_wilde_1_1888_22 pedestal n75_a_wilde_1_1888_1 IP-MAT n75_a_wilde_1_1888_2 NP-SBJ n75_a_wilde_1_1888_1->n75_a_wilde_1_1888_2 n75_a_wilde_1_1888_8 BEP;_cat_VePASS_ n75_a_wilde_1_1888_1->n75_a_wilde_1_1888_8 n75_a_wilde_1_1888_10 IP-PPL-CAT n75_a_wilde_1_1888_1->n75_a_wilde_1_1888_10 n75_a_wilde_1_1888_3 NP-GEN n75_a_wilde_1_1888_2->n75_a_wilde_1_1888_3 n75_a_wilde_1_1888_6 NS n75_a_wilde_1_1888_2->n75_a_wilde_1_1888_6 n75_a_wilde_1_1888_4 PRO;_genm_ n75_a_wilde_1_1888_3->n75_a_wilde_1_1888_4 n75_a_wilde_1_1888_4->n75_a_wilde_1_1888_5 n75_a_wilde_1_1888_6->n75_a_wilde_1_1888_7 n75_a_wilde_1_1888_8->n75_a_wilde_1_1888_9 n75_a_wilde_1_1888_11 NP-LGS n75_a_wilde_1_1888_10->n75_a_wilde_1_1888_11 n75_a_wilde_1_1888_13 VVN;_Tn.pr_ n75_a_wilde_1_1888_10->n75_a_wilde_1_1888_13 n75_a_wilde_1_1888_15 PP-CLR n75_a_wilde_1_1888_10->n75_a_wilde_1_1888_15 n75_a_wilde_1_1888_11->n75_a_wilde_1_1888_12 n75_a_wilde_1_1888_13->n75_a_wilde_1_1888_14 n75_a_wilde_1_1888_16 P-ROLE n75_a_wilde_1_1888_15->n75_a_wilde_1_1888_16 n75_a_wilde_1_1888_18 NP n75_a_wilde_1_1888_15->n75_a_wilde_1_1888_18 n75_a_wilde_1_1888_16->n75_a_wilde_1_1888_17 n75_a_wilde_1_1888_19 D n75_a_wilde_1_1888_18->n75_a_wilde_1_1888_19 n75_a_wilde_1_1888_21 N n75_a_wilde_1_1888_18->n75_a_wilde_1_1888_21 n75_a_wilde_1_1888_19->n75_a_wilde_1_1888_20 n75_a_wilde_1_1888_21->n75_a_wilde_1_1888_22 
( (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))