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_0002__is is z_000_354_a_dick_1952_2 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] r_0354_0001__Everyone_quant Everyone [quant] r_0354_0001__Everyone_quant->r_0354_0002__is [scope] r_0354_0001__Everyone_quant->z_000_354_a_dick_1952_2 [restriction] 
fof(formula,axiom,
    ! [Z_000_354_A_DICK_1952_2] :
      ( z_000_354_a_dick_1952_2(Z_000_354_A_DICK_1952_2)
     => ? [R_0354_0003__DEAD,R_0354_0002__IS] :
          ( r_0354_0003__dead(R_0354_0003__DEAD)
          & r_0354_0002__is(R_0354_0002__IS)
          & has_arg0(R_0354_0002__IS,Z_000_354_A_DICK_1952_2)
          & has_prd(R_0354_0002__IS,R_0354_0003__DEAD) ) ) ).


n354_a_dick_1952 n354_a_dick_1952__1_1_1_1 Everyone n354_a_dick_1952__1_2_1 is n354_a_dick_1952__1_3_1_1 dead n354_a_dick_1952__1_4_1 . n354_a_dick_1952__1_5_1 <rdquo> n354_a_dick_1952__1 IP-MAT n354_a_dick_1952__1_1 NP-SBJ n354_a_dick_1952__1->n354_a_dick_1952__1_1 n354_a_dick_1952__1_2 BEP;_La_ n354_a_dick_1952__1->n354_a_dick_1952__1_2 n354_a_dick_1952__1_3 ADJP-PRD n354_a_dick_1952__1->n354_a_dick_1952__1_3 n354_a_dick_1952__1_4 PUNC n354_a_dick_1952__1->n354_a_dick_1952__1_4 n354_a_dick_1952__1_5 PURQ n354_a_dick_1952__1->n354_a_dick_1952__1_5 n354_a_dick_1952__1_1_1 Q;_nphd_ n354_a_dick_1952__1_1->n354_a_dick_1952__1_1_1 n354_a_dick_1952__1_1_1->n354_a_dick_1952__1_1_1_1 n354_a_dick_1952__1_2->n354_a_dick_1952__1_2_1 n354_a_dick_1952__1_3_1 ADJ n354_a_dick_1952__1_3->n354_a_dick_1952__1_3_1 n354_a_dick_1952__1_3_1->n354_a_dick_1952__1_3_1_1 n354_a_dick_1952__1_4->n354_a_dick_1952__1_4_1 n354_a_dick_1952__1_5->n354_a_dick_1952__1_5_1 
( (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))