Context                Previous, Next                Top


3_a_dick_1952
Everything was silent, dead.

%3 r_0003_0001__Everything_quant Everything [quant] r_0003_0002__was was r_0003_0001__Everything_quant->r_0003_0002__was [scope] z_000_3_a_dick_1952_2 r_0003_0001__Everything_quant->z_000_3_a_dick_1952_2 [restriction] r_0003_0002__was->z_000_3_a_dick_1952_2 [arg0] z_000_3_a_dick_1952_8 r_0003_0002__was->z_000_3_a_dick_1952_8 [prd] r_0003_0003__silent silent z_000_3_a_dick_1952_8->r_0003_0003__silent [conj1] r_0003_0005__dead dead z_000_3_a_dick_1952_8->r_0003_0005__dead [conj2] 
arc(r_0003_0001__Everything_quant, r_0003_0002__was, scope).
arc(r_0003_0001__Everything_quant, z_000_3_a_dick_1952_2, restriction).
arc(r_0003_0002__was, z_000_3_a_dick_1952_2, arg0).
arc(r_0003_0002__was, z_000_3_a_dick_1952_8, prd).
arc(z_000_3_a_dick_1952_8, r_0003_0003__silent, conj1).
arc(z_000_3_a_dick_1952_8, r_0003_0005__dead, conj2).


%3 r_0003_0001__Everything_quant Everything [quant] r_0003_0002__was was r_0003_0001__Everything_quant->r_0003_0002__was [scope] z_000_3_a_dick_1952_2 r_0003_0001__Everything_quant->z_000_3_a_dick_1952_2 [restriction] r_0003_0002__was->z_000_3_a_dick_1952_2 [arg0] z_000_3_a_dick_1952_8 r_0003_0002__was->z_000_3_a_dick_1952_8 [prd] r_0003_0003__silent silent z_000_3_a_dick_1952_8->r_0003_0003__silent [conj1] r_0003_0005__dead dead z_000_3_a_dick_1952_8->r_0003_0005__dead [conj2] 
fof(formula,axiom,
    ! [Z_3_A_DICK_1952_2] :
      ( true
     => ? [R_3_2_WAS,Z_3_A_DICK_1952_8,R_3_3_SILENT,R_3_5_DEAD] :
          ( silent(R_3_3_SILENT)
          & dead(R_3_5_DEAD)
          & was(R_3_2_WAS,Z_3_A_DICK_1952_2,Z_3_A_DICK_1952_8)
          & z_3_a_dick_1952_8(Z_3_A_DICK_1952_8)
          & conj1(Z_3_A_DICK_1952_8,R_3_3_SILENT)
          & conj2(Z_3_A_DICK_1952_8,R_3_5_DEAD) ) ) ).


n3_a_dick_1952 n3_a_dick_1952_4 Everything n3_a_dick_1952_6 was n3_a_dick_1952_11 silent n3_a_dick_1952_13 , n3_a_dick_1952_17 dead n3_a_dick_1952_19 . n3_a_dick_1952_1 IP-MAT n3_a_dick_1952_2 NP-SBJ n3_a_dick_1952_1->n3_a_dick_1952_2 n3_a_dick_1952_5 BED;_La_ n3_a_dick_1952_1->n3_a_dick_1952_5 n3_a_dick_1952_7 ADJP-PRD n3_a_dick_1952_1->n3_a_dick_1952_7 n3_a_dick_1952_18 PUNC n3_a_dick_1952_1->n3_a_dick_1952_18 n3_a_dick_1952_3 Q;_nphd_ n3_a_dick_1952_2->n3_a_dick_1952_3 n3_a_dick_1952_3->n3_a_dick_1952_4 n3_a_dick_1952_5->n3_a_dick_1952_6 n3_a_dick_1952_8 AJLYR n3_a_dick_1952_7->n3_a_dick_1952_8 n3_a_dick_1952_9 AJLYR n3_a_dick_1952_8->n3_a_dick_1952_9 n3_a_dick_1952_12 PUNC n3_a_dick_1952_8->n3_a_dick_1952_12 n3_a_dick_1952_14 CONJP n3_a_dick_1952_8->n3_a_dick_1952_14 n3_a_dick_1952_10 ADJ n3_a_dick_1952_9->n3_a_dick_1952_10 n3_a_dick_1952_10->n3_a_dick_1952_11 n3_a_dick_1952_12->n3_a_dick_1952_13 n3_a_dick_1952_15 AJLYR n3_a_dick_1952_14->n3_a_dick_1952_15 n3_a_dick_1952_16 ADJ n3_a_dick_1952_15->n3_a_dick_1952_16 n3_a_dick_1952_16->n3_a_dick_1952_17 n3_a_dick_1952_18->n3_a_dick_1952_19 
( (IP-MAT (NP-SBJ (Q;_nphd_ Everything;{everything}))
          (BED;_La_ was;{be})
          (ADJP-PRD (AJLYR (AJLYR (ADJ silent;{silent}))
                           (PUNC ,)
                           (CONJP (AJLYR (ADJ dead;{dead})))))
          (PUNC .))
  (ID 3_a_dick_1952))