Context                Previous, Next                Top


65_a_dick_1952
Perhaps poured artificial stone.

%3 r_0065_0002__poured poured r_0065_0004__stone stone r_0065_0002__poured->r_0065_0004__stone [arg1] z_000_65_a_dick_1952_7 r_0065_0002__poured->z_000_65_a_dick_1952_7 [arg0] r_0065_0003__artificial artificial r_0065_0004__stone->r_0065_0003__artificial [attrib] z_000_65_a_dick_1952_1 z_000_65_a_dick_1952_1->r_0065_0004__stone [nim] r_0065_0001__Perhaps Perhaps z_000_65_a_dick_1952_1->r_0065_0001__Perhaps [nim] 
arc(r_0065_0002__poured, r_0065_0004__stone, arg1).
arc(r_0065_0002__poured, z_000_65_a_dick_1952_7, arg0).
arc(r_0065_0004__stone, r_0065_0003__artificial, attrib11).
arc(z_000_65_a_dick_1952_1, r_0065_0001__Perhaps, nim2).
arc(z_000_65_a_dick_1952_1, r_0065_0004__stone, nim5).


%3 r_0065_0002__poured poured r_0065_0004__stone stone r_0065_0002__poured->r_0065_0004__stone [arg1] z_000_65_a_dick_1952_7 r_0065_0002__poured->z_000_65_a_dick_1952_7 [arg0] r_0065_0003__artificial artificial r_0065_0004__stone->r_0065_0003__artificial [attrib] z_000_65_a_dick_1952_1 z_000_65_a_dick_1952_1->r_0065_0004__stone [nim] r_0065_0001__Perhaps Perhaps z_000_65_a_dick_1952_1->r_0065_0001__Perhaps [nim] 
fof(formula,axiom,
    ? [R_65_2_POURED,Z_65_A_DICK_1952_7,Z_65_A_DICK_1952_1,R_65_1_PERHAPS,R_65_4_STONE,R_65_3_ARTIFICIAL] :
      ( perhaps(R_65_1_PERHAPS)
      & artificial(R_65_3_ARTIFICIAL)
      & poured(R_65_2_POURED,Z_65_A_DICK_1952_7,R_65_4_STONE)
      & stone(R_65_4_STONE)
      & attrib11(R_65_4_STONE,R_65_3_ARTIFICIAL)
      & z_65_a_dick_1952_1(Z_65_A_DICK_1952_1)
      & nim2(Z_65_A_DICK_1952_1,R_65_1_PERHAPS)
      & nim5(Z_65_A_DICK_1952_1,R_65_4_STONE) ) ).


n65_a_dick_1952 n65_a_dick_1952_8 * n65_a_dick_1952_10 poured n65_a_dick_1952_13 artificial n65_a_dick_1952_15 stone n65_a_dick_1952_17 . n65_a_dick_1952_4 Perhaps n65_a_dick_1952_1 FRAG n65_a_dick_1952_2 ADVP-NIM n65_a_dick_1952_1->n65_a_dick_1952_2 n65_a_dick_1952_5 NP n65_a_dick_1952_1->n65_a_dick_1952_5 n65_a_dick_1952_16 PUNC n65_a_dick_1952_1->n65_a_dick_1952_16 n65_a_dick_1952_3 ADV n65_a_dick_1952_2->n65_a_dick_1952_3 n65_a_dick_1952_3->n65_a_dick_1952_4 n65_a_dick_1952_6 IP-PPL n65_a_dick_1952_5->n65_a_dick_1952_6 n65_a_dick_1952_11 ADJP n65_a_dick_1952_5->n65_a_dick_1952_11 n65_a_dick_1952_14 N n65_a_dick_1952_5->n65_a_dick_1952_14 n65_a_dick_1952_7 NP-LGS n65_a_dick_1952_6->n65_a_dick_1952_7 n65_a_dick_1952_9 VVN;_Tn_ n65_a_dick_1952_6->n65_a_dick_1952_9 n65_a_dick_1952_7->n65_a_dick_1952_8 n65_a_dick_1952_9->n65_a_dick_1952_10 n65_a_dick_1952_12 ADJ n65_a_dick_1952_11->n65_a_dick_1952_12 n65_a_dick_1952_12->n65_a_dick_1952_13 n65_a_dick_1952_14->n65_a_dick_1952_15 n65_a_dick_1952_16->n65_a_dick_1952_17 
( (FRAG (ADVP-NIM (ADV Perhaps;{perhaps}))
        (NP (IP-PPL (NP-LGS *)
                    (VVN;_Tn_ poured;{pour}))
            (ADJP (ADJ artificial;{artificial}))
            (N stone;{stone}))
        (PUNC .))
  (ID 65_a_dick_1952))