Context                Previous, Next                Top


519_a_dick_1952
“How?”

%3 z_000_519_a_dick_1952_1 r_0519_0002__How How z_000_519_a_dick_1952_1->r_0519_0002__How [nim] 
arc(z_000_519_a_dick_1952_1, r_0519_0002__How, nim4).


%3 z_000_519_a_dick_1952_1 r_0519_0002__How How z_000_519_a_dick_1952_1->r_0519_0002__How [nim] 
fof(formula,axiom,
    ? [R_0519_0002__HOW,Z_000_519_A_DICK_1952_1] :
      ( r_0519_0002__How(R_0519_0002__HOW)
      & z_000_519_a_dick_1952_1(Z_000_519_A_DICK_1952_1)
      & has_nim4(Z_000_519_A_DICK_1952_1,R_0519_0002__HOW) ) ).


n519_a_dick_1952 n519_a_dick_1952__1_1_1 <ldquo> n519_a_dick_1952__1_2_1_1 How n519_a_dick_1952__1_3_1 ? n519_a_dick_1952__1_4_1 <rdquo> n519_a_dick_1952__1 FRAG n519_a_dick_1952__1_1 PULQ n519_a_dick_1952__1->n519_a_dick_1952__1_1 n519_a_dick_1952__1_2 ADVP-NIM n519_a_dick_1952__1->n519_a_dick_1952__1_2 n519_a_dick_1952__1_3 PUNC n519_a_dick_1952__1->n519_a_dick_1952__1_3 n519_a_dick_1952__1_4 PURQ n519_a_dick_1952__1->n519_a_dick_1952__1_4 n519_a_dick_1952__1_1->n519_a_dick_1952__1_1_1 n519_a_dick_1952__1_2_1 WADV n519_a_dick_1952__1_2->n519_a_dick_1952__1_2_1 n519_a_dick_1952__1_2_1->n519_a_dick_1952__1_2_1_1 n519_a_dick_1952__1_3->n519_a_dick_1952__1_3_1 n519_a_dick_1952__1_4->n519_a_dick_1952__1_4_1 
( (FRAG (PULQ <ldquo>)
        (ADVP-NIM (WADV How;{how}))
        (PUNC ?)
        (PURQ <rdquo>))
  (ID 519_a_dick_1952))