Context                Previous, Next                Top


107_a_ted_talk_11
And put the pencil down.”

%3 r_0107_0001__And_r_0107_0002__put_r_0107_0005__down And put down r_0107_0003__the_r_0107_0004__pencil the pencil r_0107_0001__And_r_0107_0002__put_r_0107_0005__down->r_0107_0003__the_r_0107_0004__pencil [arg1] z_000_107_a_ted_talk_11_1 r_0107_0001__And_r_0107_0002__put_r_0107_0005__down->z_000_107_a_ted_talk_11_1 [arg0] 
arc(r_0107_0001__And_r_0107_0002__put_r_0107_0005__down, r_0107_0003__the_r_0107_0004__pencil, arg1).
arc(r_0107_0001__And_r_0107_0002__put_r_0107_0005__down, z_000_107_a_ted_talk_11_1, arg0).


%3 r_0107_0001__And_r_0107_0002__put_r_0107_0005__down And put down z_000_107_a_ted_talk_11_1 r_0107_0001__And_r_0107_0002__put_r_0107_0005__down->z_000_107_a_ted_talk_11_1 [arg0] r_0107_0003__the_r_0107_0004__pencil the pencil r_0107_0001__And_r_0107_0002__put_r_0107_0005__down->r_0107_0003__the_r_0107_0004__pencil [arg1] 
fof(formula,axiom,
    ? [R_0107_0003__THE_R_0107_0004__PENCIL,Z_000_107_A_TED_TALK_11_1,R_0107_0001__AND_R_0107_0002__PUT_R_0107_0005__DOWN] :
      ( r_0107_0003__the_r_0107_0004__pencil(R_0107_0003__THE_R_0107_0004__PENCIL)
      & z_000_107_a_ted_talk_11_1(Z_000_107_A_TED_TALK_11_1)
      & r_0107_0001__And_r_0107_0002__put_r_0107_0005__down(R_0107_0001__AND_R_0107_0002__PUT_R_0107_0005__DOWN)
      & has_arg0(R_0107_0001__AND_R_0107_0002__PUT_R_0107_0005__DOWN,Z_000_107_A_TED_TALK_11_1)
      & has_arg1(R_0107_0001__AND_R_0107_0002__PUT_R_0107_0005__DOWN,R_0107_0003__THE_R_0107_0004__PENCIL) ) ).


n107_a_ted_talk_11 n107_a_ted_talk_11__1_1_1 And n107_a_ted_talk_11__1_2_1 put n107_a_ted_talk_11__1_3_1_1 the n107_a_ted_talk_11__1_3_2_1 pencil n107_a_ted_talk_11__1_4_1 down n107_a_ted_talk_11__1_5_1 . n107_a_ted_talk_11__1_6_1 <rdquo> n107_a_ted_talk_11__1 IP-IMP n107_a_ted_talk_11__1_1 CONJ;_cl_ n107_a_ted_talk_11__1->n107_a_ted_talk_11__1_1 n107_a_ted_talk_11__1_2 VB;_phr_Vn<=>p_ n107_a_ted_talk_11__1->n107_a_ted_talk_11__1_2 n107_a_ted_talk_11__1_3 NP-OB1 n107_a_ted_talk_11__1->n107_a_ted_talk_11__1_3 n107_a_ted_talk_11__1_4 RP n107_a_ted_talk_11__1->n107_a_ted_talk_11__1_4 n107_a_ted_talk_11__1_5 PUNC n107_a_ted_talk_11__1->n107_a_ted_talk_11__1_5 n107_a_ted_talk_11__1_6 PURQ n107_a_ted_talk_11__1->n107_a_ted_talk_11__1_6 n107_a_ted_talk_11__1_1->n107_a_ted_talk_11__1_1_1 n107_a_ted_talk_11__1_2->n107_a_ted_talk_11__1_2_1 n107_a_ted_talk_11__1_3_1 D n107_a_ted_talk_11__1_3->n107_a_ted_talk_11__1_3_1 n107_a_ted_talk_11__1_3_2 N n107_a_ted_talk_11__1_3->n107_a_ted_talk_11__1_3_2 n107_a_ted_talk_11__1_3_1->n107_a_ted_talk_11__1_3_1_1 n107_a_ted_talk_11__1_3_2->n107_a_ted_talk_11__1_3_2_1 n107_a_ted_talk_11__1_4->n107_a_ted_talk_11__1_4_1 n107_a_ted_talk_11__1_5->n107_a_ted_talk_11__1_5_1 n107_a_ted_talk_11__1_6->n107_a_ted_talk_11__1_6_1 
( (IP-IMP (CONJ;_cl_ And;{and})
          (VB;_phr_Vn<=>p_ put;{put[down]})
          (NP-OB1 (D the;{the})
                  (N pencil;{pencil}))
          (RP down;{down})
          (PUNC .)
          (PURQ <rdquo>))
  (ID 107_a_ted_talk_11))