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_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_000_456_a_dick_1952_15 r_0456_0006__everything_quant->z_000_456_a_dick_1952_15 [restriction] r_0456_0002__lay lay r_0456_0006__everything_quant->r_0456_0002__lay [scope] r_0456_0002__lay->r_0456_0009__thick [attrib] r_0456_0002__lay->z_000_456_a_dick_1952_15 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] 
fof(formula,axiom,
    ! [Z_000_456_A_DICK_1952_15] :
      ( z_000_456_a_dick_1952_15(Z_000_456_A_DICK_1952_15)
     => ? [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_nim15(R_0456_0002__LAY,Z_000_456_A_DICK_1952_15)
          & has_attrib20(R_0456_0002__LAY,R_0456_0009__THICK)
          & r_0456_0009__thick(R_0456_0009__THICK)
          & has_nim21(R_0456_0009__THICK,R_0456_0008__INCHES)
          & has_nim7(R_0456_0002__LAY,R_0456_0003__EVERYWHERE)
          & has_arg0(R_0456_0002__LAY,R_0456_0001__DUST) ) ) ).


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))