Context                Previous, Next                Top


584_a_dick_1952
Nothing.”

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


%3 z_0584_5006 z_0584_5005 z_0584_5006->z_0584_5005 r_0584_0001__Nothing__quant Nothing [quant] r_0584_0001__Nothing__quant->z_0584_5006 [scope] r_0584_0001__Nothing__quant->z_0584_5005 [restriction] 
arc(r_0584_0001__Nothing__quant,z_0584_5005,restriction).
arc(r_0584_0001__Nothing__quant,z_0584_5006,scope).
arc(z_0584_5006,z_0584_5005,z_0584_5002).


%3 r_0584_0001__Nothing__quant Nothing [quant] z_0584_5005 r_0584_0001__Nothing__quant->z_0584_5005 [restriction] z_0584_5006 r_0584_0001__Nothing__quant->z_0584_5006 [scope] z_0584_5006->z_0584_5005 
fof(formula,axiom,
    ! [Z_0584_5005] :
      ( z_0584_5005(Z_0584_5005)
     => ? [Z_0584_5006] :
          ( z_0584_5006(Z_0584_5006)
          & has_z_0584_5002(Z_0584_5006,Z_0584_5005) ) ) ).