Context                Previous, Next                Top


157_a_wilde_1_1888
Now I can finish my play,”

%3 r_0157_0003__can can r_0157_0001__Now Now r_0157_0003__can->r_0157_0001__Now [nim] r_0157_0004__finish finish r_0157_0003__can->r_0157_0004__finish [scope] r_0157_0002__I I r_0157_0004__finish->r_0157_0002__I [arg0] r_0157_0006__play play r_0157_0004__finish->r_0157_0006__play [arg1] r_0157_0006__play->r_0157_0002__I [gen] 
arc(r_0157_0003__can, r_0157_0001__Now, nim2).
arc(r_0157_0003__can, r_0157_0004__finish, scope).
arc(r_0157_0004__finish, r_0157_0002__I, arg0).
arc(r_0157_0004__finish, r_0157_0006__play, arg1).
arc(r_0157_0006__play, r_0157_0002__I, gen).


%3 r_0157_0006__play play r_0157_0002__I I r_0157_0006__play->r_0157_0002__I [gen] r_0157_0003__can_r_0157_0004__finish can finish r_0157_0003__can_r_0157_0004__finish->r_0157_0006__play [arg1] r_0157_0003__can_r_0157_0004__finish->r_0157_0002__I [arg0] r_0157_0001__Now Now r_0157_0003__can_r_0157_0004__finish->r_0157_0001__Now [nim] 
fof(formula,axiom,
    ? [R_157_3_CAN_FINISH,R_157_6_PLAY,R_157_2_I,R_157_1_NOW] :
      ( i(R_157_2_I)
      & now(R_157_1_NOW)
      & can_finish(R_157_3_CAN_FINISH,R_157_2_I,R_157_6_PLAY)
      & play(R_157_6_PLAY)
      & gen(R_157_6_PLAY,R_157_2_I)
      & nim2(R_157_3_CAN_FINISH,R_157_1_NOW) ) ).


n157_a_wilde_1_1888 n157_a_wilde_1_1888__1_1_1_1 Now n157_a_wilde_1_1888__1_2_1_1 I n157_a_wilde_1_1888__1_3_1 can n157_a_wilde_1_1888__1_4_1_1 finish n157_a_wilde_1_1888__1_4_2_1_1_1 my n157_a_wilde_1_1888__1_4_2_2_1 play n157_a_wilde_1_1888__1_5_1 , n157_a_wilde_1_1888__1_6_1 <rdquo> n157_a_wilde_1_1888__1 IP-MAT n157_a_wilde_1_1888__1_1 ADVP-NIM n157_a_wilde_1_1888__1->n157_a_wilde_1_1888__1_1 n157_a_wilde_1_1888__1_2 NP-SBJ n157_a_wilde_1_1888__1->n157_a_wilde_1_1888__1_2 n157_a_wilde_1_1888__1_3 MD;_cat_Vi_ n157_a_wilde_1_1888__1->n157_a_wilde_1_1888__1_3 n157_a_wilde_1_1888__1_4 IP-INF-CAT n157_a_wilde_1_1888__1->n157_a_wilde_1_1888__1_4 n157_a_wilde_1_1888__1_5 PUNC n157_a_wilde_1_1888__1->n157_a_wilde_1_1888__1_5 n157_a_wilde_1_1888__1_6 PURQ n157_a_wilde_1_1888__1->n157_a_wilde_1_1888__1_6 n157_a_wilde_1_1888__1_1_1 ADV n157_a_wilde_1_1888__1_1->n157_a_wilde_1_1888__1_1_1 n157_a_wilde_1_1888__1_1_1->n157_a_wilde_1_1888__1_1_1_1 n157_a_wilde_1_1888__1_2_1 PRO n157_a_wilde_1_1888__1_2->n157_a_wilde_1_1888__1_2_1 n157_a_wilde_1_1888__1_2_1->n157_a_wilde_1_1888__1_2_1_1 n157_a_wilde_1_1888__1_3->n157_a_wilde_1_1888__1_3_1 n157_a_wilde_1_1888__1_4_1 VB;_Tn_ n157_a_wilde_1_1888__1_4->n157_a_wilde_1_1888__1_4_1 n157_a_wilde_1_1888__1_4_2 NP-OB1 n157_a_wilde_1_1888__1_4->n157_a_wilde_1_1888__1_4_2 n157_a_wilde_1_1888__1_4_1->n157_a_wilde_1_1888__1_4_1_1 n157_a_wilde_1_1888__1_4_2_1 NP-GEN n157_a_wilde_1_1888__1_4_2->n157_a_wilde_1_1888__1_4_2_1 n157_a_wilde_1_1888__1_4_2_2 N n157_a_wilde_1_1888__1_4_2->n157_a_wilde_1_1888__1_4_2_2 n157_a_wilde_1_1888__1_4_2_1_1 PRO;_genm_ n157_a_wilde_1_1888__1_4_2_1->n157_a_wilde_1_1888__1_4_2_1_1 n157_a_wilde_1_1888__1_4_2_1_1->n157_a_wilde_1_1888__1_4_2_1_1_1 n157_a_wilde_1_1888__1_4_2_2->n157_a_wilde_1_1888__1_4_2_2_1 n157_a_wilde_1_1888__1_5->n157_a_wilde_1_1888__1_5_1 n157_a_wilde_1_1888__1_6->n157_a_wilde_1_1888__1_6_1 
( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (NP-SBJ;{WRITER} (PRO I;{I}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;_Tn_ finish;{finish})
                      (NP-OB1 (NP-GEN;{WRITER} (PRO;_genm_ my;{my}))
                              (N play;{play})))
          (PUNC ,)
          (PURQ <rdquo>))
  (ID 157_a_wilde_1_1888))