Context                Previous, Next                Top


65_a_dick_1952
Perhaps poured artificial stone.

n65_a_dick_1952 n65_a_dick_1952__1_1_1_1 Perhaps n65_a_dick_1952__1_2_1_1_1 * n65_a_dick_1952__1_2_1_2_1 poured n65_a_dick_1952__1_2_2_1_1 artificial n65_a_dick_1952__1_2_3_1 stone n65_a_dick_1952__1_3_1 . n65_a_dick_1952__1 FRAG n65_a_dick_1952__1_1 ADVP-NIM n65_a_dick_1952__1->n65_a_dick_1952__1_1 n65_a_dick_1952__1_2 NP n65_a_dick_1952__1->n65_a_dick_1952__1_2 n65_a_dick_1952__1_3 PUNC n65_a_dick_1952__1->n65_a_dick_1952__1_3 n65_a_dick_1952__1_1_1 ADV n65_a_dick_1952__1_1->n65_a_dick_1952__1_1_1 n65_a_dick_1952__1_1_1->n65_a_dick_1952__1_1_1_1 n65_a_dick_1952__1_2_1 IP-PPL n65_a_dick_1952__1_2->n65_a_dick_1952__1_2_1 n65_a_dick_1952__1_2_2 ADJP n65_a_dick_1952__1_2->n65_a_dick_1952__1_2_2 n65_a_dick_1952__1_2_3 N n65_a_dick_1952__1_2->n65_a_dick_1952__1_2_3 n65_a_dick_1952__1_2_1_1 NP-LGS n65_a_dick_1952__1_2_1->n65_a_dick_1952__1_2_1_1 n65_a_dick_1952__1_2_1_2 VVN;_Tn_ n65_a_dick_1952__1_2_1->n65_a_dick_1952__1_2_1_2 n65_a_dick_1952__1_2_1_1->n65_a_dick_1952__1_2_1_1_1 n65_a_dick_1952__1_2_1_2->n65_a_dick_1952__1_2_1_2_1 n65_a_dick_1952__1_2_2_1 ADJ n65_a_dick_1952__1_2_2->n65_a_dick_1952__1_2_2_1 n65_a_dick_1952__1_2_2_1->n65_a_dick_1952__1_2_2_1_1 n65_a_dick_1952__1_2_3->n65_a_dick_1952__1_2_3_1 n65_a_dick_1952__1_3->n65_a_dick_1952__1_3_1 
( (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))


%3 z_0065_5008 r_0065_0004__stone stone z_0065_5008->r_0065_0004__stone r_0065_0001__Perhaps Perhaps z_0065_5008->r_0065_0001__Perhaps [nim] r_0065_0003__artificial artificial r_0065_0004__stone->r_0065_0003__artificial [attrib] r_0065_0002__poured poured r_0065_0002__poured->r_0065_0004__stone [inv_arg1] z_0065_5004___star_ * r_0065_0002__poured->z_0065_5004___star_ [arg0] 
arc(r_0065_0002__poured,r_0065_0004__stone,inv_arg1).
arc(r_0065_0002__poured,z_0065_5004___star_,arg0).
arc(r_0065_0004__stone,r_0065_0003__artificial,attrib).
arc(z_0065_5008,r_0065_0001__Perhaps,nim).
arc(z_0065_5008,r_0065_0004__stone,z_0065_5002).


%3 r_0065_0004__stone stone r_0065_0002__poured poured r_0065_0004__stone->r_0065_0002__poured [inv_arg1] r_0065_0003__artificial artificial r_0065_0004__stone->r_0065_0003__artificial [attrib] z_0065_5004___star_ * r_0065_0002__poured->z_0065_5004___star_ [arg0] z_0065_5008 z_0065_5008->r_0065_0004__stone r_0065_0001__Perhaps Perhaps z_0065_5008->r_0065_0001__Perhaps [nim] 
fof(formula,axiom,
    ? [R_0065_0001__PERHAPS,Z_0065_5004___STAR_,R_0065_0002__POURED,R_0065_0003__ARTIFICIAL,R_0065_0004__STONE,Z_0065_5008] :
      ( r_0065_0001__Perhaps(R_0065_0001__PERHAPS)
      & r_0065_0003__artificial(R_0065_0003__ARTIFICIAL)
      & z_0065_5004___star_(Z_0065_5004___STAR_)
      & z_0065_5008(Z_0065_5008)
      & has_z_0065_5002(Z_0065_5008,R_0065_0004__STONE)
      & r_0065_0004__stone(R_0065_0004__STONE)
      & has_attrib(R_0065_0004__STONE,R_0065_0003__ARTIFICIAL)
      & has_inv_arg1(R_0065_0004__STONE,R_0065_0002__POURED)
      & r_0065_0002__poured(R_0065_0002__POURED)
      & has_arg0(R_0065_0002__POURED,Z_0065_5004___STAR_)
      & has_nim(Z_0065_5008,R_0065_0001__PERHAPS) ) ).