Context                Previous, Next                Top


435_a_dick_1952
“Give a hand!”

n435_a_dick_1952 n435_a_dick_1952__1_1_1 <ldquo> n435_a_dick_1952__1_2_1 Give n435_a_dick_1952__1_3_1_1 a n435_a_dick_1952__1_3_2_1 hand n435_a_dick_1952__1_4_1 ! n435_a_dick_1952__1_5_1 <rdquo> n435_a_dick_1952__1 IP-IMP n435_a_dick_1952__1_1 PULQ n435_a_dick_1952__1->n435_a_dick_1952__1_1 n435_a_dick_1952__1_2 VB;_Tn_ n435_a_dick_1952__1->n435_a_dick_1952__1_2 n435_a_dick_1952__1_3 NP-OB1 n435_a_dick_1952__1->n435_a_dick_1952__1_3 n435_a_dick_1952__1_4 PUNC n435_a_dick_1952__1->n435_a_dick_1952__1_4 n435_a_dick_1952__1_5 PURQ n435_a_dick_1952__1->n435_a_dick_1952__1_5 n435_a_dick_1952__1_1->n435_a_dick_1952__1_1_1 n435_a_dick_1952__1_2->n435_a_dick_1952__1_2_1 n435_a_dick_1952__1_3_1 D n435_a_dick_1952__1_3->n435_a_dick_1952__1_3_1 n435_a_dick_1952__1_3_2 N n435_a_dick_1952__1_3->n435_a_dick_1952__1_3_2 n435_a_dick_1952__1_3_1->n435_a_dick_1952__1_3_1_1 n435_a_dick_1952__1_3_2->n435_a_dick_1952__1_3_2_1 n435_a_dick_1952__1_4->n435_a_dick_1952__1_4_1 n435_a_dick_1952__1_5->n435_a_dick_1952__1_5_1 
( (IP-IMP (PULQ <ldquo>)
          (VB;_Tn_ Give;{give})
          (NP-OB1 (D a;{a})
                  (N hand;{hand}))
          (PUNC !)
          (PURQ <rdquo>))
  (ID 435_a_dick_1952))


%3 r_0435_0002__Give Give z_0435_5002 r_0435_0002__Give->z_0435_5002 [arg0] r_0435_0003__a_r_0435_0004__hand a hand r_0435_0002__Give->r_0435_0003__a_r_0435_0004__hand [arg1] 
arc(r_0435_0002__Give,r_0435_0003__a_r_0435_0004__hand,arg1).
arc(r_0435_0002__Give,z_0435_5002,arg0).


%3 r_0435_0002__Give Give r_0435_0003__a_r_0435_0004__hand a hand r_0435_0002__Give->r_0435_0003__a_r_0435_0004__hand [arg1] z_0435_5002 r_0435_0002__Give->z_0435_5002 [arg0] 
fof(formula,axiom,
    ? [R_0435_0003__A_R_0435_0004__HAND,Z_0435_5002,R_0435_0002__GIVE] :
      ( r_0435_0003__a_r_0435_0004__hand(R_0435_0003__A_R_0435_0004__HAND)
      & z_0435_5002(Z_0435_5002)
      & r_0435_0002__Give(R_0435_0002__GIVE)
      & has_arg0(R_0435_0002__GIVE,Z_0435_5002)
      & has_arg1(R_0435_0002__GIVE,R_0435_0003__A_R_0435_0004__HAND) ) ).