Context                Previous, Next                Top


278_a_dick_1952
“Wait.”

%3 r_0278_0002__Wait Wait z_000_278_a_dick_1952_1 r_0278_0002__Wait->z_000_278_a_dick_1952_1 [arg0] 
arc(r_0278_0002__Wait, z_000_278_a_dick_1952_1, arg0).


%3 r_0278_0002__Wait Wait z_000_278_a_dick_1952_1 r_0278_0002__Wait->z_000_278_a_dick_1952_1 [arg0] 
fof(formula,axiom,
    ? [Z_000_278_A_DICK_1952_1,R_0278_0002__WAIT] :
      ( z_000_278_a_dick_1952_1(Z_000_278_A_DICK_1952_1)
      & r_0278_0002__Wait(R_0278_0002__WAIT)
      & has_arg0(R_0278_0002__WAIT,Z_000_278_A_DICK_1952_1) ) ).


n278_a_dick_1952 n278_a_dick_1952__1_1_1 <ldquo> n278_a_dick_1952__1_2_1 Wait n278_a_dick_1952__1_3_1 . n278_a_dick_1952__1_4_1 <rdquo> n278_a_dick_1952__1 IP-IMP n278_a_dick_1952__1_1 PULQ n278_a_dick_1952__1->n278_a_dick_1952__1_1 n278_a_dick_1952__1_2 VB;_I_ n278_a_dick_1952__1->n278_a_dick_1952__1_2 n278_a_dick_1952__1_3 PUNC n278_a_dick_1952__1->n278_a_dick_1952__1_3 n278_a_dick_1952__1_4 PURQ n278_a_dick_1952__1->n278_a_dick_1952__1_4 n278_a_dick_1952__1_1->n278_a_dick_1952__1_1_1 n278_a_dick_1952__1_2->n278_a_dick_1952__1_2_1 n278_a_dick_1952__1_3->n278_a_dick_1952__1_3_1 n278_a_dick_1952__1_4->n278_a_dick_1952__1_4_1 
( (IP-IMP (PULQ <ldquo>)
          (VB;_I_ Wait;{wait})
          (PUNC .)
          (PURQ <rdquo>))
  (ID 278_a_dick_1952))