Context                Previous, Next                Top


229_a_dick_1952
“Wait.

n229_a_dick_1952 n229_a_dick_1952__1_1_1 <ldquo> n229_a_dick_1952__1_2_1 Wait n229_a_dick_1952__1_3_1 . n229_a_dick_1952__1 IP-IMP n229_a_dick_1952__1_1 PULQ n229_a_dick_1952__1->n229_a_dick_1952__1_1 n229_a_dick_1952__1_2 VB;_I_ n229_a_dick_1952__1->n229_a_dick_1952__1_2 n229_a_dick_1952__1_3 PUNC n229_a_dick_1952__1->n229_a_dick_1952__1_3 n229_a_dick_1952__1_1->n229_a_dick_1952__1_1_1 n229_a_dick_1952__1_2->n229_a_dick_1952__1_2_1 n229_a_dick_1952__1_3->n229_a_dick_1952__1_3_1 
( (IP-IMP (PULQ <ldquo>)
          (VB;_I_ Wait;{wait})
          (PUNC .))
  (ID 229_a_dick_1952))


%3 r_0229_0002__Wait Wait z_0229_5002 r_0229_0002__Wait->z_0229_5002 [arg0] 
arc(r_0229_0002__Wait,z_0229_5002,arg0).


%3 r_0229_0002__Wait Wait z_0229_5002 r_0229_0002__Wait->z_0229_5002 [arg0] 
fof(formula,axiom,
    ? [Z_0229_5002,R_0229_0002__WAIT] :
      ( z_0229_5002(Z_0229_5002)
      & r_0229_0002__Wait(R_0229_0002__WAIT)
      & has_arg0(R_0229_0002__WAIT,Z_0229_5002) ) ).