Context                Previous, Next                Top


584_a_dick_1952
Nothing.”

%3 r_0584_0001__Nothing_quant Nothing [quant] z_000_584_a_dick_1952_1 r_0584_0001__Nothing_quant->z_000_584_a_dick_1952_1 [scope] z_000_584_a_dick_1952_2 r_0584_0001__Nothing_quant->z_000_584_a_dick_1952_2 [restriction] z_000_584_a_dick_1952_1->z_000_584_a_dick_1952_2 [nim] 
arc(r_0584_0001__Nothing_quant, z_000_584_a_dick_1952_1, scope).
arc(r_0584_0001__Nothing_quant, z_000_584_a_dick_1952_2, restriction).
arc(z_000_584_a_dick_1952_1, z_000_584_a_dick_1952_2, nim2).


%3 z_000_584_a_dick_1952_1 z_000_584_a_dick_1952_2 z_000_584_a_dick_1952_1->z_000_584_a_dick_1952_2 [nim] r_0584_0001__Nothing_quant Nothing [quant] r_0584_0001__Nothing_quant->z_000_584_a_dick_1952_1 [scope] r_0584_0001__Nothing_quant->z_000_584_a_dick_1952_2 [restriction] 
fof(formula,axiom,
    ! [Z_000_584_A_DICK_1952_2] :
      ( z_000_584_a_dick_1952_2(Z_000_584_A_DICK_1952_2)
     => ? [Z_000_584_A_DICK_1952_1] :
          ( z_000_584_a_dick_1952_1(Z_000_584_A_DICK_1952_1)
          & has_nim2(Z_000_584_A_DICK_1952_1,Z_000_584_A_DICK_1952_2) ) ) ).


n584_a_dick_1952 n584_a_dick_1952__1_1_1_1 Nothing n584_a_dick_1952__1_2_1 . n584_a_dick_1952__1_3_1 <rdquo> n584_a_dick_1952__1 FRAG n584_a_dick_1952__1_1 NP n584_a_dick_1952__1->n584_a_dick_1952__1_1 n584_a_dick_1952__1_2 PUNC n584_a_dick_1952__1->n584_a_dick_1952__1_2 n584_a_dick_1952__1_3 PURQ n584_a_dick_1952__1->n584_a_dick_1952__1_3 n584_a_dick_1952__1_1_1 Q;_nphd_ n584_a_dick_1952__1_1->n584_a_dick_1952__1_1_1 n584_a_dick_1952__1_1_1->n584_a_dick_1952__1_1_1_1 n584_a_dick_1952__1_2->n584_a_dick_1952__1_2_1 n584_a_dick_1952__1_3->n584_a_dick_1952__1_3_1 
( (FRAG (NP (Q;_nphd_ Nothing;{nothing}))
        (PUNC .)
        (PURQ <rdquo>))
  (ID 584_a_dick_1952))