Context                Previous, Next                Top


1_a_fog_cat
Fog by Carl Sandburg

%3 z_000_1_a_fog_cat_1 r_0001_0001__Fog Fog z_000_1_a_fog_cat_1->r_0001_0001__Fog [nim] r_0001_0003__Carl_r_0001_0004__Sandburg Carl Sandburg z_000_1_a_fog_cat_1->r_0001_0003__Carl_r_0001_0004__Sandburg by [nim] 
arc(z_000_1_a_fog_cat_1, r_0001_0001__Fog, nim2).
arc(z_000_1_a_fog_cat_1, r_0001_0003__Carl_r_0001_0004__Sandburg, r_0001_0002__by_nim8).


%3 z_000_1_a_fog_cat_1 r_0001_0003__Carl_r_0001_0004__Sandburg Carl Sandburg z_000_1_a_fog_cat_1->r_0001_0003__Carl_r_0001_0004__Sandburg by [nim] r_0001_0001__Fog Fog z_000_1_a_fog_cat_1->r_0001_0001__Fog [nim] 
fof(formula,axiom,
    ? [R_0001_0001__FOG,R_0001_0003__CARL_R_0001_0004__SANDBURG,Z_000_1_A_FOG_CAT_1] :
      ( r_0001_0001__Fog(R_0001_0001__FOG)
      & r_0001_0003__Carl_r_0001_0004__Sandburg(R_0001_0003__CARL_R_0001_0004__SANDBURG)
      & z_000_1_a_fog_cat_1(Z_000_1_A_FOG_CAT_1)
      & has_r_0001_0002__by_nim8(Z_000_1_A_FOG_CAT_1,R_0001_0003__CARL_R_0001_0004__SANDBURG)
      & has_nim2(Z_000_1_A_FOG_CAT_1,R_0001_0001__FOG) ) ).


n1_a_fog_cat n1_a_fog_cat__1_1_1_1 Fog n1_a_fog_cat__1_2_1_1 by n1_a_fog_cat__1_2_2_1_1 Carl n1_a_fog_cat__1_2_2_2_1 Sandburg n1_a_fog_cat__1 FRAG n1_a_fog_cat__1_1 NP n1_a_fog_cat__1->n1_a_fog_cat__1_1 n1_a_fog_cat__1_2 PP n1_a_fog_cat__1->n1_a_fog_cat__1_2 n1_a_fog_cat__1_1_1 N n1_a_fog_cat__1_1->n1_a_fog_cat__1_1_1 n1_a_fog_cat__1_1_1->n1_a_fog_cat__1_1_1_1 n1_a_fog_cat__1_2_1 P-ROLE n1_a_fog_cat__1_2->n1_a_fog_cat__1_2_1 n1_a_fog_cat__1_2_2 NP n1_a_fog_cat__1_2->n1_a_fog_cat__1_2_2 n1_a_fog_cat__1_2_1->n1_a_fog_cat__1_2_1_1 n1_a_fog_cat__1_2_2_1 NPR n1_a_fog_cat__1_2_2->n1_a_fog_cat__1_2_2_1 n1_a_fog_cat__1_2_2_2 NPR n1_a_fog_cat__1_2_2->n1_a_fog_cat__1_2_2_2 n1_a_fog_cat__1_2_2_1->n1_a_fog_cat__1_2_2_1_1 n1_a_fog_cat__1_2_2_2->n1_a_fog_cat__1_2_2_2_1 
( (FRAG (NP (N Fog;{fog}))
        (PP (P-ROLE by;{by})
            (NP (NPR Carl)
                (NPR Sandburg))))
  (ID 1_a_fog_cat))