Context                Previous, Next                Top


26_a_dick_1952
Everything was silent, dead.

%3 r_0026_0001__Everything_quant Everything [quant] r_0026_0002__was was r_0026_0001__Everything_quant->r_0026_0002__was [scope] z_000_26_a_dick_1952_2 r_0026_0001__Everything_quant->z_000_26_a_dick_1952_2 [restriction] r_0026_0002__was->z_000_26_a_dick_1952_2 [arg0] r_0026_0003__silent silent r_0026_0002__was->r_0026_0003__silent [prd] 
arc(r_0026_0001__Everything_quant, r_0026_0002__was, scope).
arc(r_0026_0001__Everything_quant, z_000_26_a_dick_1952_2, restriction).
arc(r_0026_0002__was, r_0026_0003__silent, prd).
arc(r_0026_0002__was, z_000_26_a_dick_1952_2, arg0).


%3 r_0026_0002__was was z_000_26_a_dick_1952_2 r_0026_0002__was->z_000_26_a_dick_1952_2 [arg0] r_0026_0003__silent silent r_0026_0002__was->r_0026_0003__silent [prd] r_0026_0001__Everything_quant Everything [quant] r_0026_0001__Everything_quant->r_0026_0002__was [scope] r_0026_0001__Everything_quant->z_000_26_a_dick_1952_2 [restriction] 
fof(formula,axiom,
    ! [Z_26_A_DICK_1952_2] :
      ( true
     => ? [R_26_2_WAS,R_26_3_SILENT] :
          ( silent(R_26_3_SILENT)
          & was(R_26_2_WAS,Z_26_A_DICK_1952_2,R_26_3_SILENT) ) ) ).


n26_a_dick_1952 n26_a_dick_1952__1_1_1_1 Everything n26_a_dick_1952__1_2_1 was n26_a_dick_1952__1_3_1_1 silent n26_a_dick_1952__1_3_2_1 , n26_a_dick_1952__1_3_3_1_1_1 dead n26_a_dick_1952__1_4_1 . n26_a_dick_1952__1 IP-MAT n26_a_dick_1952__1_1 NP-SBJ n26_a_dick_1952__1->n26_a_dick_1952__1_1 n26_a_dick_1952__1_2 BED;_La_ n26_a_dick_1952__1->n26_a_dick_1952__1_2 n26_a_dick_1952__1_3 ADJP-PRD n26_a_dick_1952__1->n26_a_dick_1952__1_3 n26_a_dick_1952__1_4 PUNC n26_a_dick_1952__1->n26_a_dick_1952__1_4 n26_a_dick_1952__1_1_1 Q;_nphd_ n26_a_dick_1952__1_1->n26_a_dick_1952__1_1_1 n26_a_dick_1952__1_1_1->n26_a_dick_1952__1_1_1_1 n26_a_dick_1952__1_2->n26_a_dick_1952__1_2_1 n26_a_dick_1952__1_3_1 ADJ n26_a_dick_1952__1_3->n26_a_dick_1952__1_3_1 n26_a_dick_1952__1_3_2 PUNC n26_a_dick_1952__1_3->n26_a_dick_1952__1_3_2 n26_a_dick_1952__1_3_3 PRN n26_a_dick_1952__1_3->n26_a_dick_1952__1_3_3 n26_a_dick_1952__1_3_1->n26_a_dick_1952__1_3_1_1 n26_a_dick_1952__1_3_2->n26_a_dick_1952__1_3_2_1 n26_a_dick_1952__1_3_3_1 ADJP n26_a_dick_1952__1_3_3->n26_a_dick_1952__1_3_3_1 n26_a_dick_1952__1_3_3_1_1 ADJ n26_a_dick_1952__1_3_3_1->n26_a_dick_1952__1_3_3_1_1 n26_a_dick_1952__1_3_3_1_1->n26_a_dick_1952__1_3_3_1_1_1 n26_a_dick_1952__1_4->n26_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ (Q;_nphd_ Everything;{everything}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJ silent;{silent})
                    (PUNC ,)
                    (PRN (ADJP (ADJ dead;{dead}))))
          (PUNC .))
  (ID 26_a_dick_1952))