Context                Previous, Next                Top


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

%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 [attrib] z_000_456_a_dick_1952_15 r_0456_0002__lay->z_000_456_a_dick_1952_15 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_000_456_a_dick_1952_15 [restriction] 
arc(r_0456_0002__lay, r_0456_0001__Dust, arg0).
arc(r_0456_0002__lay, r_0456_0003__everywhere, nim7).
arc(r_0456_0002__lay, r_0456_0009__thick, attrib20).
arc(r_0456_0002__lay, z_000_456_a_dick_1952_15, r_0456_0005__on_nim15).
arc(r_0456_0006__everything_quant, r_0456_0002__lay, scope).
arc(r_0456_0006__everything_quant, z_000_456_a_dick_1952_15, restriction).
arc(r_0456_0009__thick, r_0456_0008__inches, nim21).


%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 [attrib] z_000_456_a_dick_1952_15 r_0456_0002__lay->z_000_456_a_dick_1952_15 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_000_456_a_dick_1952_15 [restriction] 
fof(formula,axiom,
    ! [Z_456_A_DICK_1952_15] :
      ( true
     => ? [R_456_2_LAY,R_456_1_DUST,R_456_9_THICK,R_456_8_INCHES,R_456_3_EVERYWHERE] :
          ( dust(R_456_1_DUST)
          & inches(R_456_8_INCHES)
          & everywhere(R_456_3_EVERYWHERE)
          & lay(R_456_2_LAY,R_456_1_DUST)
          & attrib20(R_456_2_LAY,R_456_9_THICK)
          & thick(R_456_9_THICK)
          & nim21(R_456_9_THICK,R_456_8_INCHES)
          & nim7(R_456_2_LAY,R_456_3_EVERYWHERE)
          & on_nim15(R_456_2_LAY,Z_456_A_DICK_1952_15) ) ) ).


n456_a_dick_1952 n456_a_dick_1952_4 Dust n456_a_dick_1952_6 lay n456_a_dick_1952_9 everywhere n456_a_dick_1952_11 , n456_a_dick_1952_14 on n456_a_dick_1952_17 everything n456_a_dick_1952_19 , n456_a_dick_1952_23 inches n456_a_dick_1952_25 thick n456_a_dick_1952_27 . n456_a_dick_1952_1 IP-MAT n456_a_dick_1952_2 NP-SBJ n456_a_dick_1952_1->n456_a_dick_1952_2 n456_a_dick_1952_5 VBD;_I_ n456_a_dick_1952_1->n456_a_dick_1952_5 n456_a_dick_1952_7 ADVP-NIM n456_a_dick_1952_1->n456_a_dick_1952_7 n456_a_dick_1952_10 PUNC n456_a_dick_1952_1->n456_a_dick_1952_10 n456_a_dick_1952_12 PP-NIM n456_a_dick_1952_1->n456_a_dick_1952_12 n456_a_dick_1952_18 PUNC n456_a_dick_1952_1->n456_a_dick_1952_18 n456_a_dick_1952_20 ADJP-NIM n456_a_dick_1952_1->n456_a_dick_1952_20 n456_a_dick_1952_26 PUNC n456_a_dick_1952_1->n456_a_dick_1952_26 n456_a_dick_1952_3 N n456_a_dick_1952_2->n456_a_dick_1952_3 n456_a_dick_1952_3->n456_a_dick_1952_4 n456_a_dick_1952_5->n456_a_dick_1952_6 n456_a_dick_1952_8 ADV n456_a_dick_1952_7->n456_a_dick_1952_8 n456_a_dick_1952_8->n456_a_dick_1952_9 n456_a_dick_1952_10->n456_a_dick_1952_11 n456_a_dick_1952_13 P-ROLE n456_a_dick_1952_12->n456_a_dick_1952_13 n456_a_dick_1952_15 NP n456_a_dick_1952_12->n456_a_dick_1952_15 n456_a_dick_1952_13->n456_a_dick_1952_14 n456_a_dick_1952_16 Q;_nphd_ n456_a_dick_1952_15->n456_a_dick_1952_16 n456_a_dick_1952_16->n456_a_dick_1952_17 n456_a_dick_1952_18->n456_a_dick_1952_19 n456_a_dick_1952_21 NP n456_a_dick_1952_20->n456_a_dick_1952_21 n456_a_dick_1952_24 ADJ n456_a_dick_1952_20->n456_a_dick_1952_24 n456_a_dick_1952_22 NS n456_a_dick_1952_21->n456_a_dick_1952_22 n456_a_dick_1952_22->n456_a_dick_1952_23 n456_a_dick_1952_24->n456_a_dick_1952_25 n456_a_dick_1952_26->n456_a_dick_1952_27 
( (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))