Context                Previous, Next                Top


229_a_dick_1952
“Wait.

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


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


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