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_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] 
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_4 Everything n26_a_dick_1952_6 was n26_a_dick_1952_9 silent n26_a_dick_1952_11 , n26_a_dick_1952_15 dead n26_a_dick_1952_17 . n26_a_dick_1952_1 IP-MAT n26_a_dick_1952_2 NP-SBJ n26_a_dick_1952_1->n26_a_dick_1952_2 n26_a_dick_1952_5 BED;_La_ n26_a_dick_1952_1->n26_a_dick_1952_5 n26_a_dick_1952_7 ADJP-PRD n26_a_dick_1952_1->n26_a_dick_1952_7 n26_a_dick_1952_16 PUNC n26_a_dick_1952_1->n26_a_dick_1952_16 n26_a_dick_1952_3 Q;_nphd_ n26_a_dick_1952_2->n26_a_dick_1952_3 n26_a_dick_1952_3->n26_a_dick_1952_4 n26_a_dick_1952_5->n26_a_dick_1952_6 n26_a_dick_1952_8 ADJ n26_a_dick_1952_7->n26_a_dick_1952_8 n26_a_dick_1952_10 PUNC n26_a_dick_1952_7->n26_a_dick_1952_10 n26_a_dick_1952_12 PRN n26_a_dick_1952_7->n26_a_dick_1952_12 n26_a_dick_1952_8->n26_a_dick_1952_9 n26_a_dick_1952_10->n26_a_dick_1952_11 n26_a_dick_1952_13 ADJP n26_a_dick_1952_12->n26_a_dick_1952_13 n26_a_dick_1952_14 ADJ n26_a_dick_1952_13->n26_a_dick_1952_14 n26_a_dick_1952_14->n26_a_dick_1952_15 n26_a_dick_1952_16->n26_a_dick_1952_17 
( (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))