Context                Previous, Next                Top


107_a_ted_talk_11
And put the pencil down.”

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))


%3 r_0107_0002__put_r_0107_0005__down put down z_0107_5002 r_0107_0002__put_r_0107_0005__down->z_0107_5002 [arg0] r_0107_0003__the_r_0107_0004__pencil the pencil r_0107_0002__put_r_0107_0005__down->r_0107_0003__the_r_0107_0004__pencil [arg1] 
arc(r_0107_0002__put_r_0107_0005__down,r_0107_0003__the_r_0107_0004__pencil,arg1).
arc(r_0107_0002__put_r_0107_0005__down,z_0107_5002,arg0).


%3 r_0107_0002__put_r_0107_0005__down put down r_0107_0003__the_r_0107_0004__pencil the pencil r_0107_0002__put_r_0107_0005__down->r_0107_0003__the_r_0107_0004__pencil [arg1] z_0107_5002 r_0107_0002__put_r_0107_0005__down->z_0107_5002 [arg0] 
fof(formula,axiom,
    ? [R_0107_0003__THE_R_0107_0004__PENCIL,Z_0107_5002,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_0107_5002(Z_0107_5002)
      & r_0107_0002__put_r_0107_0005__down(R_0107_0002__PUT_R_0107_0005__DOWN)
      & has_arg0(R_0107_0002__PUT_R_0107_0005__DOWN,Z_0107_5002)
      & has_arg1(R_0107_0002__PUT_R_0107_0005__DOWN,R_0107_0003__THE_R_0107_0004__PENCIL) ) ).