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_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] 
fof(formula,axiom,
    ? [Z_1_A_FOG_CAT_1,R_1_1_FOG,R_1_3_CARL_SANDBURG] :
      ( fog(R_1_1_FOG)
      & carl_Sandburg(R_1_3_CARL_SANDBURG)
      & z_1_a_fog_cat_1(Z_1_A_FOG_CAT_1)
      & nim2(Z_1_A_FOG_CAT_1,R_1_1_FOG)
      & by_nim8(Z_1_A_FOG_CAT_1,R_1_3_CARL_SANDBURG) ) ).


n1_a_fog_cat n1_a_fog_cat_4 Fog n1_a_fog_cat_7 by n1_a_fog_cat_10 Carl n1_a_fog_cat_12 Sandburg n1_a_fog_cat_1 FRAG n1_a_fog_cat_2 NP n1_a_fog_cat_1->n1_a_fog_cat_2 n1_a_fog_cat_5 PP n1_a_fog_cat_1->n1_a_fog_cat_5 n1_a_fog_cat_3 N n1_a_fog_cat_2->n1_a_fog_cat_3 n1_a_fog_cat_3->n1_a_fog_cat_4 n1_a_fog_cat_6 P-ROLE n1_a_fog_cat_5->n1_a_fog_cat_6 n1_a_fog_cat_8 NP n1_a_fog_cat_5->n1_a_fog_cat_8 n1_a_fog_cat_6->n1_a_fog_cat_7 n1_a_fog_cat_9 NPR n1_a_fog_cat_8->n1_a_fog_cat_9 n1_a_fog_cat_11 NPR n1_a_fog_cat_8->n1_a_fog_cat_11 n1_a_fog_cat_9->n1_a_fog_cat_10 n1_a_fog_cat_11->n1_a_fog_cat_12 
( (FRAG (NP (N Fog;{fog}))
        (PP (P-ROLE by;{by})
            (NP (NPR Carl)
                (NPR Sandburg))))
  (ID 1_a_fog_cat))