Context                Previous, Next                Top


30_a_genieus
So you can take my place -

%3 r_0030_0003__can can r_0030_0001__So So r_0030_0003__can->r_0030_0001__So [nim] r_0030_0004__take take r_0030_0003__can->r_0030_0004__take [scope] r_0030_0002__you you r_0030_0004__take->r_0030_0002__you [arg0] r_0030_0006__place place r_0030_0004__take->r_0030_0006__place [arg1] r_0030_0005__my my r_0030_0006__place->r_0030_0005__my [gen] 
arc(r_0030_0003__can, r_0030_0001__So, nim2).
arc(r_0030_0003__can, r_0030_0004__take, scope).
arc(r_0030_0004__take, r_0030_0002__you, arg0).
arc(r_0030_0004__take, r_0030_0006__place, arg1).
arc(r_0030_0006__place, r_0030_0005__my, gen).


%3 r_0030_0006__place place r_0030_0005__my my r_0030_0006__place->r_0030_0005__my [gen] r_0030_0003__can_r_0030_0004__take can take r_0030_0003__can_r_0030_0004__take->r_0030_0006__place [arg1] r_0030_0002__you you r_0030_0003__can_r_0030_0004__take->r_0030_0002__you [arg0] r_0030_0001__So So r_0030_0003__can_r_0030_0004__take->r_0030_0001__So [nim] 
fof(formula,axiom,
    ? [R_30_3_CAN_TAKE,R_30_2_YOU,R_30_6_PLACE,R_30_5_MY,R_30_1_SO] :
      ( you(R_30_2_YOU)
      & my(R_30_5_MY)
      & so(R_30_1_SO)
      & can_take(R_30_3_CAN_TAKE,R_30_2_YOU,R_30_6_PLACE)
      & place(R_30_6_PLACE)
      & gen(R_30_6_PLACE,R_30_5_MY)
      & nim2(R_30_3_CAN_TAKE,R_30_1_SO) ) ).


n30_a_genieus n30_a_genieus__1_1_1_1 So n30_a_genieus__1_2_1_1 you n30_a_genieus__1_3_1 can n30_a_genieus__1_4_1_1 take n30_a_genieus__1_4_2_1_1_1 my n30_a_genieus__1_4_2_2_1 place n30_a_genieus__1_5_1 - n30_a_genieus__1 IP-MAT n30_a_genieus__1_1 ADVP-NIM n30_a_genieus__1->n30_a_genieus__1_1 n30_a_genieus__1_2 NP-SBJ n30_a_genieus__1->n30_a_genieus__1_2 n30_a_genieus__1_3 MD;_cat_Vi_ n30_a_genieus__1->n30_a_genieus__1_3 n30_a_genieus__1_4 IP-PPL-CAT n30_a_genieus__1->n30_a_genieus__1_4 n30_a_genieus__1_5 PUNC n30_a_genieus__1->n30_a_genieus__1_5 n30_a_genieus__1_1_1 ADV n30_a_genieus__1_1->n30_a_genieus__1_1_1 n30_a_genieus__1_1_1->n30_a_genieus__1_1_1_1 n30_a_genieus__1_2_1 PRO n30_a_genieus__1_2->n30_a_genieus__1_2_1 n30_a_genieus__1_2_1->n30_a_genieus__1_2_1_1 n30_a_genieus__1_3->n30_a_genieus__1_3_1 n30_a_genieus__1_4_1 VB;_Tn_ n30_a_genieus__1_4->n30_a_genieus__1_4_1 n30_a_genieus__1_4_2 NP-OB1 n30_a_genieus__1_4->n30_a_genieus__1_4_2 n30_a_genieus__1_4_1->n30_a_genieus__1_4_1_1 n30_a_genieus__1_4_2_1 NP-GEN n30_a_genieus__1_4_2->n30_a_genieus__1_4_2_1 n30_a_genieus__1_4_2_2 N n30_a_genieus__1_4_2->n30_a_genieus__1_4_2_2 n30_a_genieus__1_4_2_1_1 PRO n30_a_genieus__1_4_2_1->n30_a_genieus__1_4_2_1_1 n30_a_genieus__1_4_2_1_1->n30_a_genieus__1_4_2_1_1_1 n30_a_genieus__1_4_2_2->n30_a_genieus__1_4_2_2_1 n30_a_genieus__1_5->n30_a_genieus__1_5_1 
( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ;{YOUNG_MAN} (PRO you;{you}))
          (MD;_cat_Vi_ can;{can})
          (IP-PPL-CAT (VB;_Tn_ take;{take})
                      (NP-OB1 (NP-GEN;{GENIE} (PRO my;{my}))
                              (N place;{place})))
          (PUNC <hyphen>))
  (ID 30_a_genieus))