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 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] 
fof(formula,axiom,
    ! [Z_584_A_DICK_1952_2] :
      ( true
     => ? [Z_584_A_DICK_1952_1] :
          ( z_584_a_dick_1952_1(Z_584_A_DICK_1952_1)
          & nim2(Z_584_A_DICK_1952_1,Z_584_A_DICK_1952_2) ) ) ).


n584_a_dick_1952 n584_a_dick_1952_4 Nothing n584_a_dick_1952_6 . n584_a_dick_1952_8 <rdquo> n584_a_dick_1952_1 FRAG n584_a_dick_1952_2 NP n584_a_dick_1952_1->n584_a_dick_1952_2 n584_a_dick_1952_5 PUNC n584_a_dick_1952_1->n584_a_dick_1952_5 n584_a_dick_1952_7 PURQ n584_a_dick_1952_1->n584_a_dick_1952_7 n584_a_dick_1952_3 Q;_nphd_ n584_a_dick_1952_2->n584_a_dick_1952_3 n584_a_dick_1952_3->n584_a_dick_1952_4 n584_a_dick_1952_5->n584_a_dick_1952_6 n584_a_dick_1952_7->n584_a_dick_1952_8 
( (FRAG (NP (Q;_nphd_ Nothing;{nothing}))
        (PUNC .)
        (PURQ <rdquo>))
  (ID 584_a_dick_1952))