Context                Previous, Next                Top


354_a_dick_1952
Everyone is dead.”

%3 r_0354_0001__Everyone_quant Everyone [quant] r_0354_0002__is is r_0354_0001__Everyone_quant->r_0354_0002__is [scope] z_000_354_a_dick_1952_2 r_0354_0001__Everyone_quant->z_000_354_a_dick_1952_2 [restriction] r_0354_0002__is->z_000_354_a_dick_1952_2 [arg0] r_0354_0003__dead dead r_0354_0002__is->r_0354_0003__dead [prd] 
arc(r_0354_0001__Everyone_quant, r_0354_0002__is, scope).
arc(r_0354_0001__Everyone_quant, z_000_354_a_dick_1952_2, restriction).
arc(r_0354_0002__is, r_0354_0003__dead, prd).
arc(r_0354_0002__is, z_000_354_a_dick_1952_2, arg0).


%3 r_0354_0001__Everyone_quant Everyone [quant] r_0354_0002__is is r_0354_0001__Everyone_quant->r_0354_0002__is [scope] z_000_354_a_dick_1952_2 r_0354_0001__Everyone_quant->z_000_354_a_dick_1952_2 [restriction] r_0354_0002__is->z_000_354_a_dick_1952_2 [arg0] r_0354_0003__dead dead r_0354_0002__is->r_0354_0003__dead [prd] 
fof(formula,axiom,
    ! [Z_354_A_DICK_1952_2] :
      ( true
     => ? [R_354_2_IS,R_354_3_DEAD] :
          ( dead(R_354_3_DEAD)
          & is(R_354_2_IS,Z_354_A_DICK_1952_2,R_354_3_DEAD) ) ) ).


n354_a_dick_1952 n354_a_dick_1952_4 Everyone n354_a_dick_1952_6 is n354_a_dick_1952_9 dead n354_a_dick_1952_11 . n354_a_dick_1952_13 <rdquo> n354_a_dick_1952_1 IP-MAT n354_a_dick_1952_2 NP-SBJ n354_a_dick_1952_1->n354_a_dick_1952_2 n354_a_dick_1952_5 BEP;_La_ n354_a_dick_1952_1->n354_a_dick_1952_5 n354_a_dick_1952_7 ADJP-PRD n354_a_dick_1952_1->n354_a_dick_1952_7 n354_a_dick_1952_10 PUNC n354_a_dick_1952_1->n354_a_dick_1952_10 n354_a_dick_1952_12 PURQ n354_a_dick_1952_1->n354_a_dick_1952_12 n354_a_dick_1952_3 Q;_nphd_ n354_a_dick_1952_2->n354_a_dick_1952_3 n354_a_dick_1952_3->n354_a_dick_1952_4 n354_a_dick_1952_5->n354_a_dick_1952_6 n354_a_dick_1952_8 ADJ n354_a_dick_1952_7->n354_a_dick_1952_8 n354_a_dick_1952_8->n354_a_dick_1952_9 n354_a_dick_1952_10->n354_a_dick_1952_11 n354_a_dick_1952_12->n354_a_dick_1952_13 
( (IP-MAT (NP-SBJ (Q;_nphd_ Everyone;{everyone}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ dead;{dead}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 354_a_dick_1952))