Context                Previous, Next                Top


456_a_dick_1952
Dust lay everywhere, on everything, inches thick.

n456_a_dick_1952 n456_a_dick_1952__1_1_1_1 Dust n456_a_dick_1952__1_2_1 lay n456_a_dick_1952__1_3_1_1 everywhere n456_a_dick_1952__1_4_1 , n456_a_dick_1952__1_5_1_1 on n456_a_dick_1952__1_5_2_1_1 everything n456_a_dick_1952__1_6_1 , n456_a_dick_1952__1_7_1_1_1 inches n456_a_dick_1952__1_7_2_1 thick n456_a_dick_1952__1_8_1 . n456_a_dick_1952__1 IP-MAT n456_a_dick_1952__1_1 NP-SBJ n456_a_dick_1952__1->n456_a_dick_1952__1_1 n456_a_dick_1952__1_2 VBD;_I_ n456_a_dick_1952__1->n456_a_dick_1952__1_2 n456_a_dick_1952__1_3 ADVP-NIM n456_a_dick_1952__1->n456_a_dick_1952__1_3 n456_a_dick_1952__1_4 PUNC n456_a_dick_1952__1->n456_a_dick_1952__1_4 n456_a_dick_1952__1_5 PP-NIM n456_a_dick_1952__1->n456_a_dick_1952__1_5 n456_a_dick_1952__1_6 PUNC n456_a_dick_1952__1->n456_a_dick_1952__1_6 n456_a_dick_1952__1_7 ADJP-NIM n456_a_dick_1952__1->n456_a_dick_1952__1_7 n456_a_dick_1952__1_8 PUNC n456_a_dick_1952__1->n456_a_dick_1952__1_8 n456_a_dick_1952__1_1_1 N n456_a_dick_1952__1_1->n456_a_dick_1952__1_1_1 n456_a_dick_1952__1_1_1->n456_a_dick_1952__1_1_1_1 n456_a_dick_1952__1_2->n456_a_dick_1952__1_2_1 n456_a_dick_1952__1_3_1 ADV n456_a_dick_1952__1_3->n456_a_dick_1952__1_3_1 n456_a_dick_1952__1_3_1->n456_a_dick_1952__1_3_1_1 n456_a_dick_1952__1_4->n456_a_dick_1952__1_4_1 n456_a_dick_1952__1_5_1 P-ROLE n456_a_dick_1952__1_5->n456_a_dick_1952__1_5_1 n456_a_dick_1952__1_5_2 NP n456_a_dick_1952__1_5->n456_a_dick_1952__1_5_2 n456_a_dick_1952__1_5_1->n456_a_dick_1952__1_5_1_1 n456_a_dick_1952__1_5_2_1 Q;_nphd_ n456_a_dick_1952__1_5_2->n456_a_dick_1952__1_5_2_1 n456_a_dick_1952__1_5_2_1->n456_a_dick_1952__1_5_2_1_1 n456_a_dick_1952__1_6->n456_a_dick_1952__1_6_1 n456_a_dick_1952__1_7_1 NP n456_a_dick_1952__1_7->n456_a_dick_1952__1_7_1 n456_a_dick_1952__1_7_2 ADJ n456_a_dick_1952__1_7->n456_a_dick_1952__1_7_2 n456_a_dick_1952__1_7_1_1 NS n456_a_dick_1952__1_7_1->n456_a_dick_1952__1_7_1_1 n456_a_dick_1952__1_7_1_1->n456_a_dick_1952__1_7_1_1_1 n456_a_dick_1952__1_7_2->n456_a_dick_1952__1_7_2_1 n456_a_dick_1952__1_8->n456_a_dick_1952__1_8_1 
( (IP-MAT (NP-SBJ (N Dust;{dust}))
          (VBD;_I_ lay;{lie})
          (ADVP-NIM (ADV everywhere;{everywhere}))
          (PUNC ,)
          (PP-NIM (P-ROLE on;{on})
                  (NP (Q;_nphd_ everything;{everything})))
          (PUNC ,)
          (ADJP-NIM (NP (NS inches;{inch}))
                    (ADJ thick;{thick}))
          (PUNC .))
  (ID 456_a_dick_1952))


%3 r_0456_0009__thick thick r_0456_0008__inches inches r_0456_0009__thick->r_0456_0008__inches [nim] r_0456_0006__everything__quant everything [quant] z_0456_5006 r_0456_0006__everything__quant->z_0456_5006 [restriction] r_0456_0002__lay lay r_0456_0006__everything__quant->r_0456_0002__lay [scope] r_0456_0002__lay->r_0456_0009__thick [nim] r_0456_0002__lay->z_0456_5006 on [nim] r_0456_0003__everywhere everywhere r_0456_0002__lay->r_0456_0003__everywhere [nim] r_0456_0001__Dust Dust r_0456_0002__lay->r_0456_0001__Dust [arg0] 
arc(r_0456_0002__lay,r_0456_0001__Dust,arg0).
arc(r_0456_0002__lay,r_0456_0003__everywhere,nim).
arc(r_0456_0002__lay,r_0456_0009__thick,nim).
arc(r_0456_0002__lay,z_0456_5006,r_0456_0005__on__nim).
arc(r_0456_0006__everything__quant,r_0456_0002__lay,scope).
arc(r_0456_0006__everything__quant,z_0456_5006,restriction).
arc(r_0456_0009__thick,r_0456_0008__inches,nim).


%3 r_0456_0002__lay lay r_0456_0001__Dust Dust r_0456_0002__lay->r_0456_0001__Dust [arg0] r_0456_0003__everywhere everywhere r_0456_0002__lay->r_0456_0003__everywhere [nim] r_0456_0009__thick thick r_0456_0002__lay->r_0456_0009__thick [nim] z_0456_5006 r_0456_0002__lay->z_0456_5006 on [nim] r_0456_0008__inches inches r_0456_0009__thick->r_0456_0008__inches [nim] r_0456_0006__everything__quant everything [quant] r_0456_0006__everything__quant->r_0456_0002__lay [scope] r_0456_0006__everything__quant->z_0456_5006 [restriction] 
fof(formula,axiom,
    ! [Z_0456_5006] :
      ( z_0456_5006(Z_0456_5006)
     => ? [R_0456_0001__DUST,R_0456_0003__EVERYWHERE,R_0456_0008__INCHES,R_0456_0009__THICK,R_0456_0002__LAY] :
          ( r_0456_0001__Dust(R_0456_0001__DUST)
          & r_0456_0003__everywhere(R_0456_0003__EVERYWHERE)
          & r_0456_0008__inches(R_0456_0008__INCHES)
          & r_0456_0002__lay(R_0456_0002__LAY)
          & has_r_0456_0005__on__nim(R_0456_0002__LAY,Z_0456_5006)
          & has_nim(R_0456_0002__LAY,R_0456_0009__THICK)
          & r_0456_0009__thick(R_0456_0009__THICK)
          & has_nim(R_0456_0009__THICK,R_0456_0008__INCHES)
          & has_nim(R_0456_0002__LAY,R_0456_0003__EVERYWHERE)
          & has_arg0(R_0456_0002__LAY,R_0456_0001__DUST) ) ) ).